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

被引：50

作者：

Charara, Hussein ^{[1
]}

Scharbarg, Jean-Luc ^{[1
]}

Ermont, Jerome ^{[1
]}

Fraboul, Christian ^{[1
]}

机构：

[1] IRIT ENSEEIHT, 2 Rue Camichel, F-31000 Toulouse, France

来源：

18TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS | 2006年

关键词：

D O I：

10.1109/ECRTS.2006.15

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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 will be 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.

引用

页码：193 / +

页数：3