{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:15:40Z","timestamp":1757610940900,"version":"3.44.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2011,6,1]],"date-time":"2011-06-01T00:00:00Z","timestamp":1306886400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2011,6,1]],"date-time":"2011-06-01T00:00:00Z","timestamp":1306886400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sies.2011.5953665","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T16:50:22Z","timestamp":1311180622000},"page":"223-231","source":"Crossref","is-referenced-by-count":2,"title":["Extending Harmless architecture description language for embedded real-time systems validation"],"prefix":"10.1109","author":[{"given":"Jean-Luc","family":"B\u00e9chennec","sequence":"first","affiliation":[{"name":"IRCCyN, 1, rue de la Noë BP 92101, 44321 Nantes Cedex 3, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mika\u00ebl","family":"Briday","sequence":"additional","affiliation":[{"name":"IRCCyN, 1, rue de la Noë BP 92101, 44321 Nantes Cedex 3, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Val\u00e8re","family":"Alibert","sequence":"additional","affiliation":[{"name":"INSA Rennes, DB011 - 20 Avenue des Buttes de Coësmes, CS70839, 35708 Rennes Cedex 7, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/2.982917"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/54.679207"},{"key":"ref12","article-title":"An integrated hardware-software cosimulation environment with automated interface generation","author":"kim","year":"0","journal-title":"7th IEEE International Workshop on Rapid System Prototyping (RSP '96)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/307418.307549"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2002.994928"},{"key":"ref15","article-title":"Cycle accurate simulator generation using harmless","author":"kassem","year":"2009","journal-title":"International Middle Eastern Multiconference on Simulation and Modelling (MESM'09)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019795414875"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008696026254"},{"key":"ref18","article-title":"Trampoline - an opensource implementation of the osek\/vdx rtos specification","author":"b\u00e9chennec","year":"0","journal-title":"11th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2006)"},{"key":"ref4","first-page":"242","article-title":"A generic simulator of real-time scheduling algorithms","author":"devroey","year":"0","journal-title":"Proceedings of the 29th Annual Simulation Symposium"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612693"},{"key":"ref6","article-title":"An integrated systemc framework for real-time scheduling assesments on system level","author":"hastono","year":"0","journal-title":"25th IEEE International Real-Time Systems Symposium (RTSS 2004"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1032297.1032298"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-9725-1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641179"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2009.5643"},{"journal-title":"Processor Description Languages","year":"2008","author":"mishra","key":"ref1"},{"journal-title":"Ptolemy A Framework for Simulating and Prototyping Heterogeneous Systems","year":"2002","author":"buck","key":"ref9"}],"event":{"name":"2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2011,6,15]]},"location":"Vasteras, Sweden","end":{"date-parts":[[2011,6,17]]}},"container-title":["2011 6th IEEE International Symposium on Industrial and Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5937480\/5953643\/05953665.pdf?arnumber=5953665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T17:50:15Z","timestamp":1756921815000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5953665\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/sies.2011.5953665","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}