{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T09:07:55Z","timestamp":1772788075190,"version":"3.50.1"},"reference-count":9,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[2017,1]]},"abstract":"<jats:p> Integration of safety-critical tasks with different certification requirements onto a common hardware platform has become a growing tendency in the design of real-time and embedded systems. In the past decade, great efforts have been made to develop techniques for handling uncertainties in task worst-case execution time, quality-of-service, and schedulability of mixed-criticality systems. However, few works take fault-tolerance as a design requirement. In this paper, we address the scheduling of fault-tolerant mixed-criticality systems to ensure the safety of tasks at different levels of criticalities in the presence of transient faults. We adopt task re-execution as the fault-tolerant technique. Extensive simulations were performed to validate the effectiveness of our algorithm. Simulation results show that our algorithm results in up to [Formula: see text] and [Formula: see text] improvement in system reliability and schedule feasibility as compared to existing techniques, which contributes to a more safe system. <\/jats:p>","DOI":"10.1142\/s0218126617500165","type":"journal-article","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T05:40:15Z","timestamp":1472449215000},"page":"1750016","source":"Crossref","is-referenced-by-count":38,"title":["Fault-Tolerant Task Scheduling for Mixed-Criticality Real-Time Systems"],"prefix":"10.1142","volume":"26","author":[{"given":"Junlong","family":"Zhou","sequence":"first","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200241, P. R. China"}]},{"given":"Min","family":"Yin","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200241, P. R. China"}]},{"given":"Zhifang","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200241, P. R. China"}]},{"given":"Kun","family":"Cao","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200241, P. R. China"}]},{"given":"Jianming","family":"Yan","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200241, P. R. China"}]},{"given":"Tongquan","family":"Wei","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200241, P. R. China"}]},{"given":"Mingsong","family":"Chen","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200241, P. R. China"}]},{"given":"Xin","family":"Fu","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Houston, Houston, TX 77204-4005, USA"}]}],"member":"219","published-online":{"date-parts":[[2016,10,4]]},"reference":[{"key":"S0218126617500165BIB005","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-010-9107-4"},{"key":"S0218126617500165BIB012","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2015.2444402"},{"key":"S0218126617500165BIB014","doi-asserted-by":"publisher","DOI":"10.1145\/2442087.2442094"},{"key":"S0218126617500165BIB015","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852657"},{"key":"S0218126617500165BIB016","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.12.009"},{"key":"S0218126617500165BIB018","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-014-9202-z"},{"key":"S0218126617500165BIB019","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.226"},{"key":"S0218126617500165BIB024","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.42"},{"key":"S0218126617500165BIB026","doi-asserted-by":"publisher","DOI":"10.1145\/1037187.1024420"}],"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218126617500165","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T15:01:54Z","timestamp":1565103714000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218126617500165"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,4]]},"references-count":9,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2016,10,4]]},"published-print":{"date-parts":[[2017,1]]}},"alternative-id":["10.1142\/S0218126617500165"],"URL":"https:\/\/doi.org\/10.1142\/s0218126617500165","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"value":"0218-1266","type":"print"},{"value":"1793-6454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,4]]}}}