When software kills
A subject the papers are about. The loosest grouping, and the one to reach for last.
Safety-critical systems, for a course that promises examples: the accidents, the responses, and the evidence about whether the responses are adopted. Two members are deliberately awkward, because a course teaching only the canonical cases teaches that such software fails loudly.
29 references
Formal Methods in Industry
Maurice H. ter Beek et al. (2024) · Formal Aspects of Computing
A formal analysis of Dutch Generic Integral Tunnel Design models
Kevin Jilissen et al. (2023) · Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Mario Gleirscher et al. (2020) · Empirical Software Engineering
seL4 in Australia: From Research to Real-World Trustworthy Systems
Gernot Heiser et al. (2020) · Communications of the ACM
Formally verified software in the real world
Gerwin Klein et al. (2018) · Communications of the ACM
The coming software apocalypse
James Somers (2017) · The Atlantic
Some Trends in Formal Methods Applications to Railway Signaling
Alessandro Fantechi et al. (2012) · Formal Methods for Industrial Critical Systems
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 et al. (2012) · Aerospace Lab
An introduction to formal methods for the development of safety-critical applications
Anne Elisabeth Haxthausen (2010)
seL4: Formal Verification of an OS Kernel
Gerwin Klein et al. (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
The real cost of software errors
Michael Zhivich et al. (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 et al. (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
The time-triggered architecture
H. Kopetz et al. (2003) · Proceedings of the IEEE
An Empirical Evaluation of the MC/DC Coverage Criterion on the HETE-2 Satellite Software
Arnaud Dupuy et al. (2000) · 19th Digital Avionics Systems Conference
System Safety in Computer-Controlled Automotive Systems
Nancy G. Leveson (2000) · SAE World Congress
Identifying Mode Confusion Potential in Software Design
Mario Rodriguez et al. (2000) · 19th Digital Avionics Systems Conference
Real-time Nuclear Power Plant Monitoring with Neural Network
Kunihiko Nabeshima et al. (1998) · Journal of Nuclear Science and Technology
ARIANE 5 Flight 501 Failure: Report by the Inquiry Board
Jacques-Louis Lions (1996)
Medical Devices: The Therac-25
Nancy G. Leveson (1995) · Safeware: System Safety and Computers
Formal methods in safety-critical standards
Jonathan P. Bowen (1993) · Proceedings 1993 Software Engineering Standards Symposium
Formal methods in the development of safety critical software systems
Lloyd G. Williams (1992)
An experimental evaluation of the assumption of independence in multiversion programming
John C. Knight et al. (1986) · IEEE Transactions on Software Engineering
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 et al. (1978) · ACM Computing Surveys