Security and Safety Assurance for Aerospace Embedded Systems

Pierre Bieber (1) , Jean-Paul Blanquart (2) , Gilles Descargues , Michael Dulucq , Yannick Fourastier , Eric Hazane , Mathias Julien , Laurent Léonardon , Gabrielle Sarouille (3)

1 ONERA - The French Aerospace Lab [Toulouse]
2 ASTRIUM
3 THALES [France]

The paper starts with the list of basic principles that guided the development of the SEISES security and safety assurance framework. Then we present the SEISES structure and we provide some examples of assurance objectives and related assurance activities. We detail the convergence between safety and security assurance activities that we have identified. Finally, we introduce the three demonstrators and we summarize the main lessons learnt from these experimentations. We conclude the paper by summarizing the results of the SEISES project, by comparing these results with other approaches dealing with joint safety and security assurance and by listing promising directions for further research.

Mots clés: Dependability; Certification; Security; Standards and Norms; Development and Engineering Process

Domaines: Informatique [cs]; Systèmes embarqués

Pierre Bieber, Jean-Paul Blanquart, Gilles Descargues, Michael Dulucq, Yannick Fourastier, et al.. Security and Safety Assurance for Aerospace Embedded Systems. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02263449⟩