研究内容

高信頼組込みリアルタイムシステム用SPFの開発

　大規模・複雑化が進む組込みリアルタイムシステムの開発において，開発コストの低減や開発期間の短縮が求められている．組込みリアルタイムシステムにおけるソフトウェアの開発に関して，開発効率向上のために，リアルタイムオペレーティングシステム（OS）などのソフトウェアプラットフォーム技術が用いられている．さらに近年では，安全性が重要視される高信頼システムのアプリケーション開発に適用するための，保護機能を持ったプラットフォーム技術が提案されている．保護機能とは，あるアプリケーションに生じた障害が波及し，システムの安全性に関わる他のアプリケーションに障害が発生することを防ぐために，アプリケーションを分離するための機能である．本研究では，特に，メモリ空間の分離，および，CPU時間の分離機能に着目して，プラットフォームの保護機能を開発している．
　一方で，組込みリアルタイムシステムは，システムを構成する個々の処理が，それぞれ決まった時間内に終了することが重要な性質であり，開発時に，個々の処理が決まった時間内に終了することが可能かどうか（スケジューラビリティと呼ぶ）を解析する必要がある．本研究では，保護機能を持ったプラットフォームを開発するとともに，そのプラットフォーム上に構築したアプリケーションのスケジューラビリティを解析する技術についても研究している．

特に以下の研究テーマに力を入れています．

• ・自動車制御システム向けソフトウェアプラットフォームの開発
  • − AUTOSAR仕様ベースのリアルタイムOSにおかるメモリ保護機能，時間保護機能の開発および性能評価
• ・時間保護機能を持ったリアルタイムOSにおけるスケジューラビリティ解析手法の研究