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

P. Bieber (1) , C. Seguin (1)

1 ONERA - The French Aerospace Lab [Toulouse]

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.

Domaines: Systèmes embarqués

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⟩