Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Safeware: system safety and computers
Safeware: system safety and computers
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Software safety and reliability: techniques, approaches, and standards of key industrial sectors
Model checking
Program development by stepwise refinement
Communications of the ACM
Software safety: where's the evidence?
SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3
Progress on the State Explosion Problem in Model Checking
Informatics - 10 Years Back. 10 Years Ahead.
Verification of Picture Generated Code
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
From z to c: illustration of a rigorous development method (specification hierarchy)
From z to c: illustration of a rigorous development method (specification hierarchy)
Trends in system safety: a European view?
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Implementable requirements in problem orientation
Proceedings of the 3rd international workshop on Applications and advances of problem frames
SafeSpection --- A Systematic Customization Approach for Software Hazard Identification
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Modeling the effects of software on safety and reliability in complex embedded systems
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
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.