Integrating modular avionics : A new role emerges. Aerospace and Electronic Systems Magazine, IEEE, vol.24, issue.3, pp.31-34, 2009. ,
Security Architecture for the Internet Protocol, RFC, vol.4301, 2005. ,
The Internet IP Security Domain of Interpretation for ISAKMP, 1998. ,
DOI : 10.17487/rfc2407
Gene-auto : An automatic code generator for a safe subset of simulink/stateflow and scicos, 4th European Congress ERTS Embedded Real Time Software, 2008. ,
New methodology to develop certified safe and secure aeronautical software an embedded router case study, Digital Avionics Systems Conference (DASC), pp.7-13, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01022284