Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks

Fejoz, Loïc; Regnier, Bruno; Miramont, Philippe; Navet, Nicolas

Reference : Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time...


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Aerospace & aeronautics engineering
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/34054

Title :	Simulation-Based Fault Injection as a Verification Oracle for the Engineering of Time-Triggered Ethernet networks
Language :	English
Author, co-author :	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 [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2-Feb-2018
Main document title :	Proc. Embedded Real-Time Software and Systems (ERTS 2018)
Peer reviewed :	Yes
Audience :	International
Event name :	Embedded Real-Time Software and Systems (ERTS 2018)
Event date :	from 31-01-2018 to 02-02-2018
Event place (city) :	Toulouse
Event country :	France
Keywords :	[en] Orbital launch system ; Time-Triggered Ethernet ; Simulation-Based Fault-Injection ; clock synchronization ; CPAL
Abstract :	[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.
Target :	Researchers ; Professionals
Permalink :	http://hdl.handle.net/10993/34054

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	TTE-ERTSS2018.pdf		Author preprint	1.2 MB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices