{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:44Z","timestamp":1750307924686,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,5,13]],"date-time":"2008-05-13T00:00:00Z","timestamp":1210636800000},"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":[[2008,5,13]]},"DOI":"10.1145\/1370062.1370078","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:36:48Z","timestamp":1210876608000},"page":"55-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems"],"prefix":"10.1145","author":[{"given":"Huascar","family":"Espinoza","sequence":"first","affiliation":[{"name":"CEA LIST, Gif sur Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Servat","sequence":"additional","affiliation":[{"name":"CEA LIST, Gif sur Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[{"name":"CEA LIST, Gif sur Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,5,13]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"245","volume-title":"Drake: MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems. Proc. of the 22th IEEE Real-Time Systems Symposium","author":"Medina J. L.","year":"2001","unstructured":"J. L. Medina , M. G. Harbour , and J. M. Drake: MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems. Proc. of the 22th IEEE Real-Time Systems Symposium , pp. 245 -- 256 . December 2001 . J. L. Medina, M. G. Harbour, and J. M. Drake: MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems. Proc. of the 22th IEEE Real-Time Systems Symposium, pp. 245--256. December 2001."},{"key":"e_1_3_2_1_2_1","first-page":"189","volume-title":"Rabaey: UML for Real: Design of Embedded Real-Time Systems","author":"Chen R.","year":"2003","unstructured":"R. Chen , M. Sgroi , G. Martin , L. Lavagno , A. L. Sangiovanni-Vincentelli , J. Rabaey: UML for Real: Design of Embedded Real-Time Systems , Edited by B. Selic, L. Lavagno, G. Martin, pp. 189 -- 270 , Kluwer Academic Publishers , May 2003 . R. Chen, M. Sgroi, G. Martin, L. Lavagno, A. L. Sangiovanni-Vincentelli, J. Rabaey: UML for Real: Design of Embedded Real-Time Systems, Edited by B. Selic, L. Lavagno, G. Martin, pp. 189--270, Kluwer Academic Publishers, May 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/s10009-005-0213-x"},{"key":"e_1_3_2_1_4_1","volume-title":"International Telecommunication Union Recommendation Z.100","author":"Union I. T.","year":"1992","unstructured":"I. T. Union , \" Specification and Description Language\" , International Telecommunication Union Recommendation Z.100 , 1992 . I. T. Union, \"Specification and Description Language\", International Telecommunication Union Recommendation Z.100, 1992."},{"key":"e_1_3_2_1_5_1","first-page":"43","volume-title":"Rationale of the UML Profile for MARTE (Book Chapter). From MDD Concepts to Experiments and Illustrations","author":"G\u00e9rard S.","year":"2006","unstructured":"S. G\u00e9rard , H. Espinoza . Rationale of the UML Profile for MARTE (Book Chapter). From MDD Concepts to Experiments and Illustrations , pp. 43 -- 52 Sept 2006 . S. G\u00e9rard, H. Espinoza. Rationale of the UML Profile for MARTE (Book Chapter). From MDD Concepts to Experiments and Illustrations, pp. 43--52 Sept 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1109\/ISORC.2006.54"},{"key":"e_1_3_2_1_7_1","volume-title":"Version 1.1.","author":"Object Management Group","year":"2005","unstructured":"Object Management Group , \" UML Profile for Schedulability , Performance, and Time \", Version 1.1. 2005 . OMG document: formal\/05-01-02. Object Management Group, \"UML Profile for Schedulability, Performance, and Time\", Version 1.1. 2005. OMG document: formal\/05-01-02."},{"unstructured":"Object Management Group. Unified Modelling Language: Superstructure Version 2.1.1 formal\/2007-02-03.  Object Management Group. Unified Modelling Language: Superstructure Version 2.1.1 formal\/2007-02-03.","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/11663430_9"},{"key":"e_1_3_2_1_10_1","volume-title":"UML Profile for Modelling and Analysis of Real-Time and Embedded systems (MARTE)","author":"Object Management Group","year":"2005","unstructured":"Object Management Group : UML Profile for Modelling and Analysis of Real-Time and Embedded systems (MARTE) , Initial Submission : ProMARTE team. 2005 Object Management Group: UML Profile for Modelling and Analysis of Real-Time and Embedded systems (MARTE), Initial Submission: ProMARTE team. 2005"},{"key":"e_1_3_2_1_11_1","volume-title":"V 1.0","author":"Object Management Group","year":"2007","unstructured":"Object Management Group : Systems Modeling Language (SysML) Specification , V 1.0 , 2007 . Object Management Group: Systems Modeling Language (SysML) Specification, V 1.0, 2007."},{"key":"e_1_3_2_1_12_1","volume-title":"Eidgen\u00f6ssische Technische Hochschule ETH Z\u00fcrich","author":"K\u00fcnzli S.","year":"2006","unstructured":"S. K\u00fcnzli , \"Efficient design space exploration for embedded systems\", PhD Thesis , Eidgen\u00f6ssische Technische Hochschule ETH Z\u00fcrich , April 2006 . S. K\u00fcnzli, \"Efficient design space exploration for embedded systems\", PhD Thesis, Eidgen\u00f6ssische Technische Hochschule ETH Z\u00fcrich, April 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1176760.1176806"},{"key":"e_1_3_2_1_14_1","volume-title":"FRANCE.","author":"Espinoza H.","year":"2007","unstructured":"H. Espinoza , \" An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems\", Ph D Thesis , University of Evry , FRANCE. September 2007 . H. Espinoza, \"An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems\", PhD Thesis, University of Evry, FRANCE. September 2007."},{"key":"e_1_3_2_1_15_1","first-page":"319","volume-title":"Proc. 1st International Conference on the Unified Modeling Language (\u00abUML\u00bb' 98)","volume":"1998","author":"Lanusse A.","unstructured":"A. Lanusse , S. Gerard , and F. Terrier , Real-Time Modeling with UML: The ACCORD Approach , Proc. 1st International Conference on the Unified Modeling Language (\u00abUML\u00bb' 98) , Springer (LNCS vol. 1618), 1998 (pp. 319 -- 335 ). A. Lanusse, S. Gerard, and F. Terrier, Real-Time Modeling with UML: The ACCORD Approach, Proc. 1st International Conference on the Unified Modeling Language (\u00abUML\u00bb' 98), Springer (LNCS vol. 1618), 1998 (pp.319--335)."},{"doi-asserted-by":"crossref","unstructured":"F. Bachmann L. Bass and M. Klein. Illuminating the fundamental contributors to Software Architecture Quality. CMU\/SEI-2002-TR-025  F. Bachmann L. Bass and M. Klein. Illuminating the fundamental contributors to Software Architecture Quality. CMU\/SEI-2002-TR-025","key":"e_1_3_2_1_16_1","DOI":"10.21236\/ADA407778"},{"key":"e_1_3_2_1_17_1","volume-title":"Modelica Conference 2008","author":"Johnson T.","year":"2008","unstructured":"T. Johnson , C. Paredis , R. Burkhart , \" Integrating Models and Simulations of Continuous Dynamics into SysML\" , in Modelica Conference 2008 , Jan 2008 . T. Johnson, C. Paredis, R. Burkhart, \"Integrating Models and Simulations of Continuous Dynamics into SysML\", in Modelica Conference 2008, Jan 2008."}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ICSE '08","name":"ICSE '08: International Conference on Software Engineering","location":"Leipzig Germany"},"container-title":["Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370062.1370078","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1370062.1370078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:44Z","timestamp":1750258304000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370062.1370078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,13]]},"references-count":17,"alternative-id":["10.1145\/1370062.1370078","10.1145\/1370062"],"URL":"https:\/\/doi.org\/10.1145\/1370062.1370078","relation":{},"subject":[],"published":{"date-parts":[[2008,5,13]]},"assertion":[{"value":"2008-05-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}