{"title":"Experience Report: Combining Mixed-Criticality Support with Resource Reservation and Spare Capacity Allocation","authors":"R. J. Bril, E. Luit","doi":"10.1109/ICSA-C.2019.00019","DOIUrl":null,"url":null,"abstract":"This paper reports upon our on-going research in supporting mixed criticality by means of an OSEK-compliant real-time operating system (RTOS). In our earlier work, we presented support for an (extended) adaptive mixed-criticality (AMC*) scheme using the OSEK-compliant RTOS μC/OS-II. Based on experiments with that set-up, we identified AMC-inherited undesirable behavior, and sketched improvements of that scheme to resolve or mitigate those issues. In this paper, we revisit the identified undesirable behavior, and specify and illustrate improvements based on resource reservation and space-capacity allocation. Our proposed improvements have also been implemented in μC/OS- II in combination with RELTEQ (Relative Timed Event Queues).","PeriodicalId":239999,"journal":{"name":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 IEEE International Conference on Software Architecture Companion (ICSA-C)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSA-C.2019.00019","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
This paper reports upon our on-going research in supporting mixed criticality by means of an OSEK-compliant real-time operating system (RTOS). In our earlier work, we presented support for an (extended) adaptive mixed-criticality (AMC*) scheme using the OSEK-compliant RTOS μC/OS-II. Based on experiments with that set-up, we identified AMC-inherited undesirable behavior, and sketched improvements of that scheme to resolve or mitigate those issues. In this paper, we revisit the identified undesirable behavior, and specify and illustrate improvements based on resource reservation and space-capacity allocation. Our proposed improvements have also been implemented in μC/OS- II in combination with RELTEQ (Relative Timed Event Queues).
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
