Operating system kernel automatic construction

Authors:
Xiaohua Jia;Mamoru Maekawa
Affiliations:
Dept of Computer Science, The University of Queensland, Australia;Graduate School of Information Systems, University of Electro-Communications, Tokyo,Japan
Venue:
ACM SIGOPS Operating Systems Review
Year:
1995

Citing 4
Cited 1

Eli: a complete, flexible compiler construction system

Communications of the ACM
Understanding DCE

Understanding DCE
Distributed operating systems

Distributed operating systems
Z: An Introduction to Formal Methods

Z: An Introduction to Formal Methods

Proposal of a Support System for Device Driver Generation

APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Each year a large amount of resources have been devoted into porting operating system kernels from one machine to another. This paper proposes a new system which is able to construct operating system kernel automatically based on kernel functions specification and hardware interface specification. The system can increase the efficiency and productivity of porting operating systems or building new systems. It can also generate more reliable kernels than human programmers.