{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:35:03Z","timestamp":1759937703965},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5457130","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:33Z","timestamp":1361297793000},"page":"630-633","source":"Crossref","is-referenced-by-count":2,"title":["Assertion-based verification of RTOS properties"],"prefix":"10.1109","author":[{"given":"Marcio F S","family":"Oliveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henning","family":"Zabel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Mueller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Software synthesis for system-on-chip","year":"2005","author":"yu","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484673"},{"key":"ref12","article-title":"An integrated SystemC framework for real-time scheduling assessments on system level","author":"hastano","year":"2004","journal-title":"In RTSS’04 Proceedings of IEEE Int Real-Time Systems Symposium"},{"key":"ref13","article-title":"Assessment of real-time operating systems characteristics in embedded systems design by SystemC models of RTOS services","author":"huss","year":"2007","journal-title":"DVCon 07 Design and Verification Conference"},{"key":"ref14","article-title":"Abstrakte Modellierung von Hardware\/Software-Systemen unter Berusichtigung von RTOS-Funktionalitat","author":"muller","year":"2008","journal-title":"In MBMVS’08 Proceedings of the 11th Workshop of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-9725-1"},{"key":"ref16","article-title":"Automatic generation of fast timed simulation modles for operating systems In SoC Design","author":"yoo","year":"2002","journal-title":"Proc Design Automation and Test Europe"},{"key":"ref17","article-title":"A SystemC-based software and communication refinement framework for distributed embedded systems","author":"krause","year":"2006","journal-title":"13th Workshop on Synthesis and System Integration of Mixed Information Technologies"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1151074.1151079"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364575"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-9436-1_9"},{"key":"ref3","article-title":"A universal technique for fast and flexible instruction-set architecture simulation","author":"noh1","year":"2002","journal-title":"Proc Design and Automation Conference DAC"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6254-4_19"},{"year":"0","key":"ref5"},{"key":"ref8","article-title":"Operating system based software generation for systems-on-chip","author":"desmet","year":"2000","journal-title":"DAC-Design Automation Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS.2006.1708698"},{"key":"ref2","article-title":"Formal methods for system level performance analysis and optimization","author":"ernst","year":"2008","journal-title":"In DVCon’08 Design and Verification Conference"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008119029962"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253598"},{"journal-title":"IEEE IEEE standard SystemC language reference manual-IEEE Std 1666-2005","year":"2006","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2007.358016"},{"key":"ref21","article-title":"TLM interrupt modeling for HW\/SW co-simulation in SystemC","author":"quijano","year":"2006","journal-title":"DCIS’06 Proceedings of the XXI Conference on Design of Circuits and Integrated Systems"}],"event":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","start":{"date-parts":[[2010,3,8]]},"location":"Dresden","end":{"date-parts":[[2010,3,12]]}},"container-title":["2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5450668\/5456897\/05457130.pdf?arnumber=5457130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T19:25:26Z","timestamp":1489865126000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5457130\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5457130","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}