wilamowski-b-m-irwin-j-d-industrial-communication-systems-2011

Embedded Networks in Civilian Aircraft Avionics Systems 24-15
MC
NC
PSG
SAE
SDI
SG
SSM
TDMA
TG
TI
VL
Model Checking
Network Calculus
Periodic Synchronization Gap
Society of Automotive Engineers
Source/Destination Identifier
Synchronization Gap
Sign/Status Matrix
Time Division Multiple Access
Terminal Gap
Transmit Interval
Virtual Link
References
[ACOR99] R. Agrawal, R. L. Cruz, C. Okino, and R. Rajan, Performance bounds for flow control protocols,
IEEE Transactions on Networking, 7(3), 310–323, June 1999.
[ARI01] ARINC 429 Aeronautical Radio Inc., ARINC specification 429-ALL: Mark 33 digital information
transfer system (DITS), Parts 1, 2, 3, Annapolis, MD, 2001.
[ARI02] ARINC 664, Aircraft Data Network, Part 1: Systems Concepts and Overview, 2002; ARINC 664, Aircraft
Data Network, Part 2: Ethernet Physical and Data Link Layer Specification, Annapolis, MD, 2002.
[ARI03] ARINC 664, Aircraft Data Network, Part 7: Deterministic Networks, Annapolis, MD, 2003.
[ARI91] ARINC 651 Aeronautical Radio Inc., ARINC specification 651: Design guidance for integrated
modular avionics, Annapolis, MD, 1991.
[ARI93] ARINC 659 Aeronautical Radio Inc., ARINC project paper 659: Backplane data bus, Annapolis,
MD, 1993.
[ARI97] ARINC 653 Aeronautical Radio Inc., ARINC project 653: Avionics application software standard
interface, Annapolis, MD, 1997.
[ARI99] ARINC 629 Aeronautical Radio Inc., ARINC specification 629: Multi-transmitter data bus,
Part 1-Technical description, Annapolis, MD, 1999.
[C91] R. Cruz, A calculus for network delay, Part I and II, IEEE Transactions on Information Theory, 37(1),
114–131, January 1991.
[C95] R. L. Cruz, Quality of service guarantees in virtual circuit switched networks, IEEE Journal of
Selected Areas in Communication, special issue on Advances in the Fundamentals of Networking,
13(6), August 1995.
[C98] C. S. Chang, On deterministic traffic regulation and service guarantee: A systematic approach by
filtering, IEEE Transactions on Information Theory, 44, 913–931, May 1998.
[CAN93] CAN Standard Road vehicles Controller Area Network (CAN), ISO Standard 11898,
International Organization for Standardization, Geneva, Switzerland, 1993.
[CC93] P. Chanet and V. Cassigneul, How to control the increase in the complexity of civil aircraft
on-board systems?, in AGARD Meeting on Aerospace Software Engineering for Advanced Systems
Architectures, Paris, France, May 1993.
[CSC01] C. Chang, W. Song, and Y. Chiu, On the performance of multiplexing independent regulated
inputs, in Proceedings of Sigmetrics 2001, Boston, MA, May 2001.
[CSEF06] H. Charara, J. L. Scharbarg, J. Ermont, and C. Fraboul, Methods for bounding end-to-end delays
on an AFDX network, in Proceedings of the 18th ECRTS, Dresden, Germany, July 2006.
[CSF06] H. Charara, J. L. Scharbarg, and C. Fraboul, Focusing simulation for end-to-end delays analysis on
a switched Ethernet, in Proceedings of the WiP Session of RTSS, Rio de Janeiro, Brazil, December 2006.
[EI03] W. Elmenreich and R. Ipp, Introduction to TTP/C and TTP/A, in Workshop on Time-Triggered and
Real-Time Communication Systems, Manno, Switzerland, December 2003.
[F05] M. Felser, Real-time Ethernet—Industry prospective, Proceedings of IEEE, 93(6), 1118–1129, June 2005.
© 2011 by Taylor and Francis Group, LLC