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...

Descripción completa

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 66; no. 10; pp. 22 - 27
Autores principales: Leveson, Nancy G., Thomas, John P.
Formato: Artículo
Publicado: Association for Computing Machinery Oct2023
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario: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.