Title :
A Model of Microkernel Based on Spatial-Temporal Isolation in Haskell
Author :
Fan Zhang ; Xiaopeng Wang
Author_Institution :
Sch. of Comput. Sci. & Eng., Northwestern Polytechinical Univ., Xi´an, China
Abstract :
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.
Keywords :
embedded systems; formal verification; functional languages; operating system kernels; safety-critical software; Haskell; embedded system security; formal verification; functional language; kernel safety; kernel security; microkernel model; microkernel security improvement; safety-critical embedded applications; spatial-temporal isolation; Abstracts; Arrays; Computational modeling; Educational institutions; Instruction sets; Kernel; Security; Haskell; Microkernel; Modeling; Partition; Spatial-temporal isolation;
Conference_Titel :
Computer Sciences and Applications (CSA), 2013 International Conference on
Conference_Location :
Wuhan
DOI :
10.1109/CSA.2013.137
