Title :
New methodology to develop certified safe and secure aeronautical software — An embedded router case study
Author :
Varet, A. ; Larrieu, N.
Author_Institution :
Ecole Nat. de l´´Aviation Civile (ENAC), Toulouse, France
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; D0178C; SNG router; aeronautical network capability; embedded router case study; formal checking toolkit; network security requirement; secure aeronautical software development;
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th
Conference_Location :
Seattle, WA
Print_ISBN :
978-1-61284-797-9
DOI :
10.1109/DASC.2011.6096284
