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

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [2 references]  Display  Hide  Download

https://hal-onera.archives-ouvertes.fr/hal-02272135
Contributor : Axelle Pagnier <>
Submitted on : Tuesday, August 27, 2019 - 3:07:12 PM
Last modification on : Thursday, August 29, 2019 - 1:21:48 AM

File

ERTS_2014_submission_60.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02272135, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

5

Files downloads

3