AFDX

1
AFDX ()
AFDX AFDX
AFDX 3
AFDX NC
TP393.06

1673-3355 2009 02-0025-03

Status Quo of AFDX Network Testing Li Haofeng

Abstract: As the major choice of communication network on future airliner, AFDX ( Avionics Full Duplex Switched
Ethernet) has much research to accomplish when equipped to the real liner. Among them, the verification and testing of this
kind of network are most important. In this article, we analysis of status quo in AFDX network testing, present the main task,
the common approach-Computer Simulation-and its' three major technique of AFDX test.
Key words: AFDX networkProtocol TestingCapability TestingModeling and SimulationNCNetwork simulation
Model Checking

ARINC429 1553B

AFDX

(ARINC429100 kbps1553B1 Mbps)

MIL_STD_1773
1553B

ARINC 664

[1]AFDX
End System Switcher

(1 Mbps 20 Mbps)
(STANAG 3910)

AFDX

F-22
HSDB
FC

AFDX
AFDX
Virtual Link AFDX

AFDX
( Avionics Full Duplex Switched Ethernet)

A380 AFDX

2005 AFDX

BAG
Frame
Management

1.

64
CFHI

2009 2 128
yz.js@cfhi.com

100191

CFHI TECHNOLOGY

[2]

[2]
AFDX

[6]

3 3

3 1
Network Calculus NC

[3]

AFDX

AFDX

2
AFDX

3
AFDX

[7] NC

AFDX

AFDX Ken Bisson Troy Troshynski

AFDX [5]
AFDX

AFDX
AFDX
AFDX

AFDX

AFDX
Madhukar AnandSteve Vestal
UPPAAL AFDX
AFDX
Redundancy
Management

[8]

AFDX

Jean-Philippe GeorgesEric Rondeau

[10]
Frederic RidouardJean-Luc Scharbarg Christian
Fraboul
[11]

2009 2 128
yz.js@cfhi.com

65
CFHI

NC

AFDX

[12]H.
Charara and C. Fraboul

[1]

NC

AFDX

[1] H. Charara and C. Fraboul, Modeling and Simulation of an Avionics

Full Duplex Switched Ethernet, Proceedings of the Advanced
Industrial Conference, 2005.
[ 2] M. Anand, S. Vestal, S. Dajani -Brown and Insup Lee, Formal
Modeling and Analysis of the AFDX Frame Management Design;
Proceedings of the Ninth IEEE International Symposium on Object
and Component-Oriented Real-Time Distributed Computing, 2006.
[3] InterWorking Labs, Network Protocol Testing Overview.
[4] AFDX
2006.
[5] Ken Bisson, Troy Troshynski; Switched Ethernet Testing for Avionics
Applications; IEEE A&E SYSTEMS MAGAZINE, 2004.

Hussein Charara Jean -Luc Scharbarg J er

ome Ermont NC
3

[13]

UPPAAL AFDX

Madhukar
AnandSteve Vestal UPPAAL AFDX
[2]

[6]
2005.
[7]
2005.
[8] NC
2006.
[9] AFDX
2008.
[10] Jean-Philippe Georges, Eric Rondeau, Thierry Divoux; Evaluation of
switched Ethernet in an industrial context by using the Network
Calculus;

th

IEEE

international

workshop

on

factory

communication systems, 2002.

[ 11] Fr ed eric Ridouard, Jean -Luc Scharbarg, Christian Fraboul;

Stochastic network calculus for end -to -end delays distribution

evaluation on an avionics switched Ethernet;IEEE 2007.

AFDX

[13] Hussein Charara, Jean-Luc Scharbarg, Jerome Ermont, Christian

2009-03-27

66
CFHI

2009 2 128
yz.js@cfhi.com

[12]
2004.
Fraboul Methods for bounding end -to -end delays on an AFDX
network Proceedings of the 18th Euromicro Conference on Real Time Systems, 2006.