Views

Multikernel: Operating system solution to generalized functional safety

¹ School of Computer Science, Fudan University, Shanghai, 200433, China
² State Key Laboratory of Mathematical Engineering and Advanced Computing, Wuxi, 214125, China
³ Institute of Big Data, Fudan University, Shanghai, 200433, China
⁴ Parallel Processing Institute, Fudan University, Shanghai, 200433, China

^* Corresponding authors (email: zhangweihua@fudan.edu.cn)

Received: 9 January 2023
Revised: 21 March 2023
Accepted: 20 April 2023

Abstract

With the trend of digitalization, intelligence, and networking sweeping the world, functional safety and cyber security are increasingly intertwined and overlapped, evolving into the issue of generalized functional safety. Traditional system reliability technology and network defense technology cannot provide quantifiable design implementation theories and methods. As the cornerstone of software systems, operating systems in particular are in need of efficient safety assurance. The DHR architecture is a mature and comprehensive solution, and it is necessary to implement an OS-level DHR architecture, for which the multi-kernel operating system is a good carrier. The multi-kernel operating system takes the kernel as the processing scenario element and constructs redundancy, heterogeneity, and dynamism on the kernel, so it has the generalized robustness of the DHR architecture. This article analyzes the significance and requirements of OS-level DHR architecture, and systematically explains how the multi-kernel operating system responds to the requirements of OS-level DHR architecture by analyzing the technical routes of multi-kernel operating systems and develops an operating system solution idea for the generalized functionally safety.