Formal Modelling and Safety Analysis of an Avionic Functional Architecture with Alloy - ONERA - Office national d'études et de recherches aérospatiales Access content directly
Conference Papers Year : 2014

Formal Modelling and Safety Analysis of an Avionic Functional Architecture with Alloy

Julien Brunel
  • Function : Author
  • PersonId : 830201
David Chemouil
Vincent Ibanez
  • Function : Author
Nicolas Meledo
  • Function : Author

Abstract

We propose an approach based on Alloy to formally model and assess a system architecture with respect to system-level safety requirements. The system on which we instantiate our approach is a specific Required Navigation Performance system from a Thalès Avionics named Localizer Performance with Vertical guidance Approach (LPV). In this article, we describe how to define such a system architecture and how to verify safety objectives.
Fichier principal
Vignette du fichier
ERTS_2014_submission_60.pdf (484.52 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02272135 , version 1 (27-08-2019)

Identifiers

  • HAL Id : hal-02272135 , version 1

Cite

Julien Brunel, David Chemouil, Vincent Ibanez, Nicolas Meledo. Formal Modelling and Safety Analysis of an Avionic Functional Architecture with Alloy. Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France. ⟨hal-02272135⟩

Collections

ONERA ERTS2014
55 View
28 Download

Share

Gmail Facebook X LinkedIn More