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

[img] Archive - Updated Version
Download (7MB)

Abstract

This software was developed as part of the European project SESAMO (Artemis-JU). The model can be run in Mobius v. 2.4.

Item 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.
Uncontrolled Keywords: stochastic modelling; safety and security; stochastic activity networks
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: School of Informatics > Centre for Software Reliability
URI: http://openaccess.city.ac.uk/id/eprint/11980

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics