Timed Discrete-Event Simulation of Aviation Scenarios - CentraleSupélec Accéder directement au contenu
Article Dans Une Revue SNE Simulation Notes Europe Année : 2020

Timed Discrete-Event Simulation of Aviation Scenarios

Résumé

Ensuring systems behave as they are expected is unavoidable in the context of critical environments. In the aviation industry, certification standards provide rules and protocols to ensure correct maneuvers with respect to logical or timed events. These are targeted to computer-intensive systems as well as to human flight crews. In this setting, we are interested in the modeling and simulation of event-driven and time-driven behaviors at a high level. This study focuses on the TESL language [9] that provides a logical framework for timed behaviors with monitoring and testing features. In particular, we model various aviation scenarios and focus our study on fault monitoring.
Fichier principal
Vignette du fichier
authorversion.pdf (1.56 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02881889 , version 1 (26-06-2020)

Identifiants

Citer

Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff. Timed Discrete-Event Simulation of Aviation Scenarios. SNE Simulation Notes Europe, 2020, 30 (2), pp.51-60. ⟨10.11128/sne.30.tn.10512⟩. ⟨hal-02881889⟩
50 Consultations
273 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More