{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:35Z","timestamp":1750220015518,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T00:00:00Z","timestamp":1686096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,7]]},"DOI":"10.1145\/3575757.3575760","type":"proceedings-article","created":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T10:07:46Z","timestamp":1684836466000},"page":"155-165","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Multi-Model Specifications and their Application to Classification Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5621-8816","authenticated-orcid":false,"given":"Alan","family":"Burns","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of York, United Kingdom"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4541-3445","authenticated-orcid":false,"given":"Sanjoy","family":"Baruah","sequence":"additional","affiliation":[{"name":"Department of Computer Science & Engineering, Washington Unviersity in Saint Louis, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"volume-title":"Proc. 29th International Conference on Real Time Networks and Systems, RTNS. ACM.","author":"Baruah S.K.","key":"e_1_3_2_1_1_1","unstructured":"S.K. Baruah , A. Burns , and Y. Wu . 2021. Optimal Synthesis of IDK-Cascades . In Proc. 29th International Conference on Real Time Networks and Systems, RTNS. ACM. S.K. Baruah, A. Burns, and Y. Wu. 2021. Optimal Synthesis of IDK-Cascades. In Proc. 29th International Conference on Real Time Networks and Systems, RTNS. ACM."},{"volume-title":"Dynamic Programming (1ed.)","author":"Bellman R.","key":"e_1_3_2_1_2_1","unstructured":"R. Bellman . 1957. Dynamic Programming (1ed.) . Princeton University Press , Princeton, NJ, USA . R. Bellman. 1957. Dynamic Programming (1ed.). Princeton University Press, Princeton, NJ, USA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. 7th Int. RTSS Workshop On Mixed Criticality Systems (WMC). 5\u20138.","author":"Burns A.","year":"2019","unstructured":"A. Burns . 2019 . Multi-Model Systems \u2013 an MCS by any other name . In Proc. 7th Int. RTSS Workshop On Mixed Criticality Systems (WMC). 5\u20138. A. Burns. 2019. Multi-Model Systems \u2013 an MCS by any other name. In Proc. 7th Int. RTSS Workshop On Mixed Criticality Systems (WMC). 5\u20138."},{"volume-title":"Proc. 7th Int. RTSS Workshop On Mixed Criticality Systems (WMC). 17\u201322","author":"Burns A.","key":"e_1_3_2_1_5_1","unstructured":"A. Burns , S. Baruah , C.B. Jones , and I. Bate . 2019. Reasoning about the Relationship Between the Scheduler and Mixed-Criticality Jobs . In Proc. 7th Int. RTSS Workshop On Mixed Criticality Systems (WMC). 17\u201322 . A. Burns, S. Baruah, C.B. Jones, and I. Bate. 2019. Reasoning about the Relationship Between the Scheduler and Mixed-Criticality Jobs. In Proc. 7th Int. RTSS Workshop On Mixed Criticality Systems (WMC). 17\u201322."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131347"},{"key":"e_1_3_2_1_7_1","unstructured":"A. Burns and R.I. Davis. 2022. Mixed Criticality Systems: A Review (13th Edition). https:\/\/www-users.cs.york.ac.uk\/burns\/review.pdf and White Rose Repository: https:\/\/eprints.whiterose.ac.uk\/183619\/.  A. Burns and R.I. Davis. 2022. Mixed Criticality Systems: A Review (13th Edition). https:\/\/www-users.cs.york.ac.uk\/burns\/review.pdf and White Rose Repository: https:\/\/eprints.whiterose.ac.uk\/183619\/."},{"volume-title":"Proc. 34th Euromicro Conference on Real-Time Systems (ECRTS)(Leibniz International Proceedings in Informatics (LIPIcs), Vol.\u00a0231)","author":"Burns A.","key":"e_1_3_2_1_8_1","unstructured":"A. Burns and C.B. Jones . 2022. An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems . In Proc. 34th Euromicro Conference on Real-Time Systems (ECRTS)(Leibniz International Proceedings in Informatics (LIPIcs), Vol.\u00a0231) , Martina Maggio (Ed.). Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany, 14:1\u201314:23. A. Burns and C.B. Jones. 2022. An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. In Proc. 34th Euromicro Conference on Real-Time Systems (ECRTS)(Leibniz International Proceedings in Informatics (LIPIcs), Vol.\u00a0231), Martina Maggio (Ed.). Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany, 14:1\u201314:23."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2019.2921977"},{"volume-title":"Automated Assume-Guarantee Reasoning through Implicit Learning","author":"Chen Y.F.","key":"e_1_3_2_1_10_1","unstructured":"Y.F. Chen , E.M. Clarke , A. Farzan , M.H. Tsai , Y.K. Tsay , and B-Y Wang . 2010. Automated Assume-Guarantee Reasoning through Implicit Learning . In Computer Aided Verification, Tayssir Touili, Byron Cook, and Paul Jackson (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 511\u2013526. Y.F. Chen, E.M. Clarke, A. Farzan, M.H. Tsai, Y.K. Tsay, and B-Y Wang. 2010. Automated Assume-Guarantee Reasoning through Implicit Learning. In Computer Aided Verification, Tayssir Touili, Byron Cook, and Paul Jackson (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 511\u2013526."},{"key":"e_1_3_2_1_11_1","unstructured":"T.\u00a0H. Cormen C.\u00a0E. Leiserson R.\u00a0L. Rivest and C. Stein. 2009. Introduction to Algorithms.(third ed.). MIT Press.  T.\u00a0H. Cormen C.\u00a0E. Leiserson R.\u00a0L. Rivest and C. Stein. 2009. Introduction to Algorithms.(third ed.). MIT Press."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"R. Davis S. Baruah A. Burns and Y. Wu. 2022. Optimally ordering IDK classifiers subject to deadlines. Real-Time Systems online(2022).  R. Davis S. Baruah A. Burns and Y. Wu. 2022. Optimally ordering IDK classifiers subject to deadlines. Real-Time Systems online(2022).","DOI":"10.1007\/s11241-022-09383-w"},{"key":"e_1_3_2_1_13_1","volume-title":"Mixed Criticality Systems?A History of Misconceptions?IEEE Design & Test 33, 5","author":"Ernst R.","year":"2016","unstructured":"R. Ernst and M.\u00a0 Di Natale . 2016. Mixed Criticality Systems?A History of Misconceptions?IEEE Design & Test 33, 5 ( 2016 ), 65\u201374. R. Ernst and M.\u00a0Di Natale. 2016. Mixed Criticality Systems?A History of Misconceptions?IEEE Design & Test 33, 5 (2016), 65\u201374."},{"key":"e_1_3_2_1_14_1","volume-title":"23rd International Conference on Real-Time Networks and Systems (RTNS","author":"Esper A.","year":"2015","unstructured":"A. Esper , G. Neilissen , V. Neils , and E. Tovar . 2015. How Realistic is the mixed-criticality real-time system model . In 23rd International Conference on Real-Time Networks and Systems (RTNS 2015 ). 139\u2013148. A. Esper, G. Neilissen, V. Neils, and E. Tovar. 2015. How Realistic is the mixed-criticality real-time system model. In 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 139\u2013148."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-018-9308-9"},{"volume-title":"Proc. WMC, RTSS. 19\u201324","author":"Graydon P.","key":"e_1_3_2_1_16_1","unstructured":"P. Graydon and I. Bate . 2013. Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling . In Proc. WMC, RTSS. 19\u201324 . P. Graydon and I. Bate. 2013. Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling. In Proc. WMC, RTSS. 19\u201324."},{"volume-title":"International Conference on Computer Aided Verification. Springer Berlin Heidelberg, 440\u2013451","author":"Henzinger T.A.","key":"e_1_3_2_1_17_1","unstructured":"T.A. Henzinger , S. Qadeer , and S.K. Rajamani . 1998. You assume, we guarantee: methodology and case studies . In International Conference on Computer Aided Verification. Springer Berlin Heidelberg, 440\u2013451 . T.A. Henzinger, S. Qadeer, and S.K. Rajamani. 1998. You assume, we guarantee: methodology and case studies. In International Conference on Computer Aided Verification. Springer Berlin Heidelberg, 440\u2013451."},{"volume-title":"Development Methods for Computer Programs including a Notion of Interference. Ph.\u00a0D. Dissertation","author":"Jones C.B.","key":"e_1_3_2_1_18_1","unstructured":"C.B. Jones . 1981. Development Methods for Computer Programs including a Notion of Interference. Ph.\u00a0D. Dissertation . Oxford University. Printed as: Programming Research Group , Technical Monograph 25. C.B. Jones. 1981. Development Methods for Computer Programs including a Notion of Interference. Ph.\u00a0D. Dissertation. Oxford University. Printed as: Programming Research Group, Technical Monograph 25."},{"key":"e_1_3_2_1_19_1","unstructured":"C.B. Jones and A. Burns. 2020. A Rely-Guarantee Specification of Mixed-Criticality Scheduling. arXiv. 2012.01493.  C.B. Jones and A. Burns. 2020. A Rely-Guarantee Specification of Mixed-Criticality Scheduling. arXiv. 2012.01493."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_21_1","unstructured":"S. Neema. 2019. Assurance for Autonomous Systems is Hard. https:\/\/www.darpa.mil\/attachments\/AssuredAutonomyProposersDay_Program Brief.pdf. Last Accessed: 2022-21-01.  S. Neema. 2019. Assurance for Autonomous Systems is Hard. https:\/\/www.darpa.mil\/attachments\/AssuredAutonomyProposersDay_Program Brief.pdf. Last Accessed: 2022-21-01."},{"volume-title":"Proc. Euromicro Conference on Digital System Design (DSD). IEEE, 453\u2013461","author":"Paulitsch M.","key":"e_1_3_2_1_22_1","unstructured":"M. Paulitsch , O.M. Duarte , H. Karray , K. Mueller , D. Muench , and J. Nowotsch . 2015. Mixed-Criticality Embedded Systems\u2013A Balance Ensuring Partitioning and Performance . In Proc. Euromicro Conference on Digital System Design (DSD). IEEE, 453\u2013461 . M. Paulitsch, O.M. Duarte, H. Karray, K. Mueller, D. Muench, and J. Nowotsch. 2015. Mixed-Criticality Embedded Systems\u2013A Balance Ensuring Partitioning and Performance. In Proc. Euromicro Conference on Digital System Design (DSD). IEEE, 453\u2013461."},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. 22nd Int. Symp. on Fault-Tolerant Computing (FTCS-22)","author":"Powell D.","year":"1992","unstructured":"D. Powell . 1992 . Failure Mode Assumptions and Assumption Coverage . In Proc. 22nd Int. Symp. on Fault-Tolerant Computing (FTCS-22) . IEEE Computer Society Press, 386\u201395. D. Powell. 1992. Failure Mode Assumptions and Assumption Coverage. In Proc. 22nd Int. Symp. on Fault-Tolerant Computing (FTCS-22). IEEE Computer Society Press, 386\u201395."},{"volume-title":"Proc. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).","author":"Razavi K.","key":"e_1_3_2_1_24_1","unstructured":"K. Razavi , M. Luthra , B. Koldehofe , Max M.\u00a0 Muhlhauser , and L. Wang . 2022. FA2: Fast, Accurate Autoscaling for Serving Deep Learning Inference with SLA Guarantees . In Proc. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). K. Razavi, M. Luthra, B. Koldehofe, Max M.\u00a0Muhlhauser, and L. Wang. 2022. FA2: Fast, Accurate Autoscaling for Serving Deep Learning Inference with SLA Guarantees. In Proc. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)."},{"volume-title":"Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR).","author":"Redmon J.","key":"e_1_3_2_1_25_1","unstructured":"J. Redmon , S. Divvala , R. Girshick , and A. Farhadi . 2016. You Only Look Once: Unified, Real-Time Object Detection . In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR). J. Redmon, S. Divvala, R. Girshick, and A. Farhadi. 2016. You Only Look Once: Unified, Real-Time Object Detection. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR)."},{"key":"e_1_3_2_1_26_1","unstructured":"J. Redmon and A. Farhadi. 2018. YOLOv3 Incremental Improvement. CoRR abs\/1804.02767(2018).  J. Redmon and A. Farhadi. 2018. YOLOv3 Incremental Improvement. CoRR abs\/1804.02767(2018)."},{"key":"e_1_3_2_1_27_1","unstructured":"S. Ren K. He R. Girshick and J. Sun. 2016. Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks. arXiv cs.CV 1506.01497.  S. Ren K. He R. Girshick and J. Sun. 2016. Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks. arXiv cs.CV 1506.01497."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"N. Stoimenov S. Chakraborty and L. Thiele. 2012. Interface-Based Design of Real-Time Systems. Springer Berlin Heidelberg Berlin Heidelberg 83\u2013101.  N. Stoimenov S. Chakraborty and L. Thiele. 2012. Interface-Based Design of Real-Time Systems. Springer Berlin Heidelberg Berlin Heidelberg 83\u2013101.","DOI":"10.1007\/978-3-642-24349-3_4"},{"key":"e_1_3_2_1_29_1","volume-title":"Proc. Real-Time Systems Symposium (RTSS). 239\u2013243","author":"Vestal S.","year":"2007","unstructured":"S. Vestal . 2007 . Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance . In Proc. Real-Time Systems Symposium (RTSS). 239\u2013243 . S. Vestal. 2007. Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. In Proc. Real-Time Systems Symposium (RTSS). 239\u2013243."},{"key":"e_1_3_2_1_30_1","unstructured":"X. Wang Y. Luo D. Crankshaw A. Tumanov F. Yu and J.E. Gonzalez. 2018. IDK Cascades: Fast Deep Learning by Learning not to Overthink. arXiv cs.CV arXiv 1706.00885.  X. Wang Y. Luo D. Crankshaw A. Tumanov F. Yu and J.E. Gonzalez. 2018. IDK Cascades: Fast Deep Learning by Learning not to Overthink. arXiv cs.CV arXiv 1706.00885."},{"volume-title":"Proc. of the 26th International Conference on World Wide Web. 351\u2013360","author":"Yao S.","key":"e_1_3_2_1_31_1","unstructured":"S. Yao , S. Hu , Y. Zhao , A. Zhang , and T. Abdelzaher . 2017. DeepSense: A Unified Deep Learning Framework for Time-Series Mobile Sensing Data Processing . In Proc. of the 26th International Conference on World Wide Web. 351\u2013360 . S. Yao, S. Hu, Y. Zhao, A. Zhang, and T. Abdelzaher. 2017. DeepSense: A Unified Deep Learning Framework for Time-Series Mobile Sensing Data Processing. In Proc. of the 26th International Conference on World Wide Web. 351\u2013360."}],"event":{"name":"RTNS 2023: The 31st International Conference on Real-Time Networks and Systems","acronym":"RTNS 2023","location":"Dortmund Germany"},"container-title":["The 31st International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575757.3575760","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:20Z","timestamp":1750182680000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3575757.3575760"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,7]]},"references-count":31,"alternative-id":["10.1145\/3575757.3575760","10.1145\/3575757"],"URL":"https:\/\/doi.org\/10.1145\/3575757.3575760","relation":{},"subject":[],"published":{"date-parts":[[2023,6,7]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}