{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:05Z","timestamp":1772164025052,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,11,1]],"date-time":"2009-11-01T00:00:00Z","timestamp":1257033600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1145\/1647420.1647435","type":"proceedings-article","created":{"date-parts":[[2009,11,10]],"date-time":"2009-11-10T13:36:45Z","timestamp":1257860205000},"page":"31-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Validate, simulate, and implement ARINC653 systems using the AADL"],"prefix":"10.1145","author":[{"given":"Julien","family":"Delange","sequence":"first","affiliation":[{"name":"TELECOM ParisTech, Paris, France"}]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[{"name":"TELECOM ParisTech, Paris, France"}]},{"given":"Alain","family":"Plantec","sequence":"additional","affiliation":[{"name":"LISyC\/University of Brest, Brest, France"}]},{"given":"Mickael","family":"Kerboeuf","sequence":"additional","affiliation":[{"name":"LISyC\/University of Brest, Brest, France"}]},{"given":"Frank","family":"Singhoff","sequence":"additional","affiliation":[{"name":"LISyC\/University of Brest, Brest, France"}]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[{"name":"LIP6, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2009,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Technical report","author":"Open","year":"2006","unstructured":"Open source AADL tool environment. Technical report , Software Engineering Institute - Carnegie Mellon University , 2006 . Open source AADL tool environment. Technical report, Software Engineering Institute - Carnegie Mellon University, 2006."},{"key":"e_1_3_2_1_2_1","volume-title":"http:\/\/aadl.telecom-paristech.fr\/","author":"Telecom ParisTech AADL","year":"2009","unstructured":"AADL Portal at Telecom ParisTech . http:\/\/aadl.telecom-paristech.fr\/ , 2009 . AADL Portal at Telecom ParisTech. http:\/\/aadl.telecom-paristech.fr\/, 2009."},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/pok.gunnm.org\/","author":"Website POK","year":"2009","unstructured":"POK Website . http:\/\/pok.gunnm.org\/ , 2009 . POK Website. http:\/\/pok.gunnm.org\/, 2009."},{"key":"e_1_3_2_1_4_1","volume-title":"INC","author":"Engineering Airlines Electronic","year":"1997","unstructured":"Airlines Electronic Engineering . Avionics Application Software Standard Interface. Technical report, Aeronautical Radio , INC , 1997 . Airlines Electronic Engineering. Avionics Application Software Standard Interface. Technical report, Aeronautical Radio, INC, 1997."},{"key":"e_1_3_2_1_5_1","volume-title":"Guide for the use of the Ada Ravenscar Profile in high integrity systems","author":"Burns Alan","year":"2003","unstructured":"Alan Burns , Brian Dobbing , and Tullio Vardenega . Guide for the use of the Ada Ravenscar Profile in high integrity systems . 2003 . Alan Burns, Brian Dobbing, and Tullio Vardenega. Guide for the use of the Ada Ravenscar Profile in high integrity systems. 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015346419267"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646244.684357"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2000.895467"},{"key":"e_1_3_2_1_9_1","volume-title":"ARINC 653 and why is it important for a safety-critical RTOS","author":"Barnes W.","year":"2004","unstructured":"W. Barnes . ARINC 653 and why is it important for a safety-critical RTOS . April 2004 . W. Barnes. ARINC 653 and why is it important for a safety-critical RTOS. April 2004."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247401"},{"key":"e_1_3_2_1_12_1","volume-title":"Esterel technologies SA. Available from http:\/\/www.esterel-technologies.com\/technology\/gettingstarted\/","author":"Berry G.","year":"2005","unstructured":"G. Berry . Getting Started with Esterel Studio 5.3. Technical report , Esterel technologies SA. Available from http:\/\/www.esterel-technologies.com\/technology\/gettingstarted\/ , Apr. 2005 . G. Berry. Getting Started with Esterel Studio 5.3. Technical report, Esterel technologies SA. Available from http:\/\/www.esterel-technologies.com\/technology\/gettingstarted\/, Apr. 2005."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01245300"},{"key":"e_1_3_2_1_14_1","volume-title":"Aerospace Vehicle Systems Institute Systems and Software Integration Verification Overview. AADL Safety and Security Modeling Meeting","author":"Chilenski J.","year":"2007","unstructured":"J. Chilenski . Aerospace Vehicle Systems Institute Systems and Software Integration Verification Overview. AADL Safety and Security Modeling Meeting , Nov. 2007 . J. Chilenski. Aerospace Vehicle Systems Institute Systems and Software Integration Verification Overview. AADL Safety and Security Modeling Meeting, Nov. 2007."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1082051.1082057"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.1002\/0470856343","volume-title":"Scheduling in Real Time Systems","author":"Cottet F.","year":"2002","unstructured":"F. Cottet , J. Delacroix , C. Kaiser , and Z. Mammeri . Scheduling in Real Time Systems . John Wiley and Sons Ltd editors, 2002 . F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in Real Time Systems. John Wiley and Sons Ltd editors, 2002."},{"key":"e_1_3_2_1_17_1","volume-title":"4th European Congress ERTS","author":"Delange J.","year":"2008","unstructured":"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 . 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."},{"key":"e_1_3_2_1_18_1","first-page":"53","volume-title":"Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS'08)","author":"Delange J.","year":"2008","unstructured":"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. 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."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the European Real Time System conference","author":"Dissaux P.","year":"2008","unstructured":"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 . 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."},{"key":"e_1_3_2_1_20_1","volume-title":"Modeling and Verification using UML StateCharts","author":"Drusinsky D.","year":"2006","unstructured":"D. Drusinsky . Modeling and Verification using UML StateCharts . Elsevier inc. editor, 2006 . D. Drusinsky. Modeling and Verification using UML StateCharts. Elsevier inc. editor, 2006."},{"key":"e_1_3_2_1_21_1","first-page":"195","volume-title":"ISTE Editor","author":"Farail P.","year":"2006","unstructured":"P. Farail , P. Gaufillet , A. Canals , C. L. Camus , D. Sciamma , P. Michel , X. Cregut , 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 . P. Farail, P. Gaufillet, A. Canals, C. L. Camus, D. Sciamma, P. Michel, X. Cregut, 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."},{"key":"e_1_3_2_1_22_1","volume-title":"The Architecture Analysis and Design Language (AADL): An Introduction. Technical report, 02","author":"Feiler P. H.","year":"2006","unstructured":"P. H. Feiler , D. P. Gluch , and J. J. Hudak . The Architecture Analysis and Design Language (AADL): An Introduction. Technical report, 02 2006 . P. H. Feiler, D. P. Gluch, and J. J. Hudak. The Architecture Analysis and Design Language (AADL): An Introduction. Technical report, 02 2006."},{"key":"e_1_3_2_1_23_1","volume-title":"Flow Latency Analysis with the Architecture Analysis and Design Language (AADL). Technical report","author":"Feiler P. H.","year":"2007","unstructured":"P. H. Feiler and J. Hansson . Flow Latency Analysis with the Architecture Analysis and Design Language (AADL). Technical report , Software Engineering Institute , 2007 . P. H. Feiler and J. Hansson. Flow Latency Analysis with the Architecture Analysis and Design Language (AADL). Technical report, Software Engineering Institute, 2007."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2007.41"},{"key":"e_1_3_2_1_25_1","volume-title":"Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966","author":"George L.","year":"1996","unstructured":"L. George , N. Rivierre , and M. Spuri . Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966 , 1996 . L. George, N. Rivierre, and M. Spuri. Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966, 1996."},{"key":"e_1_3_2_1_26_1","volume-title":"CMU\/SEI","author":"Hansson J.","year":"2008","unstructured":"J. Hansson and A. Greenhouse . Modeling and Validating Security and Confidentiality in System Architectures. Technical report , CMU\/SEI , 2008 . J. Hansson and A. Greenhouse. Modeling and Validating Security and Confidentiality in System Architectures. Technical report, CMU\/SEI, 2008."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/871910.871923"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376804.1376810"},{"key":"e_1_3_2_1_29_1","volume-title":"Part 1: Overview and fundamental principles","author":"ISO","year":"1994","unstructured":"ISO 10303-1. Part 1: Overview and fundamental principles , 1994 . ISO 10303-1. Part 1: Overview and fundamental principles, 1994."},{"key":"e_1_3_2_1_30_1","volume-title":"EXPRESS Language Reference Manual","author":"ISO","year":"2004","unstructured":"ISO 10303-11. Part 11 : edition 2 , EXPRESS Language Reference Manual , 2004 . ISO 10303-11. Part 11: edition 2, EXPRESS Language Reference Manual, 2004."},{"key":"e_1_3_2_1_31_1","volume-title":"BRICS RS-99-53","author":"Iversen T. K.","year":"1999","unstructured":"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 . 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."},{"key":"e_1_3_2_1_32_1","volume-title":"International Conference on Aerospace Science and Technology","author":"Kashi R. N.","year":"2008","unstructured":"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 . 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."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2004.1390800"},{"key":"e_1_3_2_1_34_1","first-page":"8","volume-title":"In Workshop on Compiler Support for System Software (WCSSS)","author":"Leone M.","year":"1996","unstructured":"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 . 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."},{"key":"e_1_3_2_1_35_1","volume-title":"A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115--118","author":"Leung J.","year":"1980","unstructured":"J. Leung and M. Merril . A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115--118 , 1980 . J. Leung and M. Merril. A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115--118, 1980."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_37_1","volume-title":"Journ\u00e9e Ada-France 2007","author":"Maes E.","year":"2007","unstructured":"E. Maes . Validation de syst\u00e8mes temps-r\u00e9el et embarqu\u00e9 \u00e0 partir d'un mod\u00e8le MARTE. Thales RT , Journ\u00e9e Ada-France 2007 , Brest , 2007 . E. Maes. Validation de syst\u00e8mes temps-r\u00e9el et embarqu\u00e9 \u00e0 partir d'un mod\u00e8le MARTE. Thales RT, Journ\u00e9e Ada-France 2007, Brest, 2007."},{"key":"e_1_3_2_1_38_1","unstructured":"J. McDermid. Software hazard and safety analysis 01 2004.  J. McDermid. Software hazard and safety analysis 01 2004."},{"key":"e_1_3_2_1_39_1","volume-title":"The Economic Impacts of Inadequate Infrastructure for Software Testing. Technical report","author":"National Institute of Standards and Technology (NIST).","year":"2002","unstructured":"National Institute of Standards and Technology (NIST). The Economic Impacts of Inadequate Infrastructure for Software Testing. Technical report , 2002 . National Institute of Standards and Technology (NIST). The Economic Impacts of Inadequate Infrastructure for Software Testing. Technical report, 2002."},{"key":"e_1_3_2_1_40_1","unstructured":"OARCorp. Rtems - http:\/\/www.rtems.com.  OARCorp. Rtems - http:\/\/www.rtems.com."},{"key":"e_1_3_2_1_41_1","volume-title":"AWCSET'98","author":"Plantec A.","year":"1998","unstructured":"A. Plantec and V. Ribaud . EUGENE: a STEP-based framework to build Application Generators . AWCSET'98 , CSIRO-Macquarie University , 1998 . A. Plantec and V. Ribaud. EUGENE: a STEP-based framework to build Application Generators. AWCSET'98, CSIRO-Macquarie University, 1998."},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of 4th European Congress ERTS","author":"Rugina A.-E.","year":"2008","unstructured":"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 . 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."},{"key":"e_1_3_2_1_43_1","unstructured":"SAE. Architecture Analysis&Design Language v2.0 (AS5506) September 2008.  SAE. Architecture Analysis&Design Language v2.0 (AS5506) September 2008."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315580.1315593"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68624-8_18"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176924"},{"key":"e_1_3_2_1_48_1","volume-title":"International Standard ISO\/IEC 8652\/1995(E) with Technical Corrigendum 1 and Amendment 1","author":"Taft S. T.","year":"2006","unstructured":"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 . 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."},{"key":"e_1_3_2_1_49_1","volume-title":"Prentice--Hall","author":"Tanenbaum A.","year":"2001","unstructured":"A. Tanenbaum . Modern Operating Systems . Prentice--Hall , 2001 . A. Tanenbaum. Modern Operating Systems. Prentice--Hall, 2001."},{"key":"e_1_3_2_1_50_1","unstructured":"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.  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."},{"key":"e_1_3_2_1_51_1","unstructured":"Tri-Pacific. Rapid-RMA : The Art of Modeling Real-Time Systems. http:\/\/www.tripac.com\/html\/prod-fact-rrm.html 2003.  Tri-Pacific. Rapid-RMA : The Art of Modeling Real-Time Systems. http:\/\/www.tripac.com\/html\/prod-fact-rrm.html 2003."},{"key":"e_1_3_2_1_52_1","volume-title":"version 1.27. Technical report","author":"Vestal S.","year":"1998","unstructured":"S. Vestal . Metah user's manual , version 1.27. Technical report , 1998 . S. Vestal. Metah user's manual, version 1.27. Technical report, 1998."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/354880.354882"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190095.1190171"},{"key":"e_1_3_2_1_55_1","unstructured":"B. Zalila J. Hugues and L. Pautet. Ocarina user guide. TELECOM ParisTech.  B. Zalila J. Hugues and L. Pautet. Ocarina user guide. TELECOM ParisTech."}],"event":{"name":"SIGAda '09: ACM SIGAda Annual International Conference","location":"Saint Petersburg Florida USA","acronym":"SIGAda '09","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the ACM SIGAda annual international conference on Ada and related technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1647420.1647435","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1647420.1647435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:41:05Z","timestamp":1750236065000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1647420.1647435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":54,"alternative-id":["10.1145\/1647420.1647435","10.1145\/1647420"],"URL":"https:\/\/doi.org\/10.1145\/1647420.1647435","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1653616.1647435","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,11]]},"assertion":[{"value":"2009-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}