Skip to Main content Skip to Navigation
Conference papers

New methodology to develop certified safe and secure aeronautical software - An embedded router case study

Antoine Varet 1 Nicolas Larrieu 1
1 TELECOM - ENAC - Equipe télécommunications
Abstract : The methodology presented can improve safe and secure software development. The SNG Router case study extends aeronautical network capabilities. Additional tool chains to complete formal checking toolkit is also presented. A compatibility check is performed between methodology and D0178C. An extension of network security requirements for router SNG is presented.
Keywords : aerospace safety formal verification security of data software engineering
Document type :
Conference papers
Complete list of metadata
https://hal-enac.archives-ouvertes.fr/hal-01022284
Contributor : Laurence Porte <>
Submitted on : Saturday, January 30, 2021 - 8:47:07 PM
Last modification on : Monday, February 8, 2021 - 1:40:29 PM

File

Vignette du document
156varet_final_submission.pdf
Files produced by the author(s)

Identifiers

Collections

ENAC | TELECOM | TELECOM-RESCO

Citation

Antoine Varet, Nicolas Larrieu. New methodology to develop certified safe and secure aeronautical software - An embedded router case study. DASC 2011, 30th IEEE/AIAA Digital Avionics Systems Conference, Oct 2011, Seattle, United States. pp 1-24, ⟨10.1109/DASC.2011.6096284⟩. ⟨hal-01022284⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

170

Files downloads

40