Security and Safety Assurance for Aerospace Embedded Systems

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download
Contributor : Axelle Pagnier <>
Submitted on : Sunday, August 4, 2019 - 7:17:48 PM
Last modification on : Wednesday, August 7, 2019 - 1:23:34 AM


Files produced by the author(s)


  • HAL Id : hal-02263449, version 1



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⟩



Record views


Files downloads