Micro-Kernel OS Architecture and its Ecosystem Construction for Ubiquitous Electric Power IoT
| Title | Micro-Kernel OS Architecture and its Ecosystem Construction for Ubiquitous Electric Power IoT |
| Publication Type | Conference Paper |
| Year of Publication | 2019 |
| Authors | Yang, Weiyong, Liu, Wei, Wei, Xingshen, Lv, Xiaoliang, Qi, Yunlong, Sun, Boyan, Liu, Yin |
| Conference Name | 2019 IEEE International Conference on Energy Internet (ICEI) |
| Date Published | may |
| Keywords | Computer architecture, Containers, ecosystem construction, embedded virtualization, functional security, human factors, Information security, intelligent interconnection technology, intelligent NARI microkernel, Internet of Things, IoT, IoT OS, Linux, Linux Container, Made in China 2025, Metrics, microkernel, microkernel OS architecture, mimicry defense, multicore computing security, NARI microkernel OS, native process sandbox, Network security, operating system, operating system kernels, POSIX standard API, power engineering computing, Power systems, process based fine-grained real-time scheduling algorithm, pubcrawl, real-time OS, Real-time Systems, Resiliency, Scalability, scheduling, security, security mechanism design, security of data, service process binding, sigma0 efficient message channel, Task Analysis, Trusted Computing, Ubiquitous Computing Security, ubiquitous electric power Internet of Things, ubiquitous electric power IoT, virtualization |
| Abstract | The operating system is extremely important for both "Made in China 2025" and ubiquitous electric power Internet of Things. By investigating of five key requirements for ubiquitous electric power Internet of Things at the OS level (performance, ecosystem, information security, functional security, developer framework), this paper introduces the intelligent NARI microkernel Operating System and its innovative schemes. It is implemented with microkernel architecture based on the trusted computing. Some technologies such as process based fine-grained real-time scheduling algorithm, sigma0 efficient message channel and service process binding in multicore are applied to improve system performance. For better ecological expansion, POSIX standard API is compatible, Linux container, embedded virtualization and intelligent interconnection technology are supported. Native process sandbox and mimicry defense are considered for security mechanism design. Multi-level exception handling and multidimensional partition isolation are adopted to provide High Reliability. Theorem-assisted proof tools based on Isabelle/HOL is used to verify the design and implementation of NARI microkernel OS. Developer framework including tools, kit and specification is discussed when developing both system software and user software on this IoT OS. |
| DOI | 10.1109/ICEI.2019.00038 |
| Citation Key | yang_micro-kernel_2019 |
- security
- operating system kernels
- POSIX standard API
- power engineering computing
- power systems
- process based fine-grained real-time scheduling algorithm
- pubcrawl
- real-time OS
- real-time systems
- Resiliency
- Scalability
- scheduling
- operating system
- security mechanism design
- security of data
- service process binding
- sigma0 efficient message channel
- Task Analysis
- Trusted Computing
- Ubiquitous Computing Security
- ubiquitous electric power Internet of Things
- ubiquitous electric power IoT
- Virtualization
- Linux
- Containers
- ecosystem construction
- embedded virtualization
- functional security
- Human Factors
- information security
- intelligent interconnection technology
- intelligent NARI microkernel
- Internet of Things
- IoT
- IoT OS
- computer architecture
- Linux Container
- Made in China 2025
- Metrics
- microkernel
- microkernel OS architecture
- mimicry defense
- multicore computing security
- NARI microkernel OS
- native process sandbox
- network security