Cover Image
QR Code

Certification of Safety-Critical Systems: Seeking new approaches toward ensuring the safety of software-intensive systems.

This article provides a current state of certification of safety-critical systems. The article begins with discussing limitations to current certification approaches, unsuccessful previous attempts to modernize certification, and potential areas of improvement in the development of these software-in...

Full description

Published in:Communications of the ACM Vol. 66; no. 10; pp. 22 - 27
Main Authors: Leveson, Nancy G., Thomas, John P.
Format: Article
Published: Association for Computing Machinery Oct2023
Subjects:
Certification
Computer software development
Systems development
System safety
Software architecture
Software engineering
Change management
Online Access:View this record in EBSCOhost
Summary:This article provides a current state of certification of safety-critical systems. The article begins with discussing limitations to current certification approaches, unsuccessful previous attempts to modernize certification, and potential areas of improvement in the development of these software-intensive systems and the certification of them. Areas of improvement include an emphasis on safety and incorporation of human factors into both system and software engineering and new hazard analysis methods.