Methods for bounding end-to-end delays on an AFDX network

Author

Charara, Hussein ; Scharbarg, Jean-Luc ; Ermont, Jerome ; Fraboul, Christian

Author_Institution

IRIT, ENSEEIHT, Toulouse

fYear

0

fDate

0-0 0

Lastpage

202

Abstract

Architectures of avionics networks, such as that of the Airbus A380, currently know important evolutions. This is principally due to the increase in the complexity of the embedded systems, in term of rise in number of integrated functions and their connectivity. The evolution of switched Ethernet technologies allows their implementation as an avionics architecture (AFDX: avionics full duplex switched Ethernet). The problem is then to prove that no frame is lost by the network (no switch queue will overflow) and to evaluate the end-to-end transfer delay through the network. The objective of this paper is to present and shortly compare three methods for the evaluation of end-to-end delays: network calculus, queuing networks simulation and model checking

Keywords

aerospace computing; avionics; embedded systems; formal verification; local area networks; queueing theory; AFDX network; Airbus A380; avionics full duplex switched Ethernet; avionics network architecture; embedded system; end-to-end delay; model checking; network calculus; queuing network simulation; Aerospace electronics; Aircraft; Calculus; Communication system control; Delay; Embedded system; Ethernet networks; Multiaccess communication; Switches; Traffic control;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems, 2006. 18th Euromicro Conference on

Conference_Location

Dresden

ISSN

1068-3070

Print_ISBN

0-7695-2619-5

Type

conf

DOI

10.1109/ECRTS.2006.15

Filename

1647738