Towards an open dependable operating system

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

doi:10.1109/ISORC.2009.55

Towards an open dependable operating system

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

^*Corresponding author for this work

School of Fundamental Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
Pages	20-27
Number of pages	8
DOIs	https://doi.org/10.1109/ISORC.2009.55
Publication status	Published - 2009
Event	2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009 - Tokyo, Japan Duration: 2009 Mar 17 → 2009 Mar 20

Publication series

Name	Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009

Conference

Conference	2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
Country/Territory	Japan
City	Tokyo
Period	09/3/17 → 09/3/20

ASJC Scopus subject areas

Computer Science Applications
Software

Access to Document

10.1109/ISORC.2009.55

Cite this

Ishikawa, Y., Fujita, H., Maeda, T., Matsuda, M., Sugaya, M., Sato, M., Hanawa, T., Miura, S., Boku, T., Kinebuchi, Y., Sun, L., Nakajima, T., Nakazawa, J., & Tokuda, H. (2009). Towards an open dependable operating system. In Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009 (pp. 20-27). Article 5231989 (Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009). https://doi.org/10.1109/ISORC.2009.55

Towards an open dependable operating system. / Ishikawa, Yutaka; Fujita, Hajime; Maeda, Toshiyuki et al.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. 2009. p. 20-27 5231989 (Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ishikawa, Y, Fujita, H, Maeda, T, Matsuda, M, Sugaya, M, Sato, M, Hanawa, T, Miura, S, Boku, T, Kinebuchi, Y, Sun, L, Nakajima, T, Nakazawa, J & Tokuda, H 2009, Towards an open dependable operating system. in Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009., 5231989, Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, pp. 20-27, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 09/3/17. https://doi.org/10.1109/ISORC.2009.55

Ishikawa Y, Fujita H, Maeda T, Matsuda M, Sugaya M, Sato M et al. Towards an open dependable operating system. In Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. 2009. p. 20-27. 5231989. (Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009). doi: 10.1109/ISORC.2009.55

Ishikawa, Yutaka ; Fujita, Hajime ; Maeda, Toshiyuki et al. / Towards an open dependable operating system. Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. 2009. pp. 20-27 (Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009).

@inproceedings{ec988adfef774be0a8e1f175afb7d049,

title = "Towards an open dependable operating system",

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.",

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

note = "Copyright: Copyright 2013 Elsevier B.V., All rights reserved.; 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009 ; Conference date: 17-03-2009 Through 20-03-2009",

year = "2009",

doi = "10.1109/ISORC.2009.55",

language = "English",

isbn = "9780769535739",

series = "Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009",

pages = "20--27",

booktitle = "Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009",

}

TY - GEN

T1 - Towards an open dependable operating system

AU - Ishikawa, Yutaka

AU - Fujita, Hajime

AU - Maeda, Toshiyuki

AU - Matsuda, Motohiko

AU - Sugaya, Midori

AU - Sato, Mitsuhisa

AU - Hanawa, Toshihiro

AU - Miura, Shinichi

AU - Boku, Taisuke

AU - Kinebuchi, Yuki

AU - Sun, Lei

AU - Nakajima, Tatsuo

AU - Nakazawa, Jin

AU - Tokuda, Hideyuki

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=70350584479&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70350584479&partnerID=8YFLogxK

U2 - 10.1109/ISORC.2009.55

DO - 10.1109/ISORC.2009.55

M3 - Conference contribution

AN - SCOPUS:70350584479

SN - 9780769535739

T3 - Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009

SP - 20

EP - 27

BT - Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009

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

Y2 - 17 March 2009 through 20 March 2009

ER -

Towards an open dependable operating system

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this