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