コンピュータ技術の進展に伴い、基幹業務系や汎用PCのみならず、ホームサーバ、デジタルTV、組み込み型高性能サーバ、車載制御装置、生産制御装置、通信制御装置、ロボット、携帯機器、モバイル・ウェラブルコンピュータ、センサー・アクチュエータなど、多数の情報機器・システムがネットワークに接続されるようになってきており、近い将来にいわゆるユビキタス情報社会を構成するであろうと見込まれます。この時、これらの要素システムの多くは目的別の組込みシステムとして構築され、高い信頼性、応答性を確保しつつ、小さく、軽く実現することを要求されます。加えて、それらを接続した情報システムの信頼性、安全性、セキュリティ、性能などの要求を満足でき、さらには将来の拡張性や変更に動的に対応できなければなりません。このようなディペンダブルなシステムを構築するためには、オペレーティング・システム(OS)のレベルからイノベーティブな研究開発を行う必要があると考えられます。本研究領域は、ディペンダブルな情報システムを構築するための組込みシステム向けのOSの研究開発を行うものです。
本研究領域では、将来、社会で実際に広範に使用されうるOS技術を創出するために、実用化を目指し、個別の研究成果を統合して実用システムとして実現が可能であることを実証し、オープンソースの形で将来の更なる研究開発の基盤を提供することを目指します。このため、本研究領域においては、研究総括の強い統率の下で、必要に応じて研究体制の再編や研究の進め方の調整を行うことにより、研究領域内の研究を横断・統合した推進体制をとり、適切な研究領域運営を行うこととします。
(所属・役職は、平成20年3月時点のものです。)
□石川 裕 (東京大学情報基盤センター 教授)
「並列・分散型組込みシステムのためのディペンダブルシングルシステムイメージOS」
 (574kb)
□佐藤 三久 (筑波大学計算科学研究センター 教授)
「省電力でディペンダブルな組込み並列システム向け計算プラットフォーム」 (294kb)
□徳田 英幸 (慶應義塾大学環境情報学部 教授)
「マイクロユビキタスノード用ディペンダブルOS」 (1,144kb)
□中島 達夫 (早稲田大学理工学術院 教授)
「高機能情報家電のためのディペンダブルオペレーティングシステム」 (141kb)
□前田 俊行 (東京大学大学院情報理工学系研究科 助教)
「ディペンダブルシステムソフトウェア構築技術に関する研究」 (154kb)
|