DocumentCode
690407
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
fYear
2013
fDate
14-15 Dec. 2013
Firstpage
564
Lastpage
569
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Sciences and Applications (CSA), 2013 International Conference on
Conference_Location
Wuhan
Type
conf
DOI
10.1109/CSA.2013.137
Filename
6835664
Link To Document