{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:50Z","timestamp":1772164070813,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,18]],"date-time":"2014-10-18T00:00:00Z","timestamp":1413590400000},"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":[[2014,10,18]]},"DOI":"10.1145\/2663171.2663180","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T08:29:24Z","timestamp":1413275364000},"page":"39-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models"],"prefix":"10.1145","author":[{"given":"J\u00e9r\u00f4me","family":"Hugues","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Toulouse, ISAE, Toulouse, France"}]},{"given":"Christophe","family":"Garion","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Toulouse, ISAE, Toulouse, France"}]}],"member":"320","published-online":{"date-parts":[[2014,10,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Altran. SPARK 2014 Reference Manual. Technical report","author":"AdaCore","unstructured":"AdaCore and Altran. SPARK 2014 Reference Manual. Technical report , 2011-2014. AdaCore and Altran. SPARK 2014 Reference Manual. Technical report, 2011-2014."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"J. Barnes. Ada 2012 Rationale Chapter 1: Contracts and Aspects. Technical report 2014.  J. Barnes. Ada 2012 Rationale Chapter 1: Contracts and Aspects. Technical report 2014.","DOI":"10.1007\/978-3-642-45210-9"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_15"},{"key":"e_1_3_2_1_4_1","volume-title":"Guide for the use of the of the Ravenscar Profile in High Integrity Systems. Technical report","author":"Dobbing B.","year":"2003","unstructured":"B. Dobbing , A. Burns , and T. Vardanega . Guide for the use of the of the Ravenscar Profile in High Integrity Systems. Technical report , 2003 . B. Dobbing, A. Burns, and T. Vardanega. Guide for the use of the of the Ravenscar Profile in High Integrity Systems. Technical report, 2003."},{"key":"e_1_3_2_1_5_1","first-page":"125","volume-title":"MAST: Modeling and Analysis Suite for Real Time Applications. In 13th Euromicro Conference on Real-Time Systems","author":"Harbour M. Gonz\u00e1lez","year":"2001","unstructured":"M. Gonz\u00e1lez Harbour , J. Guti\u00e9rrez Garc\u00eda , J. Palencia Guti\u00e9rrez , and J. Drake Moyano . MAST: Modeling and Analysis Suite for Real Time Applications. In 13th Euromicro Conference on Real-Time Systems , pages 125 -- 134 . IEEE, 2001 . M. Gonz\u00e1lez Harbour, J. Guti\u00e9rrez Garc\u00eda, J. Palencia Guti\u00e9rrez, and J. Drake Moyano. MAST: Modeling and Analysis Suite for Real Time Applications. In 13th Euromicro Conference on Real-Time Systems, pages 125--134. IEEE, 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2011.44"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01924-1_17"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13464-7_5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2009.30"},{"key":"e_1_3_2_1_10_1","volume-title":"Technical report","author":"Architecture Analysis SAE.","year":"2009","unstructured":"SAE. Architecture Analysis and Design Language (AADL) AS-5506A. Technical report , The Engineering Society For Advancing Mobility Land Sea Air and Space , Aerospace Information Report, Version 2.0, January 2009 . SAE. Architecture Analysis and Design Language (AADL) AS-5506A. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 2.0, January 2009."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9072-y"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-45419-6","volume-title":"Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO\/IEC 8652\/2012 (E)","author":"Taft S. T.","year":"2013","unstructured":"S. T. Taft , R. A. Duff , R. Brukardt , E. Ploedereder , P. Leroy , and E. Schonberg . Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO\/IEC 8652\/2012 (E) , volume 8339 of Lecture Notes in Computer Science . Springer , 2013 . S. T. Taft, R. A. Duff, R. Brukardt, E. Ploedereder, P. Leroy, and E. Schonberg. Ada 2012 Reference Manual. Language and Standard Libraries - International Standard ISO\/IEC 8652\/2012 (E), volume 8339 of Lecture Notes in Computer Science. Springer, 2013."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24841-5_8"}],"event":{"name":"HILT '14: High Integrity Language Technology ACM SIGAda Annual Conference","location":"Portland Oregon USA","acronym":"HILT '14","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","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663180","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2663171.2663180","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:47Z","timestamp":1750212827000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2663171.2663180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,18]]},"references-count":13,"alternative-id":["10.1145\/2663171.2663180","10.1145\/2663171"],"URL":"https:\/\/doi.org\/10.1145\/2663171.2663180","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2692956.2663180","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,10,18]]},"assertion":[{"value":"2014-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}