A measurable refinement method of design and verification for micro-kernel operating systems in communication network by Zhenjiang Qian, Rui Xia, Gaofei Sun, Xiaoshuang Xing, Kaijian Xia

“…Taking the micro-kernel operating system in the communication network prototype VSOS as an example, we employ the objdump tool to disassemble the system source code and get the assembly layer code. …”
Get full text

A zero kernel operating system : rethinking microkernel design by leveraging tagged architectures and memory-safe languages by Restivo, Justin(Justin P.)

Get full text

Multikernel: Operating system solution to generalized functional safety by Song Yijing, Dai Huasheng, Jiang Jinhu, Zhang Weihua

“…This article analyzes the significance and requirements of OS-level DHR architecture, and systematically explains how the multi-kernel operating system responds to the requirements of OS-level DHR architecture by analyzing the technical routes of multi-kernel operating systems and develops an operating system solution idea for the generalized functionally safety.…”
Get full text

Processor Multiplexing in a Layered Operating Systems by Reed, David Patrick

“…The design provides a minimal mechanism for the support of two distinct classes of processes found in the computer system -- those which are part of kernel operating system itself, and those used to execute user-specified computations.…”
Get full text