{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:27:41Z","timestamp":1730276861087,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/isvdat.2016.8064856","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T20:40:08Z","timestamp":1507840808000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of scheduler automata guaranteeing stability and reliability of embedded control systems"],"prefix":"10.1109","author":[{"given":"Saurav Kumar","family":"Ghosh","sequence":"first","affiliation":[]},{"given":"Akash","family":"Mondal","sequence":"additional","affiliation":[]},{"given":"Souradeep","family":"Dutta","sequence":"additional","affiliation":[]},{"given":"Aritra","family":"Hazra","sequence":"additional","affiliation":[]},{"given":"Soumyajit","family":"Dey","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"1","article-title":"Handling Fault Detection Latencies in Automata-based Scheduling for Embedded Control Software","author":"prabhum","year":"2013","journal-title":"IEEE International Symposium on Computer-Aided Control System Design (CACSD) under IEEE Multi-Conference on Systems and Control (MSC)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2013.2250479"},{"journal-title":"Reliability and Risk Issues in Large Scale Safety-Critical Digital Control Systems","year":"2008","author":"seong","key":"ref10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0017-8"},{"journal-title":"Computer-controlled systems theory and design Courier Corporation","year":"2013","author":"\u00e5str\u00f6m","key":"ref11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1999.831330"},{"key":"ref8","volume":"396","author":"rausand","year":"2004","journal-title":"System reliability theory Models statistical methods and applications"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1201\/9781420087444"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.13"},{"journal-title":"Norwegian University of Science and Technology","article-title":"Reliability and S. Studies, Reliability Data Sources","year":"0","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_46"}],"event":{"name":"2016 20th International Symposium on VLSI Design and Test (VDAT)","start":{"date-parts":[[2016,5,24]]},"location":"Guwahati, India","end":{"date-parts":[[2016,5,27]]}},"container-title":["2016 20th International Symposium on VLSI Design and Test (VDAT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8059694\/8064831\/08064856.pdf?arnumber=8064856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,28]],"date-time":"2017-10-28T03:28:46Z","timestamp":1509161326000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8064856\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/isvdat.2016.8064856","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}