{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:08:59Z","timestamp":1765231739754,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/aiccsa.2008.4493674","type":"proceedings-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T17:37:07Z","timestamp":1209404227000},"page":"1032-1039","source":"Crossref","is-referenced-by-count":8,"title":["Development guidelines for dependable real-time embedded systems"],"prefix":"10.1109","author":[{"given":"Michael","family":"Short","sequence":"first","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/32.241774"},{"key":"17","first-page":"87","volume":"563","author":"kopetz","year":"1991","journal-title":"Event-Triggered Versus Time-Triggered Real-Time Systems Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1109\/EMRTS.1999.777460"},{"key":"15","first-page":"235","article-title":"comparison of event-triggered and time-triggered concepts with regard to distributed control systems","author":"albert","year":"2004","journal-title":"Proceedings of Embedded World"},{"year":"1998","author":"bate","article-title":"scheduling and timing analysis for safety critical real-time systems","key":"16"},{"year":"0","key":"13"},{"year":"1997","author":"buttazo","journal-title":"Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications","key":"14"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/MCS.2002.1035218"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/TII.2007.898477"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/TII.2008.916053"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1109\/REAL.1991.160366"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1023\/A:1008198310125"},{"key":"23","doi-asserted-by":"crossref","DOI":"10.1109\/ECRTS.2008.14","article-title":"exploring the influence of preemption on dependability in time-triggered embedded systems: a preliminary study","author":"short","year":"2008","journal-title":"20th Euromicro Conference on Real-time Systems (ECRTS"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1016\/j.sysarc.2005.05.004"},{"key":"25","article-title":"assessment of high-integrity embedded automotive control systems using hardware-in-the-loop techniques","author":"short","year":"2007","journal-title":"Journal of Systems and Software"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1109\/32.210303"},{"key":"27","doi-asserted-by":"crossref","DOI":"10.1016\/S0065-2458(03)58003-2","article-title":"bounded model checking","volume":"58","author":"biere","year":"2003","journal-title":"Advances in Computers"},{"year":"0","key":"28"},{"doi-asserted-by":"publisher","key":"29","DOI":"10.1109\/12.238482"},{"year":"1994","journal-title":"Motor Industry Software Reliability Report","article-title":"development guidelines for vehicle-based software","key":"3"},{"year":"0","key":"2"},{"year":"1991","author":"bosch","journal-title":"Specification","key":"10"},{"key":"1","first-page":"2\/1","article-title":"from memory to monitor-pixel display architectures","author":"storey","year":"1992","journal-title":"Computer Graphics Systems IEE Colloquium on"},{"year":"2000","article-title":"functional safety of electrical\/electronic\/programmable electronic safety-related systems, part 3","key":"7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/MC.2006.212"},{"year":"0","key":"5"},{"year":"2004","journal-title":"Guidelines for the use of the C language in vehicle based software Motor Industry Software Reliability Report","key":"4"},{"year":"2001","author":"pont","journal-title":"Patterns for Time-Triggered Embedded Systems Building Reliable Applications with the 8051 Family of Microcontrollers","key":"9"},{"year":"1993","author":"maguire","journal-title":"Writing solid code","key":"8"}],"event":{"name":"2008 IEEE\/ACS International Conference on Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2008,3,31]]},"location":"Doha, Qatar","end":{"date-parts":[[2008,4,4]]}},"container-title":["2008 IEEE\/ACS International Conference on Computer Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4488216\/4493499\/04493674.pdf?arnumber=4493674","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T07:30:59Z","timestamp":1497771059000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4493674\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2008.4493674","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}