TL;DR: This paper reviews the concepts and mechanisms used to improve security in Microkernel Operating system and described in brief about two real-world microkernel operating system, trying to achieve security as its goal.
Abstract: An operating system forms the foundation for all of the user's computer activities. Therefore, it should be trustworthy and function flawlessly. Unfortunately, today's operating systems, such as Windows and Linux, fail to deliver to this ideal, because they suffer from fundamental design flaws and bugs. Their monolithic kernel tend be overloaded with functionality that runs at the highest privilege level. This easily introduces bugs and breaches the Principle of Least Authorization (POLA) with all the related risks. Microkernel operating systems have a different design that makes them less vulnerable to these problems. A microkernel provides only a minimal set of abstractions that runs at the highest privilege level. Extended operating system functionality is typically available by means of user-space servers. By splitting an operating system into small, independent parts, the system becomes less complex and more robust, because the smaller parts are more manageable and help to isolate faults, respectively. This paper reviews the concepts and mechanisms used to improve security in Microkernel Operating system and described in brief about two real-world microkernel operating system, trying to achieve security as its goal.
TL;DR: Device drivers are major and easier faulty part of kernel, defects usually result in kernel panic, and methods of reducing defects in device driver were introduced.
Abstract: Device drivers are major and easier faulty part of kernel.Especially in monolithic kernel of operating system,device drivers execute in supervisor mode,defects in device drivers usually result in kernel panic,greatly degrade the availability of operating system.Defects in device drivers were analyzed and sorted,methods of reducing defects in device driver were introduced.
TL;DR: The engine is constructed by component-based development techniques and finite state machine, which reduce the coupling between system components and increase the flexibility of workflow engine.
Abstract: With the analysis of existing workflow engine based on monolithic kernel, a workflow engine which is based on micro kernel is designed. Service implementation and activity scheduling are separated by the engine, and then the micro kernel layer is independent and stable. All this decreased cost of engine reconstruction and difficulty of maintenance; the engine is constructed by component-based development techniques and finite state machine, which reduce the coupling between system components and increase the flexibility of workflow engine.
TL;DR: A Lightweight wireless sensor network operating systems (LOS) that is based TinyOS that adapts C programming language, static memory mapping mechanism, event-driven concurrent control and monolithic kernel architecture to achieve lightweight.
Abstract: The current popular wireless sensor network operating system to be large and complex, Leading to the size of program after compiling is too large and difficult to put into the memory of low-cost processors. In this paper, for the improvement of the program size too large problem, we propose a Lightweight wireless sensor network operating systems(LOS) that is based TinyOS. Our LOS adapts C programming language, static memory mapping mechanism, event-driven concurrent control and monolithic kernel architecture to achieve lightweight Through appropriate design concepts and code optimization to achieve the light weight of LOS. Experimental results show that under the same algorithm, LOS can save about 20K bytes in size, to achieve a light weight of the goal.