Validate, simulate, and implement ARINC653 systems using the AADL

Proceedings of the ACM SIGAda Annual International Conference; SIGAda

Volumn , Issue , 2009, Pages 31-44

  Delange, Julien ^a   Pautet, Laurent ^a   Plantec, Alain ^b   Kerboeuf, Mickael ^b   Singhoff, Frank ^b   Kordon, Fabrice ^c  

^a INSTITUT TELECOM   (France)

^b UNIVERSITÉ DE BRETAGNE OCCIDENTALE   (France)

^c UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

AADL; ARINC653; Cheddar; Code generation; Model based engineering; Ocarina; POK; Schedulability; Simulation

Indexed keywords

ARCHITECTURE ANALYSIS; BUILDING SAFETY; CODE GENERATION; COMPONENT-BASED LANGUAGE; CRITICAL APPLICATIONS; DETECT AND AVOID; DEVELOPMENT PROCESS; DIFFERENT DOMAINS; MODEL-BASED ENGINEERING; MODEL-DRIVEN ENGINEERING; MODELING APPROACH; NON-FUNCTIONAL REQUIREMENTS; RAVENSCAR; RUNTIMES; SAFETY CRITICAL SYSTEMS; SAFETY MECHANISMS; SCHEDULABILITY; SPACE AND TIME; SYSTEM ENGINEERS; TOOLSUITE;

ADA (PROGRAMMING LANGUAGE); EMBEDDED SYSTEMS; LINGUISTICS; NETWORK COMPONENTS; QUERY LANGUAGES; SCHEDULING; SECURITY SYSTEMS;

SAFETY ENGINEERING;

EID: 74549169999     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1647420.1647435     Document Type: Conference Paper

References (55)

1. Open source AADL tool environment. Technical report, Software Engineering Institute - Carnegie Mellon University, 2006.
2. AADL Portal at Telecom ParisTech. http://aadl.telecom-paristech.fr/, 2009.
3. POK Website. http://pok.gunnm.org/, 2009.
4. Airlines Electronic Engineering. Avionics Application Software Standard Interface. Technical report, Aeronautical Radio, INC, 1997.
5. Alan Burns, Brian Dobbing, and Tullio Vardenega. Guide for the use of the Ada Ravenscar Profile in high integrity systems. 2003.
6. K. Altisen, G. Gossler, and J. Sifakis. Scheduler Modeling Based on the Controller Synthesis Paradigm. Real Time Systems journal, 23(1):55-84, 2002.
7. R. Alur and D. L. Dill. Automata for modeling real time systems. Proc. of Int. Colloquium on Algorithms, Languages and Programming, Vol 443, LNCS, pages 322-335, 1990.
8. B. Atchison and P. Lindsay. Safety validation of embedded control software using z animation. High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000, pages 228-237, 2000.
9. W. Barnes. ARINC 653 and why is it important for a safety-critical RTOS. April 2004.
10. G. Behrmann, A. David, and K. G. Larsen. A Tutorial on UPPAAL. Technical Report, Department of Computer Science, Aalbord University, Denmark, 2004.
11. F. Bellard. Qemu, a fast and portable dynamic translator. In ATEC '05: Proceedings of the annual conference on USENIX Annual Technical Conference, pages 41-41, Berkeley, CA, USA, 2005. USENIX Association.
12. G. Berry. Getting Started with Esterel Studio 5.3. Technical report, Esterel technologies SA. Available from http://www.esterel-technologies.com/ technology/getting-started/, Apr. 2005.
13. A. Burns and A. Wellings. HRT-HOOD: A Design Method for Hard Real-time Systems. Real Time Systems journal, 6(1):73-114, 1994.
14. J. Chilenski. Aerospace Vehicle Systems Institute Systems and Software Integration Verification Overview. AADL Safety and Security Modeling Meeting, Nov. 2007.
15. P. Conmy, M. Nicholson, and J. McDermid. Safety assurance contracts for integrated modular avionics. In SCS '03: Proceedings of the 8th Australian workshop on Safety critical systems and software, pages 69-78, Darlinghurst, Australia, Australia, 2003. Australian Computer Society, Inc.
16. F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in Real Time Systems. John Wiley and Sons Ltd editors, 2002.
17. J. Delange, J. Hugues, L. Pautet, and B. Zalila. Code generation strategies from aadl architectural descriptions targeting the high integrity domain. In 4th European Congress ERTS, Toulouse, 2008.
18. J. Delange, L. Pautet, and F. Kordon. Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS'08), pages 53-56, Barcelona, Spain, December 2008. IEEE Computer Society.
19. P. Dissaux and F. Singhoff. Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures. Proceedings of the European Real Time System conference. Toulouse, France, Jan. 2008.
20. D. Drusinsky. Modeling and Verification using UML StateCharts. Elsevier inc. editor, 2006.
21. P. Farail, P. Gaufillet, A. Canals, C. L. Camus, D. Sciamma, P. Michel, X. Crégut, and M. Pantel. TOPCASED : An Open Source Development Environment for Embedded Systems. Chapter 11, From MDD Concepts to Experiments and Illustrations, ISTE Editor, pages 195-207, 2006.
22. P. H. Feiler, D. P. Gluch, and J. J. Hudak. The Architecture Analysis and Design Language (AADL): An Introduction. Technical report, 02 2006.
23. P. H. Feiler and J. Hansson. Flow Latency Analysis with the Architecture Analysis and Design Language (AADL). Technical report, Software Engineering Institute, 2007.
24. R. Frana, J.-P. Bodeveix, M. Filali, and J.-F. Rolland. The AADL behaviour annex - experiments and roadmap. Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on, pages 377-382, July 2007.
25. L. George, N. Rivierre, and M. Spuri. Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966, 1996.
26. J. Hansson and A. Greenhouse. Modeling and Validating Security and Confidentiality in System Architectures. Technical report, CMU/SEI, 2008.
27. M. G. Harbour, J. G. Garca, J. P. Gutirrez, and J. D. Moyano. MAST: Modeling and Analysis Suite for Real Time Applications. pages 125-134. Proc. of the 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands,, 2001.
28. J. Hugues, B. Zalila, L. Pautet, and F. Kordon. From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite. ACM Transactions in Embedded Computing Systems (TECS), 7(4):1-25, jul 2008.
29. ISO 10303-1. Part 1: Overview and fundamental principles, 1994.
30. ISO 10303-11. Part 11: edition 2, EXPRESS Language Reference Manual, 2004.
31. T. K. Iversen, K. J. Kristoffersen, K. G. Larsen, R. G. Madsen, M. Laursen, S. K. Mortensen, P. Pettersson, and C. B. Thomasen. Model-Checking Real Time Control Programs : Verifying LEGO Mindstorm Systems Using UPPAAL. Technical report, BRICS RS-99-53, Dec. 1999.
32. R. N. Kashi and M. Amarnathan. Perspectives on the use of model based development approach for safety critical avionics software development. In International Conference on Aerospace Science and Technology, 2008.
33. L. Kinnan, J. Wlad, and P. Rogers. Porting applications to an ARINC 653 compliant IMA platform using Vxworks as an example. Digital Avionics Systems Conference, 2004. DASC 04. The 23rd, 2:10.B.1-10.1-8 Vol.2, 24-28 Oct. 2004.
34. M. Leone and P. Lee. A Declarative Approach to Run-Time Code Generation. In In Workshop on Compiler Support for System Software (WCSSS), pages 8-17, 1996.
35. J. Leung and M. Merril. A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115-118, 1980.
36. C. L. Liu and J. W. Layland. Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environnment. Journal of the Association for Computing Machinery, 20(1):46-61, Jan. 1973.
37. E. Maes. Validation de systèmes temps-réel et embarqué à partir d'un modèle MARTE. Thales RT, Journée Ada-France 2007, Brest, 2007.
38. J. McDermid. Software hazard and safety analysis, 01 2004.
39. National Institute of Standards and Technology (NIST). The Economic Impacts of Inadequate Infrastructure for Software Testing. Technical report, 2002.
40. OARCorp. Rtems - http://www.rtems.com.
41. A. Plantec and V. Ribaud. EUGENE: a STEP-based framework to build Application Generators. AWCSET'98, CSIRO-Macquarie University, 1998.
42. A.-E. Rugina, P. H. Feiler, K. Kanoun, and M. Kaaniche. Software dependability modeling using an industry-standard architecture description language. In Proceedings of 4th European Congress ERTS, Toulouse, Jan 2008.
43. SAE. Architecture Analysis & Design Language v2.0 (AS5506), September 2008.
44. L. Sha, R. Rajkumar, and J. Lehoczky. Priority Inheritance Protocols : An Approach to real-time Synchronization. IEEE Transactions on computers, 39(9):1175-1185, 1990.
45. F. Singhoff and A. Plantec. AADL modeling and analysis of hierarchical schedulers. In SIGAda '07: Proceedings of the 2007 ACM international conference on SIGAda annual international conference, pages 41-50, New York, NY, USA, 2007. ACM.
46. F. Singhoff, A. Plantec, and P. Dissaux. Can we increase the usability of real time scheduling theory ? The Cheddar project. pages 240-253. 13th International Conference on Reliable Software Technologies, Ada-Europe, Lecture Notes on Computer Sciences, Springer-Verlag editor, volume 5026, Venice, June 2008.
47. V. Subraminian, C. Gill, C. Sanchez, and H. B. Sipma. Reusable Models for Timing and Liveness Analysis of Middleware for Distributed Real-Time and Embedded systems. Proceedings of the 6th ACM and IEEE International conference on Embedded software EMSOFT '06, Oct. 2006.
48. S. T. Taft, R. A. Duff, R. L. Brukardt, E. Ploedereder, and P. Leroy. Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1. LNCS Springer Verlag, number XXII, volume 4348., 2006.
49. A. Tanenbaum. Modern Operating Systems. Prentice-Hall, 2001.
50. TimeSys. Using TimeWiz to Understand System Timing before you Build or Buy. White paper, http://www.timesys.com/index.cfm?bdy=home bdy library.cfm, 2002.
51. Tri-Pacific. Rapid-RMA : The Art of Modeling Real-Time Systems. http://www.tripac.com/html/prod-fact-rrm.html, 2003.
52. S. Vestal. Metah user's manual, version 1.27. Technical report, 1998.
53. D. Weil, V. Bertin, E. Closse, M. Poize, P. Venier, and J. Pulou. Efficient compilation of esterel for real-time embedded systems. In CASES '00: Proceedings of the 2000 international conference on Compilers, architecture, and synthesis for embedded systems, pages 2-8, New York, NY, USA, 2000. ACM.
54. L. Wells. Performance Analysis using CPN Tools. ACM International Conference Proceeding Series; Vol. 180, Proceedings of the 1st international conference on Performance evaluation methodolgies and tools., 2006.
55. B. Zalila, J. Hugues, and L. Pautet. Ocarina user guide. TELECOM ParisTech.