Formal Modelling and Safety Analysis of an Avionic Functional Architecture with Alloy
| Autor: | Julien Brunel, David Chemouil, Vincent Ibanez, Nicolas Meledo |
|---|---|
| Přispěvatelé: | ONERA - The French Aerospace Lab [Toulouse], ONERA, PAGNIER, Axelle |
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: | |
| Zdroj: | ERTS 2014 proceedings Embedded real-time software and systems (ERTS² 2014) Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France HAL |
| Popis: | 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 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|