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
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=172339318&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 172339318
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00010782
        ACM
      jtl: Communications of the ACM
      issn: 00010782
      maglogo: N
    pubinfo:
      dt: Oct2023
      vid: 66
      iid: 10
      pid: 68
      pub: Association for Computing Machinery
    artinfo:
      ui:
        172339318
        10.1145/3615860
      ppf: 22
      ppct: 5
      formats:
      tig:
        atl: Certification of Safety-Critical Systems: Seeking new approaches toward ensuring the safety of software-intensive systems.
      aug:
        au:
          Leveson, Nancy G.
          Thomas, John P.
        affil:
          Jerome C. Hunsaker Professor in Aeronautics and Astronautics in the Engineering Systems Laboratory at the Massachusetts Institute of Technology, Cambridge, MA, USA
          Co-director of the Engineering Systems Lab and Executive Director of the Safety and Cybersecurity Research group at the Massachusetts Institute of Technology, Cambridge, MA, USA
      su:
        Certification
        Computer software development
        Systems development
        System safety
        Software architecture
        Software engineering
        Change management
      sug:
        subj:
          Certification
          Computer software development
          Systems development
          System safety
          Software architecture
          Software engineering
          Change management
      ab: 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.
      pubtype: Periodical
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      dt:
        @attributes:
          year: 2023
    holdings:
      @attributes:
        islocal: N