OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Exact worst-case communication delay analysis of AFDX network

Adnan, Muhammad. Exact worst-case communication delay analysis of AFDX network. PhD, Institut National Polytechnique de Toulouse, 2013

(Document in English)

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://ethesis.inp-toulouse.fr/archive/00002562/


The main objective of this thesis is to provide methodologies for finding exact worst case end to end communication delays of AFDX network. Presently, only pessimistic upper bounds of these delays can be calculated by using Network Calculus and Trajectory approach. To achieve this goal, different existing tools and approaches have been analyzed in the context of this thesis. Based on this analysis, it is deemed necessary to develop new approaches and algorithms. First, Model checking with existing well established real time model checking tools are explored, using timed automata. Then, exhaustive simulation technique is used with newly developed algorithms and their software implementation in order to find exact worst case communication delays of AFDX network. All this research work has been applied on real life implementation of AFDX network, allowing us to validate our research work on industrial scale configuration of AFDX network such as used on Airbus A380 aircraft.

Item Type:PhD Thesis
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Laboratory name:
Research Director:
Fraboul, Christian and Scharbarg, Jean-Luc
Deposited On:17 Feb 2014 22:58

Repository Staff Only: item control page