Skip to Main content Skip to Navigation

Evaluation et validation des systèmes distribués avioniques

Abstract : Avionics systems are subject to hard real-time constrainst and criticality. To certify these systems, it is neccessaryto compute the upper bound of the end-to-end delay of each message transmitted in the network. In this thesis,we mainly focus on civils avionics systems that use AFDX (Avionics Full Duplex Switched Ethernet) networkand that has been introduced in the Airbus A380 architecture.In this context, we focus in the computation of the end-to-end delays of messages crossing the network. Amongthe existing methods, we interested in the trajectory approach precedently proposed by researchers. The goal ofthis method is to compute end-to-end delay upper bounds of messages in the nodes of AFDX network. As a firstcontribution, we prove that the end-to-end delays computed by this method can be optimistic. This means thatwithout any modification, it cannot be used to validate transmission end-to-end delays for the AFDX. Despitethe identification of these optimistic problems in the trajectory approach, a solution to remove them seems notto be simple from our point of view. Hence, as a second contribution, we propose a new approach to computethese delays based on the characterization of the worst-case traffic encountered by a packet on each crossednode.
Document type :
Complete list of metadata

Cited literature [60 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Friday, March 6, 2015 - 11:29:57 PM
Last modification on : Wednesday, October 20, 2021 - 3:22:14 AM
Long-term archiving on: : Sunday, June 7, 2015 - 9:00:45 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01127020, version 1



Georges Arnaud Kemayo. Evaluation et validation des systèmes distribués avioniques. Autre [cs.OH]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2014. Français. ⟨NNT : 2014ESMA0010⟩. ⟨tel-01127020⟩



Record views


Files downloads