Conference Paper 2009 IEEE : Institute of Electrical and Electronics Engineers 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
【抄録】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. © 2009 IEEE.
【抄録日本語訳】本稿では、2006年に開始され、6年間継続される予定のDEOSと呼ばれる新しいディペンダブルオペレーティングシステムプロジェクトを紹介する。このプロジェクトでは、P-Busと呼ばれる安全拡張機構を設計し、Linuxカーネルに実装することで、将来のディペンダブル属性をP-Busで実装する。また、SPUMONEと呼ばれるハードウェア抽象化レイヤーを導入し、ArcOSと呼ばれる軽量OSとArcOS上の監視サービスがLinuxカーネルを監視し、Linuxカーネルにセーフティネットを提供する。開発者やユーザが、どのハードウェアやソフトウェアのソリューションがディペンダビリティ要件を満たしているか、したがって使用できるかを判断できるように、新しいディペンダビリティメトリクスが設計されている。© 2009 IEEE.