Holistic schedulability analysis for multipacket messages in AFDX networks

被引：35

作者：

Javier Gutierrez, J. ^{[1
]}

Carlos Palencia, J. ^{[1
]}

Gonzalez Harbour, Michael ^{[1
]}

机构：

[1] Univ Cantabria, Comp & Real Time Grp, E-39005 Santander, Spain

来源：

REAL-TIME SYSTEMS | 2014年 / 50卷 / 02期

关键词：

Real-time; AFDX; Schedulability Analysis; Response-time analysis; Networks; Distributed Systems; TO-END DELAYS; COMMUNICATION;

D O I：

10.1007/s11241-013-9192-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The ARINC-664, Part 7 (AFDX) standard defines a communication network based on Ethernet and the UDP/IP protocols. Contrary to general-purpose Ethernet, the timing behavior in AFDX is deterministic due to the use of special network switches and end systems with static routing tables and traffic policing at the sending end through mechanisms called virtual links. Even though the latencies in this network are bounded, there are scheduling and contention effects that need to be analyzed. In this paper we develop a response-time analysis for multipacket messages transmitted through an AFDX network including the scheduling of the virtual links and sub-virtual links, and also the contention in the end systems and in the switches. This analysis allows us to obtain worst-case latencies and output jitter for the network messages with a precise modeling of the sending and receiving ends. These results can be integrated in a holistic approach with the response time analysis of the threads in the processing nodes to obtain end-to-end response times in heterogeneous distributed systems.

引用

页码：230 / 269

页数：40

共 29 条

[1]

Adnan M., 2011, 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES), P294, DOI 10.1109/SIES.2011.5953673

[2]

[Anonymous], 664P7 ARINC AIRL EL

[3]

ARINC Avionics Application Software Standard Interface, 2006, 6531 ARINC

[4]

Basu A, 2010, LECT NOTES COMPUT SC, V6418, P330, DOI 10.1007/978-3-642-16612-9_25

[5] Applying Trajectory approach with static priority queuing for improving the use of available AFDX resources [J].

Bauer, Henri ;

Scharbarg, Jean-Luc ;

Fraboul, Christian .

REAL-TIME SYSTEMS, 2012, 48 (01) :101-133

[6] Improving the Worst-Case Delay Analysis of an AFDX Network Using an Optimized Trajectory Approach [J].

Bauer, Henri ;

Scharbarg, Jean-Luc ;

Fraboul, Christian .

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (04) :521-533

[7] Tightening end to end delay upper bound for AFDX network calculus with rate latency FIFO servers using network calculus [J].

Boyer, Marc ;

Fraboul, Christian .

WFCS 2008: IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, 2008, :11-20

[8] The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus [J].

Boyer, Marc ;

Navet, Nicolas ;

Olive, Xavier ;

Thierry, Eric .

LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 :122-+

[9] Methods for bounding end-to-end delays on an AFDX network [J].

Charara, Hussein ;

Scharbarg, Jean-Luc ;

Ermont, Jerome ;

Fraboul, Christian .

18TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2006, :193-+

[10]

Condor Engineering, 2005, AFDX ARINC 664 TUT

← 1 2 3 →