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

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationProceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
Pages20-27
Number of pages8
DOIs
Publication statusPublished - 2009
Externally publishedYes
Event2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009 - Tokyo
Duration: 2009 Mar 172009 Mar 20

Other

Other2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009
CityTokyo
Period09/3/1709/3/20

Fingerprint

Hardware
Monitoring
Linux

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Cite this

Ishikawa, Y., Fujita, H., Maeda, T., Matsuda, M., Sugaya, M., Sato, M., ... 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). [5231989] https://doi.org/10.1109/ISORC.2009.55

Towards an open dependable operating system. / 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.

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009. 2009. p. 20-27 5231989.

Research output: Chapter in Book/Report/Conference proceedingConference 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, pp. 20-27, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, 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 https://doi.org/10.1109/ISORC.2009.55
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. / 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
@inproceedings{70450c87ff6e42c1a71d7e52715e34e6,
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",
year = "2009",
doi = "10.1109/ISORC.2009.55",
language = "English",
isbn = "9780769535739",
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

SP - 20

EP - 27

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

ER -