{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:50:13Z","timestamp":1740124213798,"version":"3.37.3"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,1,18]],"date-time":"2017-01-18T00:00:00Z","timestamp":1484697600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1007\/s11241-017-9267-6","type":"journal-article","created":{"date-parts":[[2017,1,18]],"date-time":"2017-01-18T15:28:19Z","timestamp":1484753299000},"page":"467-525","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling"],"prefix":"10.1007","volume":"53","author":[{"given":"Yecheng","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1162-759X","authenticated-orcid":false,"given":"Haibo","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,18]]},"reference":[{"key":"9267_CR1","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"N Audsley","year":"1993","unstructured":"Audsley N, Burns A, Richardson M, Tindell K, Wellings AJ (1993) Applying new scheduling theory to static priority pre-emptive scheduling. Softw Eng J 8:284\u2013292","journal-title":"Softw Eng J"},{"issue":"3","key":"9267_CR2","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s11241-013-9197-x","volume":"50","author":"S Baruah","year":"2014","unstructured":"Baruah S (2014) Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms. Real-Time Syst 50(3):317\u2013341","journal-title":"Real-Time Syst"},{"key":"9267_CR3","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-642-21338-0_13","volume-title":"Reliable software technologies-Ada-Europe 2011","author":"S Baruah","year":"2011","unstructured":"Baruah S, Burns A (2011) Implementing mixed criticality systems in Ada. In: Romanovsky A, Vardanega T (eds) Reliable software technologies-Ada-Europe 2011. Springer, Berlin, pp 174\u2013188"},{"key":"9267_CR4","doi-asserted-by":"crossref","unstructured":"Baruah S,\u00a0Burns A,\u00a0Davis R (2011) Response-time analysis for mixed criticality systems. In: 32nd IEEE real-time systems symposium","DOI":"10.1109\/RTSS.2011.12"},{"issue":"1","key":"9267_CR5","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1021711220939","volume":"24","author":"SK Baruah","year":"2003","unstructured":"Baruah SK (2003) Dynamic- and static-priority scheduling of recurring real-time tasks. Real-Time Syst 24(1):93\u2013128","journal-title":"Real-Time Syst"},{"key":"9267_CR6","unstructured":"Bastoni A,\u00a0Brandenburg B,\u00a0Anderson J (2010) Cache-related preemption and migration delays: empirical approximation and impact on schedulability. In: 6th workshop on operating systems platforms for embedded real-time applications, pp 33\u201344"},{"issue":"1","key":"9267_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3390\/electronics2010001","volume":"2","author":"K Bazaka","year":"2012","unstructured":"Bazaka K, Jacob MV (2012) Implantable devices: issues and challenges. Electronics 2(1):1\u201334","journal-title":"Electronics"},{"issue":"11","key":"9267_CR8","doi-asserted-by":"crossref","first-page":"1462","DOI":"10.1109\/TC.2004.103","volume":"53","author":"E Bini","year":"2004","unstructured":"Bini E, Buttazzo GC (2004) Schedulability analysis of periodic fixed priority systems. IEEE Trans Comput 53(11):1462\u20131473","journal-title":"IEEE Trans Comput"},{"key":"9267_CR9","doi-asserted-by":"crossref","unstructured":"Burns A,\u00a0Davis R (2014) Adaptive mixed criticality scheduling with deferred preemption. In: IEEE Real-time systems symposium","DOI":"10.1109\/RTSS.2014.12"},{"key":"9267_CR10","unstructured":"Burns A, Davis R (2015) Mixed criticality systems: a review. Technical report, Department of Computer Science, University of York"},{"key":"9267_CR11","doi-asserted-by":"crossref","unstructured":"Chakraborty S (2012) Keynote talk: challenges in automotive cyber-physical systems design. In: 25th International conference on VLSI design (VLSID). IEEE, pp 9\u201310","DOI":"10.1109\/VLSID.2012.27"},{"key":"9267_CR12","doi-asserted-by":"crossref","unstructured":"Cho Y,\u00a0Kim Y,\u00a0Joo Y,\u00a0Lee K, and\u00a0Chang N (2008) Simultaneous optimization of battery-aware voltage regulator scheduling with dynamic voltage and frequency scaling. In: ACM\/IEEE international symposium on low power electronics and design, pp 309\u2013314","DOI":"10.1145\/1393921.1394005"},{"issue":"9","key":"9267_CR13","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.1109\/TC.2008.66","volume":"57","author":"R Davis","year":"2008","unstructured":"Davis R, Zabos A, Burns A (2008) Efficient exact schedulability tests for fixed priority real-time systems. IEEE Trans Comput 57(9):1261\u20131276","journal-title":"IEEE Trans Comput"},{"key":"9267_CR14","doi-asserted-by":"crossref","unstructured":"Davis RI,\u00a0Burns A (2009) Priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. In: Proceedings of the 2009 30th IEEE real-time systems symposium, RTSS \u201909, pp 398\u2013409","DOI":"10.1109\/RTSS.2009.31"},{"key":"9267_CR15","doi-asserted-by":"crossref","unstructured":"De\u00a0Niz D,\u00a0Lakshmanan K,\u00a0Rajkumar R (2009) On the scheduling of mixed-criticality real-time task sets. In: 30th IEEE real-time systems symposium, pp 291\u2013300","DOI":"10.1109\/RTSS.2009.46"},{"key":"9267_CR16","doi-asserted-by":"crossref","unstructured":"Deng P,\u00a0Zhu Q,\u00a0Cremona F,\u00a0Di\u00a0Natale M, and\u00a0Zeng H (2015) A model-based synthesis flow for automotive cps. In: ACM\/IEEE international conference on cyber-physical systems","DOI":"10.1145\/2735960.2735972"},{"issue":"4","key":"9267_CR17","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1109\/TII.2010.2072511","volume":"6","author":"M Natale Di","year":"2010","unstructured":"Di Natale M, Guo L, Zeng H, Sangiovanni-Vincentelli A (2010) Synthesis of multi-task implementations of simulink models with minimum delays. IEEE Trans Ind Inform 6(4):637\u2013651","journal-title":"IEEE Trans Ind Inform"},{"key":"9267_CR18","doi-asserted-by":"crossref","unstructured":"Dick RP, Rhodes DL,\u00a0Wolf W (1998) TGFF: task graphs for free. In: 6th international workshop on Hardware\/software codesign","DOI":"10.1145\/278241.278309"},{"key":"9267_CR19","unstructured":"Fleming T,\u00a0Burns A (2013) Extending mixed criticality scheduling. In: Workshop on mixed criticality systems (WMC)"},{"key":"9267_CR20","doi-asserted-by":"crossref","unstructured":"Goodenough JB,\u00a0Sha L (1988) The priority ceiling protocol: a method for minimizing the blocking of high priority ada tasks. Ada Lett VIII(7):20\u201331","DOI":"10.1145\/58612.59371"},{"issue":"4s","key":"9267_CR21","first-page":"126","volume":"13","author":"H-M Huang","year":"2014","unstructured":"Huang H-M, Gill C, Lu C (2014) Implementation and evaluation of mixed-criticality scheduling approaches for sporadic tasks. ACM Trans Embed Comput Syst 13(4s):126","journal-title":"ACM Trans Embed Comput Syst"},{"key":"9267_CR22","unstructured":"International Business Machines Corporation (2016) CPLEX optimizer. http:\/\/www.ibm.com\/software\/commerce\/optimization\/cplex-optimizer\/ . Accessed Feb 2016"},{"key":"9267_CR23","unstructured":"International Electrotechnical Commission (2016) IEC 62304:2006 medical device software\u2014software life cycle processes. https:\/\/webstore.iec.ch\/publication\/6792 . Accessed Feb 2016"},{"key":"9267_CR24","unstructured":"International Standardization Organization (2016) ISO 26262-1:2011(en) Road vehicles\u2014functional safety\u2014part 1: vocabulary. https:\/\/www.iso.org\/obp\/ui\/#iso:std:iso:26262:-1:ed-1:v1:en . Accessed Feb 2016"},{"key":"9267_CR25","doi-asserted-by":"crossref","unstructured":"Kelly O,\u00a0Aydin H,\u00a0Zhao B (2011) On partitioned scheduling of fixed-priority mixed-criticality task sets. In: IEEE 10th international conference on trust, security and privacy in computing and communications (TrustCom), pp 1051\u20131059","DOI":"10.1109\/TrustCom.2011.144"},{"key":"9267_CR26","unstructured":"Kramer S,\u00a0Ziegenbein D,\u00a0Hamann A (2015) Real world automotive benchmarks for free. In: International workshop on analysis tools and methodologies for embedded and real-time systems (WATERS)"},{"key":"9267_CR27","unstructured":"Lehoczky J,\u00a0Sha L,\u00a0Ding Y (1989) The rate monotonic scheduling algorithm: exact characterization and average case behavior. In: 10th IEEE real-time systems symposium"},{"key":"9267_CR28","unstructured":"MathWorks. The MathWorks simulink and stateflow user\u2019s manuals. http:\/\/www.mathworks.com"},{"issue":"S1","key":"9267_CR29","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1287\/opre.40.1.S109","volume":"40","author":"M Oral","year":"1992","unstructured":"Oral M, Kettani O (1992) A linearization procedure for quadratic and cubic mixed-integer problems. Oper Res 40(S1):109\u2013116","journal-title":"Oper Res"},{"key":"9267_CR30","doi-asserted-by":"crossref","unstructured":"Vestal S (2007) Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: 28th IEEE real-time systems symposium","DOI":"10.1109\/RTSS.2007.47"},{"key":"9267_CR31","unstructured":"Wikipedia. Floor and ceiling functions. https:\/\/en.wikipedia.org\/wiki\/Floor_and_ceiling_functions . Accessed Feb 2016"},{"issue":"4","key":"9267_CR32","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1109\/TC.2012.21","volume":"62","author":"H Zeng","year":"2013","unstructured":"Zeng H, Di Natale M (2013) An efficient formulation of the real-time feasibility region for design optimization. IEEE Trans Comput 62(4):644\u2013661","journal-title":"IEEE Trans Comput"},{"issue":"C","key":"9267_CR33","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.sysarc.2016.01.008","volume":"66","author":"Q Zhao","year":"2016","unstructured":"Zhao Q, Gu Z, Yao M, Zeng H (2016) HLC-PCP: a resource synchronization protocol for mixed criticality systems. J Syst Archit 66(C):84\u201399","journal-title":"J Syst Archit"},{"key":"9267_CR34","doi-asserted-by":"crossref","unstructured":"Zhao Q, Gu Z, Zeng H (2013) PT-AMC: Integrating Preemption Thresholds into Mixed-Criticality Scheduling. In: Proceedings of the design, automation & test in Europe conference & exhibition (DATE \u201913)","DOI":"10.7873\/DATE.2013.042"},{"issue":"1","key":"9267_CR35","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/LES.2013.2273352","volume":"6","author":"Q Zhao","year":"2014","unstructured":"Zhao Q, Gu Z, Zeng H (2014) HLC-PCP: a resource synchronization protocol for certifiable mixed criticality scheduling. IEEE Embed Syst Lett 6(1):8\u201311","journal-title":"IEEE Embed Syst Lett"},{"key":"9267_CR36","unstructured":"Zhao Q,\u00a0Gu Z,\u00a0Zeng H (to appear) Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling. J Syst Archit"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-017-9267-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-017-9267-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-017-9267-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,22]],"date-time":"2022-07-22T00:49:20Z","timestamp":1658450960000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-017-9267-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,18]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["9267"],"URL":"https:\/\/doi.org\/10.1007\/s11241-017-9267-6","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2017,1,18]]}}}