@inproceedings{5714a21c736a465e8c41db8dc8a37950,
title = "Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel",
abstract = "System dependability and real-time requirement have been receiving widespread attention in modern computer systems. Fault-tolerant real-time scheduling provides a method of combining timing requirements and faults tolerance for real-time systems. This paper presents a preliminary study of building a fault-tolerant real-time mechanism for seL4 microkernel. seL4, as the first formally-verified operating system kernel in the world, is an ideal platform for security-critical systems. However, the lack of real-time and fault-tolerant policy reduces its the reliability and user experience. We have implemented basic real-time and checkpoint mechanisms in seL4, and propose the Check-Point based Fault-Tolerant RM (CP-FTRM) scheduling policy. The experiments have shown the feasibility and efficiency of them.",
keywords = "Checkpoint, Fault-tolerance, Rate monotonic algorithm, Real-time system, SeL4, Time redundancy",
author = "Libin Xu and Yuebin Bai and Kun Cheng and Lingyu Ge and Danning Nie and Lijun Zhang and Wenjia Liu",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 18th IEEE International Conference on High Performance Computing and Communications, 14th IEEE International Conference on Smart City and 2nd IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2016 ; Conference date: 12-12-2016 Through 14-12-2016",
year = "2017",
month = jan,
day = "20",
doi = "10.1109/HPCC-SmartCity-DSS.2016.0104",
language = "英语",
series = "Proceedings - 18th IEEE International Conference on High Performance Computing and Communications, 14th IEEE International Conference on Smart City and 2nd IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "711--718",
editor = "Yang, \{Laurence T.\} and Jinjun Chen",
booktitle = "Proceedings - 18th IEEE International Conference on High Performance Computing and Communications, 14th IEEE International Conference on Smart City and 2nd IEEE International Conference on Data Science and Systems, HPCC/SmartCity/DSS 2016",
address = "美国",
}