{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:37:06Z","timestamp":1729618626382,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/seaa.2011.39","type":"proceedings-article","created":{"date-parts":[[2011,11,4]],"date-time":"2011-11-04T18:02:38Z","timestamp":1320429758000},"page":"200-208","source":"Crossref","is-referenced-by-count":6,"title":["Towards a Round-Trip Support for Model-Driven Engineering of Embedded Systems"],"prefix":"10.1109","author":[{"given":"Federico","family":"Ciccozzi","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Cicchetti","sequence":"additional","affiliation":[]},{"given":"Mikael","family":"Sjodin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"PRIDE The PROGRESS Integrated Development Environment","year":"2010","key":"ref33"},{"key":"ref32","article-title":"ProCom - the Progress Component Model Reference Manual","author":"bure\u0161","year":"2008","journal-title":"Technical Report MDH - MRTC- 230\/2008–1-SE"},{"key":"ref31","first-page":"310","article-title":"A Component Model for Control-Intensive Distributed Embedded Systems","author":"sentilles","year":"2008","journal-title":"Proc of CBSE"},{"journal-title":"Query\/View\/Transformation","year":"2008","key":"ref30"},{"journal-title":"Linux 2 6 9 Manual","year":"2006","key":"ref34"},{"journal-title":"Component and Model-Based Development Technology COMET","year":"2011","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2009.19"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.32"},{"key":"ref13","first-page":"36","article-title":"Parameterized reliability prediction for component-based software architectures","author":"brosch","year":"2010","journal-title":"QoSA"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553676"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.04.044"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775211"},{"journal-title":"UML Profile for Modeling QoS Fault Tolerance Characteristics and Mechanisms Specification","year":"2008","key":"ref17"},{"journal-title":"Uml Profile for Marte","year":"2009","key":"ref18"},{"year":"2007","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2011.5953681"},{"journal-title":"Model Driven Architecture","year":"2000","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336526"},{"key":"ref3","article-title":"Classification of model transformation approaches","author":"czarnecki","year":"2003","journal-title":"OOPSLA03 Workshop on Generative Techniques in the Context of Model-Driven Architecture"},{"journal-title":"Building Reliable Component-Based Software Systems","year":"2002","author":"crnkovic","key":"ref6"},{"journal-title":"The Art of Model Transformation with Operational QVT","year":"2009","author":"boyko","key":"ref29"},{"key":"ref5","first-page":"181","article-title":"Toward correctness in the specification and handling of nf attributes of high integrity real-time embedded systems","volume":"6","author":"cancila","year":"2010","journal-title":"IEEE T11"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.51"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.54"},{"key":"ref2","first-page":"286","article-title":"Model Driven Engineering","author":"kent","year":"0","journal-title":"Procs of IFM'02"},{"journal-title":"Rational Software Architect 8 0","year":"2011","key":"ref9"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","article-title":"On the Unification Power of Models","volume":"4","author":"bzivin","year":"2005","journal-title":"Software and System Modeling"},{"key":"ref20","article-title":"Investigating Back Annotation of Timing Information into Dataflow descriptions","author":"navabi","year":"0","journal-title":"Proceedings of VIUF'92"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.28"},{"key":"ref21","article-title":"Investigating Back Annotation of Timing Information into Dataflow descriptions","author":"mahadevan","year":"0","journal-title":"Proceedings of VTUF'95"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1814392.1814394"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73597-7_22"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72901-3_11"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0515"}],"event":{"name":"2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)","start":{"date-parts":[[2011,8,30]]},"location":"Oulu, Finland","end":{"date-parts":[[2011,9,2]]}},"container-title":["2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6068192\/6068309\/06068345.pdf?arnumber=6068345","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T05:11:18Z","timestamp":1497935478000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6068345\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/seaa.2011.39","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}