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 :
Theses
Complete list of metadatas

Cited literature [60 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01127020
Contributor : Abes Star <>
Submitted on : Friday, March 6, 2015 - 11:29:57 PM
Last modification on : Tuesday, June 4, 2019 - 6:21:22 PM
Long-term archiving on : Sunday, June 7, 2015 - 9:00:45 PM

File

2014ESMA0010.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01127020, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

318

Files downloads

800