Skip to Main content Skip to Navigation
Conference papers

A Software Audit Model for Safety-Critical Domains

Abstract : Nowadays, the use of software considered complex and critical is growing in several sectors of the industry, such as aeronautics with its various systems embedded in aircraft and the medical one with its increasingly advanced medical devices. As part of this research, the different software models were considered, and standards in the aeronautical (DO-178C) and medical (IEC 62304) were studied regarding their guidelines and requirements for safety-critical software development. A software audit model has been proposed with the activities that are necessary for conducting safety-critical software auditing, as well as a set of questions for software auditing developed using DO-178C has been proposed and evaluated by software experts to ensure its maturity and efficiency. The objective of the proposed software audit model is to ensure that the software developed complies with the applicable standard, allowing the auditor the necessary flexibility in the scope of the audit without the need to achieve specific predetermined milestones.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.laas.fr/hal-02931732
Contributor : Jérémie Guiochet <>
Submitted on : Monday, September 7, 2020 - 10:49:34 AM
Last modification on : Wednesday, September 9, 2020 - 3:59:13 PM

File

SAFECOMP_2020_paper_167.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02931732, version 1

Collections

Citation

Talita Ruiz Slavov Marques, Luiz Eduardo Galvão Martins, Johnny Marques. A Software Audit Model for Safety-Critical Domains. 39th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Position Paper, Sep 2020, Lisbon, Portugal. ⟨hal-02931732⟩

Share

Metrics

Record views

52

Files downloads

39