City Research Online

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] Archive - Updated Version
Download (7MB)

Export

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login