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.
Type de document :
Chapitre d'ouvrage
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
Liste complète des métadonnées

https://hal-onera.archives-ouvertes.fr/hal-00996468
Contributeur : Alain Broc <>
Soumis le : lundi 26 mai 2014 - 15:27:42
Dernière modification le : mercredi 13 décembre 2017 - 09:02:58

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

34