高信頼制御システムのための拡張型分散OS (<特集>情報プラットフォーム)  [in Japanese] Extensible distributed Operating System for reliable control systems  [in Japanese]

今やほとんどのシステムがソフトウェア制御になっており,システムの成否をソフトウェア開発が握っているといえる.中でも制御システムのソフトウェア開発は難題である.制御システムには,公衆通信網やプラント制御のような大規模な実時間制御システムから,情報家電のような小規模なシステムまで多種多様ある.制御システムのソフトウェア開発が困難である理由の一つは,適切なOSが無いことにもよる.本稿ではこのような多様な制御システムのためのOSが提供すべき諸性質についての検討を行い,最新のマイクロカーネル技術とマルチサーバー方式によりそのようなOSが構成出来ることを主張している.検討中のOS は多様な要求に応えられる拡張性,高信頼性,高度な分散処理をサポートする事が期待される.現在L4マイクロカーネル上にマルチサーバーOSである Minixの移植を進めながら割り込み処理と保護機能の問題,論理空間切り替えの効率の問題,分散処理のために必要な枠組について検討している.

Demands of operating systems for control systems range from real-time systems to intelligent home appliances. However, what is needed depends on their applications. This paper addresses OS characteristics desired to meet above demands and proposes that such OS consists of multi servers running on state-of-the-art μ-kernel. Our OS is expected to support extensibility, reliability, and highly-distributed processing functionalities. Porting of Minix multi-server OS on L4μ-kernel is underway. Issues such as interrupt handling, protection, switching of address space, efficiency aspects and framework to distributed processing are also described.