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

Autor: Julien Brunel, David Chemouil, Vincent Ibanez, Nicolas Meledo

Publikováno v: ERTS 2014 proceedings
Embedded real-time software and systems (ERTS² 2014)
Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
HAL

International audience; 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 Perfo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::646a77a0105cd4e238120bc722980b0b
https://hal-onera.archives-ouvertes.fr/hal-02272135