研究詳細

RESEARCH

Research and Industry-Academia Collaboration

研究・産学連携

自己説明型ソフトウェアコンポーネント～ソフトウェアの開発効率と安全性の向上～

概要

〇自己説明型コンポーネント
信頼性（安全性）の高いシステムを効率良く開発するには、理解しやすく、扱いやすいコンポーネントの利用が不可欠です。開発者が必要とするコンポーネントの情報を効果的かつリアルタイムに提供するため、高度の自己説明性を備えたのが自己説明型コンポーネントです。

〇本技術の独自性

処理の意図やアルゴリズムなど、プログラムの「意味」を記録できる言語群
情報量を制御して理解を助ける、適応型インタフェース技術

〇効果
自己説明型コンポーネントを用いた開発では、作成したいプログラムのアルゴリズム的性質を指定することで開発を行います。既存のプログラミング言語では記録できない、プログラムの内部動作に関する意味的情報が記録されるので、後のレビュー、デバッグ、再利用時の効率向上につながります。また、この意味的情報を用いてコンポーネントの安全性評価をより高い次元で行うことも可能となります。