{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:09:50Z","timestamp":1725548990704},"reference-count":18,"publisher":"IEEE","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-20T20:50:22Z","timestamp":1311195022000},"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":"Bechennec","sequence":"first","affiliation":[]},{"given":"Mikael","family":"Briday","sequence":"additional","affiliation":[]},{"given":"Valere","family":"Alibert","sequence":"additional","affiliation":[]}],"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":[[2017,3,21]],"date-time":"2017-03-21T12:18:45Z","timestamp":1490098725000},"score":1,"resource":{"primary":{"URL":"http:\/\/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]]}}}