This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
When software kills
A subject the papers are about. The loosest grouping, and the one to reach for last.
Safety-critical systems: the accidents, the official responses, and the evidence about whether those responses were adopted. Collects the canonical cases together with awkward ones that resist the usual lesson, so a course cannot teach only the tidy examples. Membership requires software to be implicated in physical harm, not merely in loss or disruption.
29 references
Formal Methods in Industry
Maurice H. ter Beek and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
A formal analysis of Dutch Generic Integral Tunnel Design models
Kevin Jilissen and others (2023) · Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing · Association for Computing Machinery
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Mario Gleirscher and others (2020) · Empirical Software Engineering
seL4 in Australia: From Research to Real-World Trustworthy Systems
Gernot Heiser and others (2020) · Communications of the ACM · Association for Computing Machinery
Formally verified software in the real world
Gerwin Klein and others (2018) · Communications of the ACM · Association for Computing Machinery
The coming software apocalypse
James Somers (2017) · The Atlantic
Some Trends in Formal Methods Applications to Railway Signaling
Alessandro Fantechi and others (2012) · Formal Methods for Industrial Critical Systems · Wiley
HACMS: high assurance cyber military systems
Kathleen Fisher (2012) · Proceedings of the 2012 ACM Conference on High Integrity Language Technology
Formal Verification of Critical Aerospace Software
Virginie Wiels and others (2012) · Aerospace Lab
An introduction to formal methods for the development of safety-critical applications
Anne Elisabeth Haxthausen (2010) · Technical University of Denmark
seL4: Formal Verification of an OS Kernel
Gerwin Klein and others (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles · Association for Computing Machinery
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE
The real cost of software errors
Michael Zhivich and others (2009) · IEEE Security & Privacy
Just-in-Time Certification
John Rushby (2007) · 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
A formal software requirements specification method for digital nuclear plant protection systems
Junbeom Yoo and others (2005) · Journal of Systems and Software
A systems-theoretic approach to safety in software-intensive systems
Nancy G. Leveson (2004) · IEEE Transactions on Dependable and Secure Computing · IEEE
The time-triggered architecture
H. Kopetz and others (2003) · Proceedings of the IEEE · Institute of Electrical and Electronics Engineers (IEEE)
An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software
Arnaud Dupuy and others (2000) · 19th Digital Avionics Systems Conference · IEEE
System Safety in Computer-Controlled Automotive Systems
Nancy G. Leveson (2000) · SAE World Congress · Society of Automotive Engineers
Identifying Mode Confusion Potential in Software Design
Mario Rodriguez and others (2000) · 19th Digital Avionics Systems Conference · IEEE
Partitioning in avionics architectures: Requirements, mechanisms, and assurance
John Rushby (1999) · NASA Langley Research Center
Real-time Nuclear Power Plant Monitoring with Neural Network
Kunihiko Nabeshima and others (1998) · Journal of Nuclear Science and Technology · Taylor & Francis
ARIANE 5 Flight 501 Failure: Report by the Inquiry Board
Jacques-Louis Lions (1996) · European Space Agency
Medical Devices: The Therac-25
Nancy G. Leveson (1995) · Safeware: System Safety and Computers · Addison-Wesley
Formal methods in safety-critical standards
Jonathan P. Bowen (1993) · Proceedings 1993 Software Engineering Standards Symposium · IEEE
Formal methods in the development of safety critical software systems
Lloyd G. Williams (1992) · Lawrence Livermore National Laboratory
An experimental evaluation of the assumption of independence in multiversion programming
John C. Knight and others (1986) · IEEE Transactions on Software Engineering · IEEE
A review of fault-tolerant techniques for the enhancement of integrated circuit yield
W. R. Moore (1986) · Proceedings of the IEEE
Reliability Issues in Computing System Design
B. Randell and others (1978) · ACM Computing Surveys · Association for Computing Machinery