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

Résumé : 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.
Document type :
Book sections
Complete list of metadatas

https://hal-onera.archives-ouvertes.fr/hal-00996468
Contributor : Alain Broc <>
Submitted on : Monday, May 26, 2014 - 3:27:42 PM
Last modification on : Tuesday, March 26, 2019 - 2:28:03 PM

Identifiers

  • HAL Id : hal-00996468, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

62