Analyse de sécurité des systèmes embarqués avec AltaRica - ONERA - Office national d'études et de recherches aérospatiales Access content directly
Book Sections Year : 2012

Analyse de sécurité des systèmes embarqués avec AltaRica

Abstract

Dans ce chapitre nous décrivons une utilisation des méthodes formelles pour assister l'évaluation de la sécurité des systèmes embarqués aéronautiques. Nous nous intéressons plus particulièrement au langage AltaRica et aux outils qui lui sont associés. Nous débutons en présentant le contexte d'utilisation d'AltaRica : le développement des systèmes aéronautiques et les activités d'évaluation de la sécurité qui sont conduites dans la cadre de la certification de navigabilité d'un avion. Puis nous introduisons le langage AltaRica et les outils d'évaluation associés. Nous montrons ensuite comment ils ont été utilisés pour évaluer la sécurité de deux types de système avion. Enfin, nous comparons nos travaux avec d'autres approches similaires et concluons par un bilan des travaux et quelques perspectives.
No file

Dates and versions

hal-00996468 , version 1 (26-05-2014)

Identifiers

  • HAL Id : hal-00996468 , version 1

Cite

P. Bieber, C. Seguin. Analyse de sécurité des systèmes embarqués avec AltaRica. Outils de mise en oeuvre industrielle des techniques formelles - Traité RTA, série Informatique et Systèmes d'Information, Hermes Science Publications, pp.255-291, 2012, 978-2-7462-3801-5. ⟨hal-00996468⟩

Collections

ONERA
55 View
0 Download

Share

Gmail Facebook X LinkedIn More