{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T13:58:16Z","timestamp":1762955896623,"version":"3.41.0"},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,5,10]],"date-time":"2018-05-10T00:00:00Z","timestamp":1525910400000},"content-version":"tdm","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":[[2018,7]]},"DOI":"10.1007\/s11241-018-9308-9","type":"journal-article","created":{"date-parts":[[2018,5,10]],"date-time":"2018-05-10T12:13:59Z","timestamp":1525954439000},"page":"745-795","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["An industrial view on the common academic understanding of mixed-criticality systems"],"prefix":"10.1007","volume":"54","author":[{"given":"Alexandre","family":"Esper","sequence":"first","affiliation":[]},{"given":"Geoffrey","family":"Nelissen","sequence":"additional","affiliation":[]},{"given":"Vincent","family":"N\u00e9lis","sequence":"additional","affiliation":[]},{"given":"Eduardo","family":"Tovar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,10]]},"reference":[{"key":"9308_CR1","doi-asserted-by":"crossref","unstructured":"Abella J, Hardy D, Puaut I, Quinones E, Cazorla F (2014) On the comparison of deterministic and probabilistic wcet estimation techniques. In: ECRTS, pp 266\u2013275","DOI":"10.1109\/ECRTS.2014.16"},{"issue":"2","key":"9308_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1023\/B:TIME.0000027934.77900.22","volume":"27","author":"L Abeni","year":"2004","unstructured":"Abeni L, Buttazzo G (2004) Resource reservation in dynamic real-time systems. Real Time Syst 27(2):123\u2013167","journal-title":"Real Time Syst"},{"key":"9308_CR3","doi-asserted-by":"publisher","unstructured":"Ahmed M, Fisher N, Grosu D (2012) A parallel algorithm for edf-schedulability analysis of multi-modal real-time systems. In: IEEE 18th international conference on embedded and real-time computing systems and applications (RTCSA), pp 154\u2013163. https:\/\/doi.org\/10.1109\/RTCSA.2012.49","DOI":"10.1109\/RTCSA.2012.49"},{"key":"9308_CR4","unstructured":"ARINC 700 series: Arinc (2015) http:\/\/store.aviation-ia.com\/cf\/store\/catalog.cfm?prod_group_id=1&category_group_id=4"},{"key":"9308_CR5","unstructured":"ARP4761 (1996) Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. SAE International, Warrendale"},{"key":"9308_CR6","unstructured":"ARP4761A (1996) Guidelines for development of civil aircraft and systems. SAE International, Warrendale"},{"issue":"2\u20133","key":"9308_CR7","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01094342","volume":"8","author":"NC Audsley","year":"1995","unstructured":"Audsley NC, Burns A, Davis RI, Tindell KW, Wellings AJ (1995) Fixed priority pre-emptive scheduling: an historical perspective. Real Time Syst 8(2\u20133):173\u2013198","journal-title":"Real Time Syst"},{"key":"9308_CR8","unstructured":"AUTOSAR (2011) Technical Overview, V2.2.2 R3.2 Rev 1. AUTOSAR"},{"key":"9308_CR9","unstructured":"AUTOSAR (2013) Requirements on operating system, V3.1.1 R4.1 Rev 2. AUTOSAR"},{"key":"9308_CR10","unstructured":"AUTOSAR (2015) Complex driver design and integration guideline, R4.2.2. AUTOSAR"},{"key":"9308_CR11","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen JP (2008) Principles of model checking, vol 26202649. MIT Press, Cambridge"},{"issue":"1","key":"9308_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF00365393","volume":"3","author":"TP Baker","year":"1991","unstructured":"Baker TP (1991) Stack-based scheduling of realtime processes. Real Time Syst 3(1):67\u201399","journal-title":"Real Time Syst"},{"key":"9308_CR13","doi-asserted-by":"crossref","unstructured":"Barringer H, Havelund K, Rydeheard D, Groce A (2009) Rule systems for runtime verification: a short tutorial. In: Runtime Verification, pp. 1\u201324. Springer, New York","DOI":"10.1007\/978-3-642-04694-0_1"},{"key":"9308_CR14","doi-asserted-by":"crossref","unstructured":"Baruah SK, Burns A, Davis RI (2011) Response-time analysis for mixed criticality systems. In: IEEE 32nd Real-time systems symposium (RTSS), pp. 34\u201343","DOI":"10.1109\/RTSS.2011.12"},{"key":"9308_CR15","doi-asserted-by":"crossref","unstructured":"Behnam M, Shin I, Nolte T, Nolin M (2007) Sirap: a synchronization protocol for hierarchical resource sharingin real-time open systems. In: Proceedings of the 7th ACM & IEEE international conference on Embedded software, pp 279\u2013288. ACM","DOI":"10.1145\/1289927.1289970"},{"key":"9308_CR16","doi-asserted-by":"crossref","unstructured":"Behnam M, Shin I, Nolte T, Nolin M (2008) Scheduling of semi-independent real-time components: Overrun methods and resource holding times. In: IEEE international conference on emerging technologies and factory automation (ETFA 2008), pp 575\u2013582","DOI":"10.1109\/ETFA.2008.4638456"},{"issue":"1","key":"9308_CR17","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/TII.2009.2037918","volume":"6","author":"M Behnam","year":"2010","unstructured":"Behnam M, Nolte T, Sj\u00f6din M, Shin I (2010) Overrun methods and resource holding times for hierarchical scheduling of semi-independent real-time systems. IEEE Trans Ind Inform 6(1):93\u2013104","journal-title":"IEEE Trans Ind Inform"},{"issue":"3","key":"9308_CR18","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1109\/TII.2009.2026051","volume":"5","author":"M Bertogna","year":"2009","unstructured":"Bertogna M, Fisher N, Baruah S (2009) Resource-sharing servers for open environments. IEEE Trans Ind Inform 5(3):202\u2013219","journal-title":"IEEE Trans Ind Inform"},{"key":"9308_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive theorem proving and program development: CoqArt: the calculus of inductive constructions","author":"Y Bertot","year":"2004","unstructured":"Bertot Y, Cast\u00e9ran P (2004) Interactive theorem proving and program development: CoqArt: the calculus of inductive constructions. Springer, New York"},{"key":"9308_CR20","unstructured":"Biondi A, Buttazzo G, Bertogna M (2013) Schedulability analysis of hierarchical real-time systems under shared resources. Technical Report TR-13-01"},{"key":"9308_CR21","doi-asserted-by":"crossref","unstructured":"Block A, Leontyev H, Brandenburg BB, Anderson JH (2007) A flexible real-time locking protocol for multiprocessors. In: 13th IEEE international conference on embedded and real-time computing systems and applications (RTCSA 2007), pp 47\u201356","DOI":"10.1109\/RTCSA.2007.8"},{"key":"9308_CR22","doi-asserted-by":"crossref","unstructured":"Brandenburg BB (2014) A synchronous ipc protocol for predictable access to shared resources in mixed-criticality systems. In IEEE real-time systems symposium (RTSS), pp 196\u2013206","DOI":"10.1109\/RTSS.2014.37"},{"key":"9308_CR23","unstructured":"Burns A (2014) System mode changes-general and criticality-based. In: Proceedings of 2nd workshop on mixed criticality systems (WMC), pp 3\u20138"},{"key":"9308_CR24","unstructured":"Burns A, Davis R (2013) Mixed criticality systems-a review. Department of Computer Science, University of York, Tech. Rep"},{"key":"9308_CR25","doi-asserted-by":"crossref","unstructured":"Buttazzo GC, Lipari G, Abeni L (1998) Elastic task model for adaptive rate control. In: IEEE proceedings of the 19th real-time systems symposium, pp 286\u2013295","DOI":"10.1109\/REAL.1998.739754"},{"issue":"1","key":"9308_CR26","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1015342318358","volume":"23","author":"G Buttazzo","year":"2002","unstructured":"Buttazzo G, Abeni L (2002) Adaptive workload management through elastic scheduling. Real Time Syst 23(1):7\u201324","journal-title":"Real Time Syst"},{"issue":"3","key":"9308_CR27","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1109\/12.990127","volume":"51","author":"GC Buttazzo","year":"2002","unstructured":"Buttazzo GC, Lipari G, Caccamo M, Abeni L (2002) Elastic scheduling for flexible workload management. IEEE Trans Comput 51(3):289\u2013302","journal-title":"IEEE Trans Comput"},{"key":"9308_CR28","unstructured":"Checconi F, Cucinotta T, Faggioli D, Lipari G (2009) Hierarchical multiprocessor cpu reservations for the linux kernel. In: Proceedings of the 5th international workshop on operating systems platforms for embedded real-time applications (OSPERT 2009), Dublin, Ireland, pp 15\u201322"},{"key":"9308_CR29","doi-asserted-by":"crossref","unstructured":"Chen F, Ro\u015fu G (2007) Mop: an efficient and generic runtime verification framework. In: ACM SIGPLAN Notices, vol.\u00a042, pp. 569\u2013588. ACM","DOI":"10.1145\/1297105.1297069"},{"key":"9308_CR30","unstructured":"Chen CM, Tripathi SK (1994) Multiprocessor priority ceiling based protocols. Tech. rep, College Park, MD, USA"},{"key":"9308_CR31","doi-asserted-by":"crossref","unstructured":"Chisholm M, Ward BC, Kim N, Anderson JH (2015) Cache sharing and isolation tradeoffs in multicore mixed-criticality systems. In: IEEE real-time systems symposium, pp 305\u2013316","DOI":"10.1109\/RTSS.2015.36"},{"key":"9308_CR32","doi-asserted-by":"crossref","unstructured":"Chisholm M, Kim N, Ward BC, Otterness N, Anderson JH, Smith FD (2016) Reconciling the tension between hardware isolation and data sharing in mixed-criticality, multicore systems. In: IEEE real-time systems symposium (RTSS), pp 57\u201368","DOI":"10.1109\/RTSS.2016.015"},{"key":"9308_CR33","doi-asserted-by":"crossref","unstructured":"Chodrow SE, Jahanian F, Donner M (1991) Run-time monitoring of real-time systems. In: IEEE proceedings of the 12th real-time systems symposium (RTSS 1991), pp 74\u201383","DOI":"10.1109\/REAL.1991.160360"},{"key":"9308_CR34","doi-asserted-by":"crossref","unstructured":"d\u2019Amorim M, Havelund K (2005) Event-based runtime verification of java programs. In: ACM SIGSOFT software engineering notes, vol.\u00a030, pp. 1\u20137. ACM","DOI":"10.1145\/1082983.1083249"},{"key":"9308_CR35","doi-asserted-by":"crossref","unstructured":"Davis RI, Burns A (2005) Hierarchical fixed priority pre-emptive scheduling. In: 26th IEEE international real-time systems symposium (RTSS), pp 10\u2013pp","DOI":"10.1109\/RTSS.2006.42"},{"key":"9308_CR36","unstructured":"Davis RI, Burns A (2006) Resource sharing in hierarchical fixed priority pre-emptive systems. In: 27th IEEE international real-time systems symposium (RTSS\u201906), pp 257\u2013270"},{"key":"9308_CR37","first-page":"118","volume":"2","author":"R Davis","year":"2014","unstructured":"Davis R, Vardanega T, Alexanderson J, Francis V, Mark P, Ian B, Mikel AA, Wartel F, Cucu-Grosjean L, Mathieu P, Glenn F, Cazorla FJ (2014) PROXIMA: a probabilistic approach to the timing behaviour of mixed-criticality systems. Ada User J 2:118\u2013122","journal-title":"Ada User J"},{"key":"9308_CR38","doi-asserted-by":"crossref","unstructured":"Devi UC, Leontyev H, Anderson JH (2006) Efficient synchronization under global EDF scheduling on multiprocessors. In: IEEE 18th Euromicro conference on real-time systems, pp 10","DOI":"10.1109\/ECRTS.2006.10"},{"key":"9308_CR39","unstructured":"Diniz N, Rufino J (2005) Arinc 653 in space dasia 2005, eurospace, edinburgh, scotland"},{"key":"9308_CR40","unstructured":"DO-178C (2011) Software considerations in airborne systems and equipment certification. RTCA, Inc"},{"key":"9308_CR41","doi-asserted-by":"crossref","unstructured":"Easwaran A, Andersson B (2009) Resource sharing in global fixed-priority preemptive multiprocessor scheduling. In: 30th IEEE real-time systems symposium (RTSS 2009), pp 377\u2013386","DOI":"10.1109\/RTSS.2009.37"},{"key":"9308_CR42","unstructured":"ECSS-Q-HB-80-03A (2009) Space product assurance\u2014software dependability and safety. European Cooperation for Space Standardization"},{"key":"9308_CR43","unstructured":"ECSS-Q-ST-40C (2009) Space product assurance\u2014dependability. European Cooperation for Space Standardization"},{"key":"9308_CR44","unstructured":"ECSS-Q-ST-40C (2009) Space product assurance\u2013safety. European Cooperation for Space Standardization"},{"key":"9308_CR45","unstructured":"ECSS-Q-ST-80C (2009) Software product assurance. European Cooperation for Space Standardization"},{"key":"9308_CR46","unstructured":"EN 50128 (2009) Railway applications communication, signalling and processing systems software for railway control and protection systems. CENELEC"},{"issue":"5","key":"9308_CR47","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/MDAT.2016.2594790","volume":"33","author":"R Ernst","year":"2016","unstructured":"Ernst R, Di Natale M (2016) Mixed criticality systems-a history of misconceptions? IEEE Des Test 33(5):65\u201374","journal-title":"IEEE Des Test"},{"key":"9308_CR48","doi-asserted-by":"crossref","unstructured":"Faggioli D, Lipari G, Cucinotta T (2010) The multiprocessor bandwidth inheritance protocol. In: IEEE 22nd Euromicro conference on real-time systems (ECRTS), pp. 90\u201399","DOI":"10.1109\/ECRTS.2010.19"},{"key":"9308_CR49","doi-asserted-by":"crossref","unstructured":"Gai P, Lipari G, Di\u00a0Natale M (2001) Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip. In: 22nd IEEE proceedings real-time systems symposium (RTSS), pp 73\u201383","DOI":"10.1109\/REAL.2001.990598"},{"key":"9308_CR50","doi-asserted-by":"publisher","unstructured":"Goossens J, Richard P (2013) Partitioned scheduling of multimode multiprocessor real-time systems with temporal isolation. In: Proceedings of the 21st international conference on real-time networks and systems (RTNS \u201913), pp 297\u2013305. ACM, New York. https:\/\/doi.org\/10.1145\/2516821.2516822","DOI":"10.1145\/2516821.2516822"},{"key":"9308_CR51","doi-asserted-by":"publisher","unstructured":"Hang Y, Hansson H (2012) Timing analysis for mode switch in component-based multi-mode systems. In: 24th Euromicro conference on real-time systems (ECRTS), pp. 255\u2013264. https:\/\/doi.org\/10.1109\/ECRTS.2012.23","DOI":"10.1109\/ECRTS.2012.23"},{"key":"9308_CR52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68524-1_3","volume-title":"Runtime verification of C programs","author":"K Havelund","year":"2008","unstructured":"Havelund K (2008) Runtime verification of C programs. Springer, New York"},{"key":"9308_CR53","unstructured":"IEC61508 (2010) Functional safety of electrical\/electronic\/programmable electronic safety-related systems. IEC"},{"key":"9308_CR54","doi-asserted-by":"crossref","unstructured":"Inam R, Mahmud N, Behnam M, Nolte T, Sj\u00f6din M (2014) The multi-resource server for predictable execution on multi-core platforms. In: IEEE 20th real-time and embedded technology and applications symposium (RTAS), pp 1\u201310","DOI":"10.1109\/RTAS.2014.6925986"},{"key":"9308_CR55","unstructured":"ISO26262 (2011) Road vehicles\u2014functional safety. ISO"},{"issue":"4","key":"9308_CR56","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S1571-0661(04)80579-6","volume":"70","author":"M Kim","year":"2002","unstructured":"Kim M, Lee I, Sammapun U, Shin J, Sokolsky O (2002) Monitoring, checking, and steering of real-time systems. Electron Notes Theor Comput Sci 70(4):95\u2013111","journal-title":"Electron Notes Theor Comput Sci"},{"key":"9308_CR57","unstructured":"Kim J, Lakshmanan K, Rajkumar RR (2012) Rhythmic tasks: a new task model with continually varying periods for cyber-physical systems. In: The 2012 IEEE\/ACM third international conference on cyber-physical systems, pp 55\u201364"},{"key":"9308_CR58","doi-asserted-by":"crossref","unstructured":"Kim N, Ward BC, Chisholm M, Fu CY, Anderson JH, Smith FD (2016) Attacking the one-out-of-m multicore problem by combining hardware management with mixed-criticality provisioning. In: IEEE real-time and embedded technology and applications symposium (RTAS), pp 1\u201312","DOI":"10.1109\/RTAS.2016.7461323"},{"key":"9308_CR59","doi-asserted-by":"crossref","unstructured":"Lakshmanan K, de\u00a0Niz D, Rajkumar R (2009) Coordinated task scheduling, allocation and synchronization on multiprocessors. In: 30th IEEE real-time systems symposium (RTSS 2009), pp 469\u2013478","DOI":"10.1109\/RTSS.2009.51"},{"key":"9308_CR60","doi-asserted-by":"publisher","unstructured":"Lee J, Shin KG (2013) Schedulability analysis for a mode transition in real-time multi-core systems. In: IEEE 34th real-time systems symposium (RTSS), pp 11\u201320. https:\/\/doi.org\/10.1109\/RTSS.2013.10","DOI":"10.1109\/RTSS.2013.10"},{"issue":"5","key":"9308_CR61","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker M, Schallhart C (2009) A brief account of runtime verification. J Logic Algebr Program 78(5):293\u2013303","journal-title":"J Logic Algebr Program"},{"issue":"2","key":"9308_CR62","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/EMC-2005-00019","volume":"1","author":"G Lipari","year":"2005","unstructured":"Lipari G, Bini E (2005) A methodology for designing hierarchical scheduling systems. J Embed Comput 1(2):257\u2013269","journal-title":"J Embed Comput"},{"issue":"1","key":"9308_CR63","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1023\/B:TIME.0000033378.56741.14","volume":"28","author":"JM L\u00f3pez","year":"2004","unstructured":"L\u00f3pez JM, D\u00edaz JL, Garc\u00eda DF (2004) Utilization bounds for edf scheduling on real-time multiprocessor systems. Real Time Syst 28(1):39\u201368","journal-title":"Real Time Syst"},{"key":"9308_CR64","doi-asserted-by":"crossref","unstructured":"Luo Q, Zhang Y, Lee C, Jin D, Meredith PO, \u015eerb\u0103nu\u0163\u0103 TF, Ro\u015fu G (2014) Rv-monitor: efficient parametric runtime verification with simultaneous properties. In: Runtime verification, pp 285\u2013300. Springer, New York","DOI":"10.1007\/978-3-319-11164-3_24"},{"key":"9308_CR65","doi-asserted-by":"crossref","unstructured":"Nelis V, Andersson B, Marinho J, Petters SM (2011) Global-edf scheduling of multimode real-time systems considering mode independent tasks. In: 23rd Euromicro conference on real-time systems (ECRTS), pp 205\u2013214","DOI":"10.1109\/ECRTS.2011.27"},{"key":"9308_CR66","doi-asserted-by":"crossref","unstructured":"Nelissen G, Pereira D, Pinho LM (2015) A novel run-time monitoring architecture for safe and efficient inline monitoring. In: Reliable software technologies\u2013Ada-Europe 2015, pp 66\u201382. Springer, New York","DOI":"10.1007\/978-3-319-19584-1_5"},{"key":"9308_CR67","doi-asserted-by":"publisher","unstructured":"Phan LTX, Lee I, Sokolsky O (2010) Compositional analysis of multi-mode systems. In: 22nd Euromicro conference on real-time systems (ECRTS), pp 197\u2013206. https:\/\/doi.org\/10.1109\/ECRTS.2010.35","DOI":"10.1109\/ECRTS.2010.35"},{"issue":"5","key":"9308_CR68","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/s11241-015-9232-1","volume":"51","author":"W Puffitsch","year":"2015","unstructured":"Puffitsch W, Noulard E, Pagetti C (2015) Off-line mapping of multi-rate dependent task sets to many-core platforms. Real Time Syst 51(5):526\u2013565","journal-title":"Real Time Syst"},{"key":"9308_CR69","doi-asserted-by":"crossref","unstructured":"Rajkumar R (1990) Real-time synchronization protocols for shared memory multiprocessors. In: IEEE 10th international conference on proceedings distributed computing systems, pp 116\u2013123","DOI":"10.1109\/ICDCS.1990.89257"},{"key":"9308_CR70","doi-asserted-by":"crossref","unstructured":"Rajkumar R, Sha L, Lehoczky JP (1988) Real-time synchronization protocols for multiprocessors. In: RTSS, pp 259\u2013269","DOI":"10.1109\/REAL.1988.51121"},{"key":"9308_CR71","doi-asserted-by":"publisher","unstructured":"Rattanatamrong P, Fortes JAB (2011) Mode transition for online scheduling of adaptive real-time systems on multiprocessors. In: IEEE 17th international conference on embedded and real-time computing systems and applications (RTCSA), vol\u00a01, pp 25\u201332. https:\/\/doi.org\/10.1109\/RTCSA.2011.71","DOI":"10.1109\/RTCSA.2011.71"},{"key":"9308_CR72","unstructured":"RIAC-HDBK-217Plus (2006) Handbook of 217Plus reliability prediction models. RIAC"},{"key":"9308_CR73","doi-asserted-by":"crossref","unstructured":"Sammapun U, Lee I, Sokolsky O (2005) Rt-mac: Runtime monitoring and checking of quantitative and probabilistic properties. In: 11th IEEE international conference on embedded and real-time computing systems and applications, pp 147\u2013153","DOI":"10.1109\/RTCSA.2005.84"},{"key":"9308_CR74","doi-asserted-by":"crossref","unstructured":"Santy F, Raravi G, Nelissen G, Nelis V, Kumar P, Goossens J, Tovar E (2013) Two protocols to reduce the criticality level of multiprocessor mixed-criticality systems. In: RTNS, pp 183\u2013192. ACM","DOI":"10.1145\/2516821.2516834"},{"issue":"9","key":"9308_CR75","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L Sha","year":"1990","unstructured":"Sha L, Rajkumar R, Lehoczky JP (1990) Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans Comput 39(9):1175\u20131185","journal-title":"IEEE Trans Comput"},{"key":"9308_CR76","doi-asserted-by":"crossref","unstructured":"Vestal S (2007) Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: IEEE RTSS, pp 239\u2013243","DOI":"10.1109\/RTSS.2007.47"},{"key":"9308_CR77","doi-asserted-by":"crossref","unstructured":"Watkins CB, Walter R (2007) Transitioning from federated avionics architectures to integrated modular avionics. In: IEEE DASC\u201907, pp 2-A","DOI":"10.1109\/DASC.2007.4391842"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11241-018-9308-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-018-9308-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11241-018-9308-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T12:22:13Z","timestamp":1751631733000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11241-018-9308-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,10]]},"references-count":77,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["9308"],"URL":"https:\/\/doi.org\/10.1007\/s11241-018-9308-9","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"type":"print","value":"0922-6443"},{"type":"electronic","value":"1573-1383"}],"subject":[],"published":{"date-parts":[[2018,5,10]]},"assertion":[{"value":"10 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}