{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:58:27Z","timestamp":1729663107803,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/rsp.2013.6683959","type":"proceedings-article","created":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T17:52:49Z","timestamp":1388771569000},"page":"59-65","source":"Crossref","is-referenced-by-count":2,"title":["Enforcing software engineering tools interoperability: An example with AADL subsets"],"prefix":"10.1109","author":[{"given":"Vincent","family":"Gaudel","sequence":"first","affiliation":[]},{"given":"Alain","family":"Plantec","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Singhoff","sequence":"additional","affiliation":[]},{"given":"Jerome","family":"Hugues","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Dissaux","sequence":"additional","affiliation":[]},{"given":"Jerome","family":"Legrand","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The Cheddar Aadl Property Sets (Release 2 X)","year":"0","author":"singhoff","key":"19"},{"year":"0","key":"22"},{"key":"17","article-title":"Bless: Formal specification and verification of behaviors for embedded systems with software","author":"larson","year":"0","journal-title":"NASA Formal Methods Symposium SNFM 2013 (N R G Brat and A Venet Eds ) 7871 of Lecture Notes in Computer Science"},{"key":"23","first-page":"261","article-title":"PLATYPUS: A step-based integration framework","author":"plantec","year":"2006","journal-title":"14th Interdisciplinary Information Management Talks (IDIMT-2006) (Republique Tcheque)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2070336.2070359"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934015"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BFb0055011","article-title":"The Ravenscar tasking profile for high integrity real-time programs","author":"burns","year":"1998","journal-title":"Reliable Software TechnologiesAda-Europe"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1647420.1647435"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.51"},{"key":"12","article-title":"Model engineering support for tool interoperability","volume":"2","author":"bezivin","year":"2005","journal-title":"Proceedings of the 4th Workshop in Software Model Engineering (WiSME 2005) Montego Bay Jamaica"},{"year":"0","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/s00287-010-0506-7"},{"year":"0","key":"20"},{"journal-title":"MARTE Specification","year":"2005","key":"2"},{"key":"1","article-title":"The SAE AADL standard: A basis for model-based architecture-driven embedded systems engineering","author":"feiler","year":"2003","journal-title":"Workshop on Model-Driven Embedded Systems"},{"key":"10","first-page":"47","article-title":"Acme: Architectural description of component-based systems","volume":"68","author":"garlan","year":"2000","journal-title":"Foundations of Component-Based Systems"},{"key":"7","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/1376804.1376810","article-title":"From the prototype to the final embedded system using the ocarina aadl tool suite","volume":"7","author":"hugues","year":"2008","journal-title":"ACM Transactions on Embedded Computing Systems (TECS)"},{"key":"6","article-title":"Analytic virtual integration of cyber-physical systems &aadl: Challenges, threats and opportunities","author":"hugues","year":"2011","journal-title":"Proceedings of the Second Analytic Virtual Integration of Cyber-Physical Systems Workshop"},{"journal-title":"Stood and Cheddar Aadl As A Pivot Language for Analysing Performances of Real Time Architectures","year":"2008","author":"dissaux","key":"5"},{"journal-title":"OSATE Plug-in Development Guide","year":"2006","author":"feiler","key":"4"},{"journal-title":"Embedded System Architecture Analysis Using Sae Aadl","year":"2004","author":"feiler","key":"9"},{"key":"8","first-page":"67","article-title":"Design patterns for rule-based refinement of safety critical embedded systems models","author":"cadoret","year":"2012","journal-title":"Engineering of Complex Computer Systems (ICECCS) 2012 17th International Conference on"}],"event":{"name":"2013 International Symposium on Rapid System Prototyping (RSP)","start":{"date-parts":[[2013,10,3]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 International Symposium on Rapid System Prototyping (RSP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6676470\/6683946\/06683959.pdf?arnumber=6683959","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,13]],"date-time":"2020-08-13T09:21:59Z","timestamp":1597310519000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6683959\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/rsp.2013.6683959","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}