Brett D. Fleisch
Index Terms
Workplace microkernel and OS: a case study
Recommendations
Can We Make Operating Systems Reliable and Secure?
Microkernels--long discarded as unacceptable because of their lower performance compared with monolithic kernels--might be making a comeback in operating systems due to their potentially higher reliability, which many researchers now regard as more ...
Comprehensive formal verification of an OS microkernel
We present an in-depth coverage of the comprehensive machine-checked formal verification of seL4, a general-purpose operating system microkernel.
We discuss the kernel design we used to make its verification tractable. We then describe the functional ...
An operating system abstraction layer for portable applications in wireless sensor networks
SAC '10: Proceedings of the 2010 ACM Symposium on Applied ComputingPortability of software modules is a major concern in application development for Wireless Sensor Networks (WSN), stressed by the typical lack of resources in embedded systems. Abstractions of the hardware platform which are introduced by the operating ...
Comments