Towards an Open Dependable Operating System

Author

Ishikawa, Yutaka ; Fujita, Hajime ; Maeda, Toshiyuki ; Matsuda, Motohiko ; Sugaya, Midori ; Sato, Mitsuhisa ; Hanawa, Toshihiro ; Miura, Shinichi ; Boku, Taisuke ; Kinebuchi, Yuki ; Sun, Lei ; Nakajima, Tatsuo ; Nakazawa, Jin ; Tokuda, Hideyuki

Author_Institution

Univ. of Tokyo, Tokyo, Japan

fYear

2009

fDate

17-20 March 2009

Firstpage

20

Lastpage

27

Abstract

This paper introduces a new dependable operating system project, called DEOS, started in 2006, and scheduled to continue for six years. In this project, a safety extension mechanism called P-Bus is to be designed, and implemented in the Linux kernel so that a future dependability attribute is implemented with P-Bus. A hardware abstraction layer, called SPUMONE, is introduced so that a light-weight operating system, called ArcOS, and a monitoring service on top of ArcOS monitors the Linux kernel to provide a safety-net for the Linux kernel. New dependability metrics are being designed to enable developers and users to decide which hardware or software solution meets their dependability requirements, and thus can be used.

Keywords

Linux; operating system kernels; ArcOS; DEOS; Linux kernel; P-Bus; SPUMONE; hardware abstraction layer; open dependable operating system; safety extension mechanism; Computer architecture; Embedded system; Failure analysis; Hardware; Kernel; Linux; Multicore processing; Operating systems; Real time systems; Software safety;

fLanguage

English

Publisher

ieee

Conference_Titel

Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09. IEEE International Symposium on

Conference_Location

Tokyo

ISSN

1555-0885

Print_ISBN

978-0-7695-3573-9

Type

conf

DOI

10.1109/ISORC.2009.55

Filename

5231989