{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:46:56Z","timestamp":1764784016935,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,4]],"date-time":"2017-10-04T00:00:00Z","timestamp":1507075200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union","award":["621429"],"award-info":[{"award-number":["621429"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,4]]},"DOI":"10.1145\/3139258.3139274","type":"proceedings-article","created":{"date-parts":[[2017,11,8]],"date-time":"2017-11-08T13:20:39Z","timestamp":1510147239000},"page":"227-236","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Supporting low-latency, low-criticality tasks in a certified mixed-criticality OS"],"prefix":"10.1145","author":[{"given":"Manohar","family":"Vanga","sequence":"first","affiliation":[{"name":"MPI-SWS"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Bastoni","sequence":"additional","affiliation":[{"name":"SYSGO AG"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Theiling","sequence":"additional","affiliation":[{"name":"SYSGO AG"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn B.","family":"Brandenburg","sequence":"additional","affiliation":[{"name":"MPI-SWS"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/827270.829047"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017772"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.12"},{"key":"e_1_3_2_1_4_1","volume-title":"OSPERT","author":"Brandenburg B","year":"2007","unstructured":"B Brandenburg and J Anderson . 2007 . Feather-Trace: A lightweight event tracing toolkit . In OSPERT 2007. B Brandenburg and J Anderson. 2007. Feather-Trace: A lightweight event tracing toolkit. In OSPERT 2007."},{"key":"e_1_3_2_1_5_1","volume-title":"Mixed criticality systems---a review","author":"Burns Alan","unstructured":"Alan Burns and Robert Davis . 2017. Mixed criticality systems---a review , 9 th edition. Technical Report. Department of Computer Science, University of York . Alan Burns and Robert Davis. 2017. Mixed criticality systems---a review, 9th edition. Technical Report. Department of Computer Science, University of York.","edition":"9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2668138.2668142"},{"key":"e_1_3_2_1_7_1","volume-title":"PROSA: A Case for Readable Mechanized Schedulability Analysis. In ECRTS","author":"Cerqueira Felipe","year":"2016","unstructured":"Felipe Cerqueira , Felix Stutz , and Bj\u00f6rn B Brandenburg . 2016 . PROSA: A Case for Readable Mechanized Schedulability Analysis. In ECRTS 2016. Felipe Cerqueira, Felix Stutz, and Bj\u00f6rn B Brandenburg. 2016. PROSA: A Case for Readable Mechanized Schedulability Analysis. In ECRTS 2016."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2010.18"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.46"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660497"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/827269.828992"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.17"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2834848.2834869"},{"key":"e_1_3_2_1_14_1","volume-title":"RTSS","author":"Feng Xiang","year":"2002","unstructured":"Xiang Feng and Aloysius K Mok . 2002 . A model of hierarchical real-time virtual resources . In RTSS 2002. Xiang Feng and Aloysius K Mok. 2002. A model of hierarchical real-time virtual resources. In RTSS 2002."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/827267.828907"},{"key":"e_1_3_2_1_16_1","unstructured":"Gerhard J Fohler. 1994. Flexibility in statically scheduled hard real-time systems.  Gerhard J Fohler. 1994. Flexibility in statically scheduled hard real-time systems."},{"volume-title":"Mac OS X, and FreeBSD","author":"Gregg Brendan","key":"e_1_3_2_1_17_1","unstructured":"Brendan Gregg and Jim Mauro . 2011. DTrace: Dynamic Tracing in Oracle Solaris , Mac OS X, and FreeBSD . Prentice Hall Professional . Brendan Gregg and Jim Mauro. 2011. DTrace: Dynamic Tracing in Oracle Solaris, Mac OS X, and FreeBSD. Prentice Hall Professional."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925987"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1155\/2017\/3403685"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/956418.956586"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2012.24"},{"key":"e_1_3_2_1_22_1","volume-title":"6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS).","author":"Kramer Simon","year":"2015","unstructured":"Simon Kramer , Dirk Ziegenbein , and Arne Hamann . 2015 . Real world automotive benchmarks for free . In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS). Simon Kramer, Dirk Ziegenbein, and Arne Hamann. 2015. Real world automotive benchmarks for free. In 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)."},{"key":"e_1_3_2_1_23_1","volume-title":"RTSS","author":"Kuo Tei-Wei","year":"1999","unstructured":"Tei-Wei Kuo and Ching-Hui Li . 1999 . A fixed-priority-driven open environment for real-time applications . In RTSS 1999. Tei-Wei Kuo and Ching-Hui Li. 1999. A fixed-priority-driven open environment for real-time applications. In RTSS 1999."},{"key":"e_1_3_2_1_24_1","volume-title":"RTSS","author":"Lehoczky John P","year":"1987","unstructured":"John P Lehoczky . 1987 . Enhanced aperiodic responsiveness in hard real-time environments . In RTSS 1987. John P Lehoczky. 1987. Enhanced aperiodic responsiveness in hard real-time environments. In RTSS 1987."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/882481.883791"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212738"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceeding of Workshop on Real-Time Systems: the past, the present, and the future. 60--74","author":"Lipari Giuseppe","year":"2013","unstructured":"Giuseppe Lipari and G Buttazzo . 2013 . Resource reservation for mixed criticality systems . In Proceeding of Workshop on Real-Time Systems: the past, the present, and the future. 60--74 . Giuseppe Lipari and G Buttazzo. 2013. Resource reservation for mixed criticality systems. In Proceeding of Workshop on Real-Time Systems: the past, the present, and the future. 60--74."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_29_1","unstructured":"Clifford W Mercer Stefan Savage and Hideyuki Tokuda. 1993. Processor capacity reserves: An abstraction for managing processor usage. In Workstation Operating Systems.  Clifford W Mercer Stefan Savage and Hideyuki Tokuda. 1993. Processor capacity reserves: An abstraction for managing processor usage. In Workstation Operating Systems."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380116.2380174"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038681"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/383802.383915"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/882482.883804"},{"key":"e_1_3_2_1_34_1","volume-title":"ECRTS","author":"Saewong Saowanee","year":"2002","unstructured":"Saowanee Saewong , Ragunathan Rajkumar , John P Lehoczky , and Mark H Klein . 2002 . Analysis of Hierarchical Fixed-Priority Scheduling .. In ECRTS 2002. Saowanee Saewong, Ragunathan Rajkumar, John P Lehoczky, and Mark H Klein. 2002. Analysis of Hierarchical Fixed-Priority Scheduling.. In ECRTS 2002."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2013.6732216"},{"key":"e_1_3_2_1_36_1","volume-title":"RTSS","author":"Shin Insik","year":"2003","unstructured":"Insik Shin and Insup Lee . 2003 . Periodic resource model for compositional real-time guarantees . In RTSS 2003. Insik Shin and Insup Lee. 2003. Periodic resource model for compositional real-time guarantees. In RTSS 2003."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347383"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02341920"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00360340"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.34"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.368008"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.35"},{"volume-title":"Analysis for EDF scheduled real-time systems. Department for Computer Science","author":"Zhang Fengxiang","key":"e_1_3_2_1_45_1","unstructured":"Fengxiang Zhang . 2009. Analysis for EDF scheduled real-time systems. Department for Computer Science , University of York. Fengxiang Zhang. 2009. Analysis for EDF scheduled real-time systems. Department for Computer Science, University of York."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.58"}],"event":{"name":"RTNS '17: 25th International Conference on Real-Time Networks and Systems","acronym":"RTNS '17","location":"Grenoble France"},"container-title":["Proceedings of the 25th International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3139258.3139274","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3139258.3139274","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:17Z","timestamp":1750212677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3139258.3139274"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,4]]},"references-count":44,"alternative-id":["10.1145\/3139258.3139274","10.1145\/3139258"],"URL":"https:\/\/doi.org\/10.1145\/3139258.3139274","relation":{},"subject":[],"published":{"date-parts":[[2017,10,4]]},"assertion":[{"value":"2017-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}