HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Timed Discrete-Event Simulation of Aviation Scenarios

Abstract : 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.
Complete list of metadata

Cited literature [44 references]  Display  Hide  Download

https://hal-centralesupelec.archives-ouvertes.fr/hal-02881889
Contributor : Frédéric Boulanger Connect in order to contact the contributor
Submitted on : Friday, June 26, 2020 - 10:11:51 AM
Last modification on : Wednesday, March 16, 2022 - 3:53:26 AM

File

authorversion.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

31

Files downloads

183