TopSite Map
はじめに概要研究実施報告関連データ研究代表者索引


最先端レーザー等の新しい光を用いた物質材料科学、生命科学など先端科学のイノベーションへの展開

プロセスインテグレーションによる次世代ナノシステムの創製

持続可能な社会に向けた温暖化抑制に関する革新的技術の創出

花粉症をはじめとするアレルギー性疾患・自己免疫疾患等を克服する免疫制御療法の開発

細胞リプログラミングに立脚した幹細胞作製・制御による革新的医療基盤技術の創出

精神・神経疾患の診断・治療法開発に向けた高次脳機能解明によるイノベーション創出

高信頼・高安全を保証する大規模集積システムの基盤技術の構築

新原理・新機能・新構造デバイス実現のための材料開拓とナノプロセス開発

生命システムの動作原理の解明と活用のための基盤技術の創出

社会的ニーズの高い課題の解決へ向けた数学/数理科学研究によるブレークスルーの探索(幅広い科学技術の研究分野との協働を軸として)

高セキュリティ・高信頼性・高性能を実現する組込みシステム用の次世代基盤技術の創出

異種材料・異種物質状態間の高機能接合界面を実現する革新的ナノ界面技術の創出とその応用

ナノデバイスやナノ材料の高効率製造及びナノスケール科学による製造技術の革新に関する基盤の構築

安全・安心な社会を実現するための先進的統合センシング技術の創出

通信・演算情報量の爆発的増大に備える超低消費電力技術の創出

次世代高精度・高分解能シミュレーション技術の開発

代謝調節機構解析に基づく細胞機能制御に関する基盤技術の創出

光の究極的及び局所的制御とその応用

新たな手法の開発等を通じた先端的な計測・分析機器の実現に向けた基盤技術の創出

メディア芸術の創造の高度化を支える先進的科学技術の創出

情報通信技術に革新をもたらす量子情報処理の実現に向けた技術基盤の構築

教育における課題を踏まえた、人の生涯に亘る学習メカニズムの脳科学等による解明

がんやウィルス感染症に対して有効な革新的医薬品開発の実現のための糖鎖機能の解明と利用技術の確立

個人の遺伝情報に基づく副作用のないテーラーメイド医療実現のためのゲノム情報活用基盤技術の確立

医療・情報産業における原子・分子レベルの現象に基づく精密製品設計・高度治療実現のための次世代統合シミュレーション技術の確立

  (一覧へ戻る)

戦略目標
高セキュリティ・高信頼性・高性能を実現する組込みシステム用の次世代基盤技術の創出

1.名称

高セキュリティ・高信頼性・高性能を実現する組込みシステム用の次世代基盤技術の創出
2.具体的な達成目標

 セキュアなオペレーティングシステム(OS)技術やコンパイラ技術等のソフトウェア技術、超並列プロセッサアーキテクチャやシステムオンチップ(SoC)や再構成可能なハードウェア(リコンフィギャブル)技術等のハードウェア技術、高信頼リアルタイム保証技術、大規模システム構築化技術等、組込みシステムの次世代の基盤となる技術の研究開発を行い、高セキュリティ・高信頼性・高性能な国産OSについて、実用化を視野に入れた開発を行う。
 これらの技術開発により、モバイル情報端末、車載機器、ウェアラブルコンピュータ等やそれらを応用した高性能コンピュータシステムの核となる組込みシステムにおいて、高セキュリティ・高信頼性を保ちつつ、高性能、リアルタイム性を保証することで、利用者が安心して高度なシステムやサービスを利用できるようになる。
3.目標設定の背景及び社会経済上の要請

 モバイル情報端末、車載機器、ウェアラブルコンピュータ等の我が国が得意とする組込みシステムは、利用者のニーズに対して、高度な情報通信技術を活用することで、ユビキタスネットワーク社会における生活の利便性や快適性をもたらしている。
 また、最近では組込みシステムの特性を活かし、高性能コンピューティング分野等の新しい分野への広がりをみせつつあり、ナノテクノロジーやライフサイエンスを始めとする科学技術や産業を革新し、国民や社会へ還元することがより一層期待されている。
 一方で、組込みシステムは、利用者の多種多様なニーズへ対応するためにシステムが複雑化、高度化しており、さらなる性能向上や高機能化を図るためには、個別システムごとの対応ではない基盤となるシステム構築技術が必要である。加えて、情報漏洩、ウィルス、不正アクセス、大規模システムダウンなどの利用者の安全・安心を脅かす諸問題が世界的規模で急激に顕在化・増大化しており、組込みシステムにおいてもこれらの問題に対する根本的な対応が必要かつ急務である。
4.目標設定の科学的裏付け

 様々な脅威から情報を守るセキュリティ性とシステムに対する高信頼性を保証した上で、利用者が安心して組込みシステムを利用できるようにするためには、アクセス制御機能、高速・高信頼処理機能、高性能コンピューティング機能、高信頼システム構築機能、リアルタイム保証機能やソフトウェアバグからの保護機能の確保が必要になる。具体的には以下の技術開発・研究が必要である。

アクセス制御機能:
 ユーザのアクセス権を制御するセキュリティポリシーの管理・検証を行う研究、セキュリティポリシーの設定で間違った設定がないことを保証する検証技術の研究等を行う。

高速・高信頼処理機能:
 高速・高信頼処理を可能にするため、複数のOSが同時に動く環境(マルチプラットフォーム)の研究、デバイスの仮想化や様々なタイプのマルチコアに対してOS自体の仮想化の研究等を行う。

高性能コンピューティング機能:
 高性能コンピューティングのための超並列プロセッサアーキテクチャ、大規模システム構築化技術等の研究と、これらを集大成した超高速コンピュータ対応するモデル、アルゴリズムの見直し、再構成可能なハードウェア(リコンフィギャブル)技術等を含むアプリケーションの高度化および高速化の研究を行う。

高信頼システム構築技術:
 コンパイラ技術、不具合が発生した時のリソースアイソレーション、動的コンフィグレーション、高速リスタートの研究、エラーが発生した時にその原因・影響をヴァーチャルマシン上でチェックするための研究、ネットワーク上に接続された機器のOSを仮想化し新しいアプリケーションを容易に構築することを可能とするミドルウェア開発等を行う。

リアルタイム保証機能:
 組込みシステムの制御系において、やり取りする情報量が増大してもリアルタイム性を保証するための、細粒度の時間管理に関する研究、実行マネジメントに関する研究、新機能を追加した時のタイミングエラー等をモデルでチェックする研究等を行う。

ソフトウェアバグからの保護機能:
 OSカーネルにバグがないということを数学的に保証・検証する研究、「安全さ」の基準設定方法に関する研究、客観的な「安全さ」基準でプログラム記述言語を含めて安全性を保証する研究等を行う。

 これらの多岐にわたる先進的な必要技術の一部は大学や企業の研究機関では進められているものの、今後、組込みシステム全体を俯瞰し、さらに戦略的・統合的に世界の先駆けとなる研究開発を進めることにより標記の戦略目標は達成可能であると考えられる。
閲覧したい項目を選びクリックしてください。
研究領域 研究総括
実用化を目指した組込みシステム用ディペンダブル・オペレーティングシステム 所 眞理雄
((株)ソニーコンピュータサイエンス研究所 代表取締役社長)
副研究総括
村岡 洋一
(早稲田大学理工学術院 教授)

 コンピュータ技術の進展に伴い、基幹業務系や汎用PCのみならず、ホームサーバ、デジタルTV、組み込み型高性能サーバ、車載制御装置、生産制御装置、通信制御装置、ロボット、携帯機器、モバイル・ウェラブルコンピュータ、センサー・アクチュエータなど、多数の情報機器・システムがネットワークに接続されるようになってきており、近い将来にいわゆるユビキタス情報社会を構成するであろうと見込まれます。この時、これらの要素システムの多くは目的別の組込みシステムとして構築され、高い信頼性、応答性を確保しつつ、小さく、軽く実現することを要求されます。加えて、それらを接続した情報システムの信頼性、安全性、セキュリティ、性能などの要求を満足でき、さらには将来の拡張性や変更に動的に対応できなければなりません。このようなディペンダブルなシステムを構築するためには、オペレーティング・システム(OS)のレベルからイノベーティブな研究開発を行う必要があると考えられます。本研究領域は、ディペンダブルな情報システムを構築するための組込みシステム向けのOSの研究開発を行うものです。
 本研究領域では、将来、社会で実際に広範に使用されうるOS技術を創出するために、実用化を目指し、個別の研究成果を統合して実用システムとして実現が可能であることを実証し、オープンソースの形で将来の更なる研究開発の基盤を提供することを目指します。このため、本研究領域においては、研究総括の強い統率の下で、必要に応じて研究体制の再編や研究の進め方の調整を行うことにより、研究領域内の研究を横断・統合した推進体制をとり、適切な研究領域運営を行うこととします。

(所属・役職は、平成21年3月時点のものです。)
石川 裕 (東京大学 情報基盤センター 教授)
「並列・分散型組込みシステムのためのディペンダブルシングルシステムイメージOS」  (512kb)

佐藤 三久 (筑波大学 計算科学研究センター  教授)
「省電力でディペンダブルな組込み並列システム向け計算プラットフォーム」  (391kb)

徳田 英幸 (慶應義塾大学 環境情報学部 教授)
「マイクロユビキタスノード用ディペンダブルOS」  (597kb)

中島 達夫 (早稲田大学 理工学術院 教授)
「高機能情報家電のためのディペンダブルオペレーティングシステム」  (269kb)

前田 俊行 (東京大学 大学院情報理工学系研究科 助教)
「ディペンダブルシステムソフトウェア構築技術に関する研究」  (272kb)

加賀美 聡 ((独)産業技術総合研究所デジタルヒューマン研究センター 研究チーム長)
「実時間並列ディペンダブルOSとその分散ネットワークの研究」  (210kb)

木下 佳樹 ((独)産業技術総合研究所システム検証研究センター 研究センター長)
「利用者指向ディペンダビリティの研究」  (302kb)

倉光 君郎 (横浜国立大学大学院工学研究院 准教授)
「Security Weaver とPスクリプトによる実行中の継続的な安全確保に関する研究」  (440kb)

河野 健二 (慶應義塾大学理工学部 准教授)
「耐攻撃性を強化した高度にセキュアなOSの創出」  (251kb)

上へ戻る

独立行政法人 科学技術振興機構