A Model of Microkernel Based on Spatial-Temporal Isolation in Haskell
Fan Zhang, Xiaopeng Wang · 2013
The safety and security of kernel is the key to the security of the embedded system and we even have to formal verification the kernel in the field of safety-critical embedded applications. In this paper we introduce a design and implementation of the modeling of micro kernel based on spatial-temporal isolation in Haskell which is a functional language. This not only could significantly improve the security of micro kernel, but also facilitate the formal verification of micro kernel in the later.