Formal modeling and analysis of the AFDX frame management design

Proceedings - Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006

Volumn , Issue , 2006, Pages 393-399

  Anand, Madhukar ^a   Dajani Brown, Samar ^b   Vestal, Steve ^b   Insup, Lee ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b HONEYWELL TECHNOLOGY CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS FULL DUPLEX SWITCHED ETHERNET (AFDX); FRAME MANAGEMENT; INTERNAL COMMUNICATION; SWITCHED NETWORKS;

COMPUTER SIMULATION; DATA COMMUNICATION SYSTEMS; INFORMATION MANAGEMENT; PROBLEM SOLVING; RELIABILITY THEORY; TELECOMMUNICATION LINKS;

COMPUTER NETWORKS;

EID: 33751022005     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2006.     Document Type: Conference Paper

References (12)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): 183-235, 1994.
2. ARINC. Specification 664: Aircraft data network, part 7-deterministic networks(draft 2,oct 10,2003).
3. ARINC. Arinc project paper 664: Aircraft data network, part 7-avionics full duplex switched ethernet(afdx) network, 2005.
4. T. A.S and S. M.V. Distributed systems:Principles and Paradigms. Prentice Hall PTR, Uppersaddle River,NJ, USA, 2001.
5. G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT2004, number 3185 in LNCS, pages 200-236, September 2004.
6. J. Bengtsson, W. O. D. Griffioen, K. J. Kristoffersen, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Automated analysis of an audio control protocol using UPPAAL. Journal of Logic and Algebraic Programming, 52-53:163-181, July-August 2002.
7. J. Bengtsson and W. Yi. Timed automata: Semantics, algorithms and tools. In Lecture Notes on Concurrency and Petri Nets. W. Reisig and G. Rozenberg (eds.), number 3098 in LNCS. Springer-Verlag, 2004.
8. A. David and W. Yi. Modelling and analysis of a commercial field bus protocol. In Proceedings of the 12th Euromicro Conference on Real Time Systems, pages 165-172. IEEE Computer Society, 2000.
9. IEEE. Std.802.3:information technology, 1998.
10. B. K and T. T. Switched ethernet testing for avionics applications. In Proceedings of IEEE Systems Readiness Technology Conference, pages 546-550, 2003.
11. K. G. Larsen, M. Mikucionis, B. Nielsen, and A. Skou. Testing real-time embedded software using uppaal-tron: an industrial case study. In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software, pages 299-306, New York, NY, USA, 2005. ACM Press.
12. H. Lonn and P. Pettersson. Formal Verification of a TDMA Protocol Startup Mechanism. In Proc. of the Pacific Rim Int. Symp. on Fault-Tolerant Systems, pages 235-242, Dec. 1997.