Regnier, Bruno[Centre National d’Etudes Spatiales - CNES > Direction des Lanceurs]
Miramont, Philippe[Centre National d’Etudes Spatiales - CNES > Direction des Lanceurs]
Navet, Nicolas[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2-Feb-2018
Proc. Embedded Real-Time Software and Systems (ERTS 2018)
Yes
International
Embedded Real-Time Software and Systems (ERTS 2018)
from 31-01-2018 to 02-02-2018
Toulouse
France
[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.