Reference : Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Aerospace & aeronautics engineering
Security, Reliability and Trust
Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks
Fejoz, Loïc [RealTime-at-Work]
Regnier, Bruno [Centre National d’Etudes Spatiales - CNES > Direction des Lanceurs]
Miramont, Philippe [Centre National d’Etudes Spatiales - CNES > Direction des Lanceurs]
Navet, Nicolas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Proc. Embedded Real-Time Software and Systems (ERTS 2018)
Embedded Real-Time Software and Systems (ERTS 2018)
from 31-01-2018 to 02-02-2018
[en] Orbital launch system ; Time-Triggered Ethernet ; Simulation-Based Fault-Injection ; clock synchronization ; CPAL
[en] TTEthernet (TTE) is considered for use as high-speed backbone in the avionics of next-generation orbital space launchers. Given the key role of communication in launchers, the OEM must acquire a precise understanding of TTE’s functioning and its performances in nominal and error conditions. This holds especially true for the clock synchronization algorithm, the cornerstone of time-triggered communication in TTE, which involves complex distributed algorithms. In this study, we use both an experimental platform and fault-injection on a simulation model to gain quantified insights in these questions. We first describe a fine-grained simulation model of TTE model and discuss how it has been validated against communication traces recorded on the TTE platform. We then present experiments that evaluate the accuracy of the clock synchronization in TTE in the fault-free case as well as considering permanent link failure and transient transmission errors. Finally, we discuss what we have learned during the project in terms of development process and programming language support for complex simulation models used in the design of critical systems.
Researchers ; Professionals

File(s) associated to this reference

Fulltext file(s):

Open access
TTE-ERTSS2018.pdfAuthor preprint1.2 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.