Abstract
Safety is a system property and software, of itself, cannot be safe or unsafe. However software has a major influence on safety in many modern systems, e.g. aircraft and engine controls, railway signalling, and medical equipment. The paper outlines the principles of system hazard and safety analysis, and briefly describes work on adapting classical hazard and safety analysis techniques to apply to software. It then briefly discusses the role of formal analysis in software hazard and safety assessment, indicating both the state of practice and the aims of some ongoing research projects. Note: this paper is provided to support a tutorial on software hazard and safety analysis, and is not intended to be a definitive treatment of the issues.
Cite
CITATION STYLE
McDermid, J. (2002). Software hazard and safety analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2469, pp. 23–34). Springer Verlag. https://doi.org/10.1007/3-540-45739-9_2
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
