@inproceedings{9e74c90e739142ab8526143942582e88,
title = "Embedded partitioning real-time operating system based on microkernel",
abstract = "The embedded partitioning operating system is active in security-related fields such as avionics and automotive embedded software. The temporal and spatial isolation of the partition is the guarantee of system security. In addition, as these areas become more demanding for applications, improving the real-time performance of partitioning operating systems has become a trend. To reach this goal, we propose a solution that leverages the microkernel architecture in the embedded partitioning operating system. The microkernel ensures the determinacy of real-time scheduling policies and system calls by simplifying kernel functionality and preserving the most basic resources. Partitions built on top of the microkernel enable low-cost communication, fast context switching and mixed task scheduling. Based on the microkernel, we developed a complete real-time partitioning operating system. The system supports multi-core processors to take full advantage of the high performance of existing embedded processors. On different hardware platforms, we conducted two types of tests about interrupt response time and latency. The results show that our proposed architecture exhibits high real-time performance.",
keywords = "Embedded system, Isolation, Microkernel, Multi-core, Partitioning, Real-Time",
author = "Tanhong Chen and Huiyong Li and Jianwei Niu and Tao Ren and Guizhou Xu",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 22nd IEEE International Conference on Computational Science and Engineering and 17th IEEE International Conference on Embedded and Ubiquitous Computing, CSE/EUC 2019 ; Conference date: 01-08-2019 Through 03-08-2019",
year = "2019",
month = aug,
doi = "10.1109/CSE/EUC.2019.00047",
language = "英语",
series = "Proceedings - 22nd IEEE International Conference on Computational Science and Engineering and 17th IEEE International Conference on Embedded and Ubiquitous Computing, CSE/EUC 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "205--210",
editor = "Meikang Qiu",
booktitle = "Proceedings - 22nd IEEE International Conference on Computational Science and Engineering and 17th IEEE International Conference on Embedded and Ubiquitous Computing, CSE/EUC 2019",
address = "美国",
}