A component model for hard real-time systems: CCM with ARINC-653

Software - Practice and Experience

Volumn 41, Issue 12, 2011, Pages 1517-1550

  Dubey, Abhishek ^a   Karsai, Gabor ^a   Mahadevan, Nagabhushan ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

ARINC 653; hard real time systems; real time component model

Indexed keywords

ARINC-653; COMPONENT ASSEMBLY; COMPONENT BASED APPROACH; COMPONENT INTERACTION; COMPONENT MODEL; COMPONENT-BASED SOFTWARE DEVELOPMENT; CORBA COMPONENT MODELS; HARD REAL-TIME SYSTEMS; MODELING ENVIRONMENTS; OPEN-SOURCE; REAL TIME OPERATING SYSTEM; REAL-TIME COMPONENT MODEL; SAFETY CRITICAL SYSTEMS; STATE OF THE ART; TIME SYSTEMS;

COMPUTER OPERATING SYSTEMS; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MIDDLEWARE; SEMANTICS; SOFTWARE DESIGN;

REAL TIME SYSTEMS;

EID: 79959552407     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.1083     Document Type: Conference Paper

References (44)

1. Morgan D, Pave pace: System avionics for the 21st century. Aerospace and Electronic Systems Magazine, IEEE 1989; 4 (1): 12-22.
2. Joint advanced strike technology program, avionics architecture definition appendix B. Technical Report, August 1994.
3. Rushby J, Modular certification. Technical Report, September 2001.
4. Wallace M, Modular architectural representation and analysis of fault propagation and transformation. Electronic Notes in Theoretical Computer Science 2005; 141 (3): 53-71. (Pubitemid 41681796)
5. Balasubramanian K, Wang N, Schmidt DC, Towards composable distributed real-time and embedded software. 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico, 2003; 226-233.
6. Subramonian V, Deng G, Gill CD, Balasubramanian J, Shen L-J, Otte W, Schmidt DC, Gokhale AS, Wang N, The design and performance of component middleware for QOS-enabled deployment and configuration of DRE systems. Journal of Systems and Software 2007; 80 (5): 668-677. (Pubitemid 46389607)
7. CIAO. [ 2009 ].
8. Fay-Wolfe V, DiPippo LC, Copper G, Johnston R, Kortmann P, Thuraisingham B, Real-time corba. IEEE Transactions on Parallel and Distributed Systems 2000; 11 (10): 1073-1089. (Pubitemid 32076192)
9. Dubey A, Karsai G, Kereskenyi R, Mahadevan N, A real-time component framework: Experience with CCM and ARINC-653. 13th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, Carmona, Spain. IEEE Computer Society, May 2010; 143-150.
10. Puder A, MICO: An open source CORBA implementation. IEEE Software 2004; 21 (4): 17-19.
11. Arinc specification 653-2: Avionics application software standard interface part 1-Required services. Technical Report, Annapolis, MD, December 2005.
12. Watkins C, Walter R, Transitioning from federated avionics architectures to integrated modular avionics. Digital Avionics Systems Conference, 2007. DASC '07. 26th IEEE/AIAA, Dallas, TX, October 2007; 2.A.1-1-2.A.1-10.
13. The ISIS Model Integrated Computing (MIC) Toolsuite.
14. Diniz N, Rufino J, ARINC 653 in space. Data Systems in Aerospace. European Space Agency, May 2005.
15. Goldberg A, Horvath G, Software fault protection with ARINC 653. Proceeding of IEEE Aerospace Conference, Big Sky, MI, March 2007; 1-11.
16. Wang N, Schmidt DC, O'Ryan C, Overview of the CORBA Component Model. Addison-Wesley Longman Publishing: Boston, MA, U.S.A., 2001; 557-571.
17. Model-integrated computing. Available at: [ 2009 ].
18. Model-driven architecture. Available at: [ 2009 ].
19. Lédeczi A, Bakay A, Marõti M, Völgyesi P, Nordstrom G, Sprinkle J, Karsai G, Composing domain-specific design environments. Computer 2001; 34 (11): 44-51.
20. Hoare CAR, An axiomatic basis for computer programming. Communications of the ACM 1969; 12 (10): 576-580.
21. Dubey A, Karsai G, Mahadevan N, Towards model-based software health management for real-time systems. Technical Report ISIS-10-106, Institute for Software Integrated Systems, Vanderbilt University, August 2010.
22. Dubey A, Karsai G, Kereskenyi R, Mahadevan N, Towards a real-time component framework for software health management. Technical Report ISIS-09-111, Institute for Software Integrated Systems, Vanderbilt University, November 2009. Available at:.
23. Audsley N, Wellings A, Analysing APEX applications. RTSS '96: Proceedings of the 17th IEEE Real-time Systems Symposium, Washington, DC, U.S.A. IEEE Computer Society: Los Alamitos, CA, U.S.A., 1996; 39-44.
24. Easwaran A, Lee I, Sokolsky O, Vestal S, A compositional framework for avionics (ARINC-653) systems. Technical Report MS-CIS-09-04, University of Pennsylvania, February 2009. Available at:.
25. OMNeT++Network simulator.
26. Kim K, Object structures for real-time systems and simulators. Computer 1997; 30 (8): 62-70. (Pubitemid 127546093)
27. Tinyos. Available at:.
28. Schneider S, Chen V, Steele J, Pardo-Castellote G, The controlshell component-based real-time programming system, and its application to the Marsokhod Martian Rover. SIGPLAN Notices 1995; 30 (11): 146-155.
29. eCos. Available at:.
30. van Ommering R, van der Linden F, Kramer J, Magee J, The Koala component model for consumer electronics software. Computer 2000; 33 (3): 78-85. (Pubitemid 30574032)
31. Obermaisser R, Kopetz H,. Genesys an artemis cross-domain reference architecture for embedded systems. Sudwestdeutscher Verlag fur Hochschulschriften AG, 2009.
32. Alena RL, Ossenfort JP, Laws KI, Goforth A, Figueroa F, Communications for integrated modular avionics. Proceeding of IEEE Aerospace Conference, Big Sky, MT, March 2007; 1-18.
33. Schulte M, Model-based integration of reusable component-based avionics systems-A case study. ISORC 2005, 62-71.
34. Kuz I, Liu Y, Gorton I, Heiser G, CAmkES: A component model for secure microkernel-based embedded systems. Journal of Systems and Software 2007; 80 (5): 687-699. (Pubitemid 46389606)
35. Delange J, Pautet L, Feiler P, Validating safety and security requirements for partitioned architectures. Ada-Europe '09: Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies. Springer: Berlin, Heidelberg, 2009; 30-43.
36. Feiler P, Lewis B, Vestal S, Colbert E, An overview of the SAE architecture analysis & design language (aadl) standard: A basis for model-based architecture-driven embedded systems engineering. In Architecture Description Languages, Dissaux P, Filali-Amine M, Michel P, Vernadat F, (eds.) (IFIP International Federation for Information Processing, vol. 176). Springer: Boston, (2005; 3-15.
37. Schoofs T, Jenn E, Leriche S, Nilsen K, Gauthier L, Richard-Foy M, Use of PERC Pico in the AIDA avionics platform. JTRES '09: Proceedings of the 7th International Workshop on Java Technologies for Real-time and Embedded Systems, New York, NY, U.S.A., 2009; 169-178.
38. Lakshmanan K, Rajkumar R, Distributed resource kernels: OS support for end-to-end resource isolation. Real-time and Embedded Technology and Applications Symposium, IEEE, Los Alamitos, CA, U.S.A. IEEE Computer Society: St. Louis, MO, 2008; 195-204.
39. Lipari G, Bini E, A methodology for designing hierarchical scheduling systems. Journal of Embedded Computer 2005; 1 (2): 257-269.
40. Burns AP, Lin TM, An engineering process for the verification of real-time systems. Formal Aspects of Computing 2007; 19 (1): 111-136.
41. Alur R, Dill DL, A theory of timed automata. Theoretical Computer Science 1994; 126 (2): 183-235.
42. Meyer B, Applying 'design by contract'. Computer 1992; 25 (10): 40-51.
43. Jézéquel J-M, Meyer B, Design by contract: The lessons of ariane. Computer 1997; 30 (1): 129-130.
44. Conmy P, McDermid J, Nicholson M, Safety analysis and certification of open distributed systems. International System Safety Conference, Denver, 2002.