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.
