{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T01:46:49Z","timestamp":1768009609244,"version":"3.49.0"},"reference-count":28,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004965","name":"Sixth Framework Programme","doi-asserted-by":"publisher","award":["IST-004033 (ASSERT)"],"award-info":[{"award-number":["IST-004033 (ASSERT)"]}],"id":[{"id":"10.13039\/501100004965","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2008,7]]},"abstract":"<jats:p>\n            Building distributed deal-time embedded systems requires a stringent methodology, from early requirement capture to full implementation. However, there is a strong link between the requirements and the final implementation (e.g., scheduling and resource dimensioning). Therefore, a rapid prototyping process based on automation of tedious and error-prone tasks (analysis and code generation) is required to speed up the development cycle. In this article, we show how the AADL (\n            <jats:italic>Architecture Analysis and Design Language<\/jats:italic>\n            ), which appeared in late 2004, helps solve these issues thanks to a dedicated tool suite. We then detail the prototyping process and its current implementation: Ocarina.\n          <\/jats:p>","DOI":"10.1145\/1376804.1376810","type":"journal-article","created":{"date-parts":[[2008,8,5]],"date-time":"2008-08-05T13:35:10Z","timestamp":1217943310000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":78,"title":["From the prototype to the final embedded system using the Ocarina AADL tool suite"],"prefix":"10.1145","volume":"7","author":[{"given":"Jerome","family":"Hugues","sequence":"first","affiliation":[{"name":"GET-T\u00e9l\u00e9com Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bechir","family":"Zalila","sequence":"additional","affiliation":[{"name":"GET-T\u00e9l\u00e9com Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[{"name":"GET-T\u00e9l\u00e9com Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Pierre &amp; Marie Curie"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,8]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.9"},{"key":"e_1_2_1_2_1","unstructured":"Buschmann F. Meunier R. Rohnert H. Sommerlad P. and Stal M. 1996. Pattern-Oriented Software Architecture: A System of Patterns. Wiley New York.   Buschmann F. Meunier R. Rohnert H. Sommerlad P. and Stal M. 1996. Pattern-Oriented Software Architecture: A System of Patterns. Wiley New York."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.25"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646579.697613"},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Dobbing B. Burns A. and Vardanega T. 2003. Guide for the use of the of the Ravenscar profile in high integrity systems. Tech. rep. University of York.  Dobbing B. Burns A. and Vardanega T. 2003. Guide for the use of the of the Ravenscar profile in high integrity systems. Tech. rep. University of York.","DOI":"10.1145\/997119.997120"},{"key":"e_1_2_1_6_1","unstructured":"ECSS. 2003. Space engineering. SpaceWire\u2014Links nodes routers and networks. Standard ECSS-E-50-12A.  ECSS. 2003. Space engineering. SpaceWire\u2014Links nodes routers and networks. Standard ECSS-E-50-12A."},{"key":"e_1_2_1_7_1","unstructured":"Ellidiss-Software. 2007. STOOD. http:\/\/www.ellidiss.com\/stood.shtml.  Ellidiss-Software. 2007. STOOD. http:\/\/www.ellidiss.com\/stood.shtml."},{"key":"e_1_2_1_8_1","volume-title":"Ocarina: An AADL model processing suite","author":"ENST.","year":"2006","unstructured":"ENST. 2006 . Ocarina: An AADL model processing suite . http:\/\/ocarina.enst.fr. ENST. 2006. Ocarina: An AADL model processing suite. http:\/\/ocarina.enst.fr."},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Feiler P. H. Gluch D. P. and Hudak J. J. 2006. The architecture analysis &amp; design language (AADL): An introduction. Tech. rep. CMU\/SEI-2006-TN-011.  Feiler P. H. Gluch D. P. and Hudak J. J. 2006. The architecture analysis &amp; design language (AADL): An introduction. Tech. rep. CMU\/SEI-2006-TN-011.","DOI":"10.21236\/ADA455842"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183088.1183092"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2005.60"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.15"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.062"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of RTSS-WiP'06","author":"Hugues J.","unstructured":"Hugues , J. , Zalila , B. , and Pautet , L . 2006. Middleware and tool suite for high integrity systems . In Proceedings of RTSS-WiP'06 . Rio de Janeiro, Brazil. IEEE, Los Alamitos, CA. Hugues, J., Zalila, B., and Pautet, L. 2006. Middleware and tool suite for high integrity systems. In Proceedings of RTSS-WiP'06. Rio de Janeiro, Brazil. IEEE, Los Alamitos, CA."},{"key":"e_1_2_1_15_1","volume-title":"3","year":"2006","unstructured":"ISO\/IEC 8652:2007(E) Ed. 3 . 2006 . Annotated Ada 2005 language reference manual. Tech . rep. ISO\/IEC 8652:2007(E) Ed. 3. 2006. Annotated Ada 2005 language reference manual. Tech. rep."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1033222"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/253671.253754"},{"key":"e_1_2_1_18_1","unstructured":"MoVe-Team. 2007. The CPN-AMI home page. http:\/\/www.lip6.fr\/cpn-ami.  MoVe-Team. 2007. The CPN-AMI home page. http:\/\/www.lip6.fr\/cpn-ami."},{"key":"e_1_2_1_19_1","unstructured":"OMG. 2001. Model Driven Architecture (MDA) Document number ormsc\/2001-07-01. Tech. rep. OMG.  OMG. 2001. Model Driven Architecture (MDA) Document number ormsc\/2001-07-01. Tech. rep. OMG."},{"key":"e_1_2_1_20_1","unstructured":"OMG. 2004. Data distribution service for real-time systems specification version 1.0. OMG. OMG Technical Document.  OMG. 2004. Data distribution service for real-time systems specification version 1.0. OMG. OMG Technical Document."},{"key":"e_1_2_1_21_1","volume-title":"Architecture Analysis &amp","unstructured":"SAE. 2004. Architecture Analysis &amp ; Design Language (AS 5506). http:\/\/www.sae.org. SAE. 2004. Architecture Analysis &amp; Design Language (AS5506). http:\/\/www.sae.org."},{"key":"e_1_2_1_22_1","unstructured":"SAE. 2005. Language compliance and application program interface. SAE. The AADL Specification Document Annex D.  SAE. 2005. Language compliance and application program interface. SAE. The AADL Specification Document Annex D."},{"key":"e_1_2_1_23_1","unstructured":"SAE. 2006. Open source AADL tool environment. Tech. rep. SAE.  SAE. 2006. Open source AADL tool environment. Tech. rep. SAE."},{"key":"e_1_2_1_24_1","unstructured":"Schmidt D. Stal M. Rohnert H. and Buschmann F. 2000. Pattern-Oriented Software Architecture\u2014Volume 2: Patterns for Concurrent and Networked Objects. Wiley New York.   Schmidt D. Stal M. Rohnert H. and Buschmann F. 2000. Pattern-Oriented Software Architecture\u2014Volume 2: Patterns for Concurrent and Networked Objects. Wiley New York."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0140-3664(97)00165-5"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1046191.1032298"},{"key":"e_1_2_1_27_1","volume-title":"Holistic schedulability analysis for distributed hard real-time systems. Tech. rep","author":"Tindell K.","unstructured":"Tindell , K. 1993. Holistic schedulability analysis for distributed hard real-time systems. Tech. rep ., University of York. Tindell, K. 1993. Holistic schedulability analysis for distributed hard real-time systems. Tech. rep., University of York."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24841-5_8"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376804.1376810","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1376804.1376810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:55Z","timestamp":1750255075000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376804.1376810"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["10.1145\/1376804.1376810"],"URL":"https:\/\/doi.org\/10.1145\/1376804.1376810","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7]]},"assertion":[{"value":"2007-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2007-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-08-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}