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

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.

Mots clés: aerospace safety; formal verification; security of data; software engineering

Domaines: Informatique [cs]; Réseaux et télécommunications [cs.NI]

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⟩