{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,30]],"date-time":"2025-11-30T22:31:38Z","timestamp":1764541898685,"version":"3.41.0"},"reference-count":17,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2017,4,11]],"date-time":"2017-04-11T00:00:00Z","timestamp":1491868800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"TATA Consultancy Services (TCS) Research Fellowship Program"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2017,8,31]]},"abstract":"<jats:p>Safety-critical real-time systems must meet stringent timing and fault-tolerance requirements. This article proposes a methodology for synthesizing an optimal preemptive multiprocessor aperiodic task scheduler using a formal supervisory control framework. The scheduler can tolerate single\/multiple permanent processor faults. Further, the synthesis framework has been empowered with a novel BDD-based symbolic computation mechanism to control the exponential state-space complexity of the optimal exhaustive enumeration-oriented synthesis methodology.<\/jats:p>","DOI":"10.1145\/3012278","type":"journal-article","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T12:05:49Z","timestamp":1491998749000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Fault-Tolerant Preemptive Aperiodic RT Scheduling by Supervisory Control of TDES on Multiprocessors"],"prefix":"10.1145","volume":"16","author":[{"given":"Rajesh","family":"Devaraj","sequence":"first","affiliation":[{"name":"Indian Institute of Technology Guwahati, Assam, India,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnab","family":"Sarkar","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Guwahati, Assam, India,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santosh","family":"Biswas","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Guwahati, Assam, India,"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,4,11]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_2_2_1_1","DOI":"10.1109\/TC.2007.70789"},{"doi-asserted-by":"publisher","key":"e_1_2_2_2_1","DOI":"10.1016\/0167-6911(90)90004-E"},{"doi-asserted-by":"publisher","key":"e_1_2_2_3_1","DOI":"10.1109\/TC.1986.1676819"},{"doi-asserted-by":"publisher","key":"e_1_2_2_4_1","DOI":"10.1007\/978-1-4614-0676-1"},{"doi-asserted-by":"publisher","key":"e_1_2_2_5_1","DOI":"10.1023\/A:1020207328508"},{"doi-asserted-by":"publisher","key":"e_1_2_2_6_1","DOI":"10.1080\/00207179.2015.1039592"},{"doi-asserted-by":"publisher","key":"e_1_2_2_7_1","DOI":"10.1109\/71.584093"},{"doi-asserted-by":"publisher","key":"e_1_2_2_8_1","DOI":"10.1145\/2345770.2345773"},{"doi-asserted-by":"publisher","key":"e_1_2_2_9_1","DOI":"10.5555\/1735661.1735669"},{"doi-asserted-by":"publisher","key":"e_1_2_2_10_1","DOI":"10.1109\/TAC.2006.876806"},{"key":"e_1_2_2_11_1","volume-title":"Murray","author":"Kandasamy Nagarajan","year":"2005","unstructured":"Nagarajan Kandasamy , John P. Hayes , and Brian T . Murray . 2005 . Dependable communication synthesis for distributed embedded systems. Reliability Engineering 8 System Safety 89, 1, 81--92. Nagarajan Kandasamy, John P. Hayes, and Brian T. Murray. 2005. Dependable communication synthesis for distributed embedded systems. Reliability Engineering 8 System Safety 89, 1, 81--92."},{"doi-asserted-by":"publisher","key":"e_1_2_2_12_1","DOI":"10.1109\/EMRTS.1999.777472"},{"doi-asserted-by":"publisher","key":"e_1_2_2_13_1","DOI":"10.1109\/12.869322"},{"doi-asserted-by":"publisher","key":"e_1_2_2_14_1","DOI":"10.1109\/TCST.2011.2167150"},{"doi-asserted-by":"publisher","key":"e_1_2_2_15_1","DOI":"10.1080\/00207170802047425"},{"doi-asserted-by":"publisher","key":"e_1_2_2_16_1","DOI":"10.1109\/32.601081"},{"key":"e_1_2_2_17_1","volume-title":"CUDD: CU decision diagram package release 3.0.0.","author":"Somenzi Fabio","year":"2015","unstructured":"Fabio Somenzi . 2015 . CUDD: CU decision diagram package release 3.0.0. Fabio Somenzi. 2015. CUDD: CU decision diagram package release 3.0.0."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3012278","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3012278","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:54:47Z","timestamp":1750222487000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3012278"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,11]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,8,31]]}},"alternative-id":["10.1145\/3012278"],"URL":"https:\/\/doi.org\/10.1145\/3012278","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2017,4,11]]},"assertion":[{"value":"2016-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}