A SAN model for safety and security analysis of the eMotor, an ASIL-D device
Popov, P. T. (2015). A SAN model for safety and security analysis of the eMotor, an ASIL-D device
Abstract
This software was developed as part of the European project SESAMO (Artemis-JU). The model can be run in Mobius v. 2.4.
| Publication Type: | Software |
|---|---|
| Additional Information: | Please note the following regarding the use and licencing of the software: The software is available without any warranty. No liability for any possible damages applies. Although I will welcome the reports of software faults, I do not guarantee any actions as a result to such reports. The use of the Mobius tool is necessary for running the software. Anyone wanting to run the software would need a valid Mobius license. The use of the Mobius tool has been traditionally granted free of charge for the academic purposes. Any enquiries about Mobius tool should be directed to the Mobius team at staff@mobius.illinois.edu or mobius-users@crhc.illinois.edu. |
| Publisher Keywords: | stochastic modelling; safety and security; stochastic activity networks |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Departments: | School of Science & Technology > Computer Science > Software Reliability |
![[thumbnail of EMotor_ESORICS_2015.tar.gz]](https://openaccess.city.ac.uk/style/images/fileicons/archive.png)
Metadata
Metadata
MetadataAltmetric
CORE (COnnecting REpositories)
Actions (login required)
Actions (login required)
Admin Login