|
年々複雑化する自動車や家電などの組み込みシステムは、リアルタイム性、電力消費、信頼性などの観点で、情報技術に対して新たなチャレンジを提示しています。TRLではノート型PCの技術開発などでつちかったハードウェア技術力と、最新のソフトウェア工学の知見を活かして、組み込みシステムの新たなパラダイムを模索しています。
組み込みシステムの早期設計検証ツール
デジタル家電機器や車載情報機器等に代表される組み込みシステムの急速な大規模化・複雑化に伴い、要求仕様を満たすよう適切に設計することが困難になってきました。本プロジェクトでは、組み込み機器の設計が要求を満たすかどうかを検証する技術を開発しています。特に、記述された設計図の「意味」を統計的プロセス代数という形式的なモデルをもちいて定めることにより、性能要件等の非機能要求の検証を実現します。
組み込みシステム評価検証ツール
モバイルや情報家電等の組込みシステムの品質を短期間で向上させる評価検証技術を研究しています。組込みソフトウェアで実時間動作時に発生する特異現象を自動検出し可視化することにより、通常では検出困難な不具合を早期に発見するツール、システム動作と消費電力の相関をもとめ低消費電力化を支援するツールの開発を行ってきました。今後も高機能化し複雑化していく組込みシステムの開発支援技術を研究開発していきます。
Cell Broadband Engine™ による特定用途システム
新型マルチコアプロセッサCell Broadband Engineは、従来のプロセッサーをはるかに凌駕した性能を備えています。このプロジェクトでは、高速メディア処理や医療画像処理などCell Broadband Engineの性能を生かした特化型システムの研究やCell Broadband Engineの性能をフルに引き出す並列プログラムの開発を支援する早期性能予測ツールの開発を行っています。また、Cell Broadband Engineが持つ高度なセキュリティー機能を利用した、プログラムの改ざん防止やデータの流出防止のための仕組みの研究や、高度なセキュリティー機能を使うためのソフトウェアスタックの開発を行っています。
|
 |
