Towards a practical implementation of criticality mode change in RTOS

In order to address the trade-off between certification and resource efficiency, researchers are recently trying to apply a criticality mode change mechanism to mixed-criticality systems. However, the actual implementation of the criticality mode change has not been studied rigorously. In this paper, we suggest a practical design to implement the criticality mode change framework for Real-Time Operating Systems (RTOS). In particular, we aim to minimize the scheduler overheads while maximizing the resource efficiency. To the best of our knowledge, this is the first work in the literature that presents an actual implementation of the criticality mode change in RTOS.