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 | |
Publication status | Published - 2009 |
Externally published | Yes |
Event | 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009 - Tokyo Duration: 2009 Mar 17 → 2009 Mar 20 |
Other
Other | 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009 |
---|---|
City | Tokyo |
Period | 09/3/17 → 09/3/20 |
Fingerprint
ASJC Scopus subject areas
- Computer Science Applications
- Software
Cite this
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 proceeding › Conference contribution
}
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 -