HOME>組織の紹介

ご挨拶
社会のあちこちに情報処理システムが組み込まれ、遍在化するに及んで、情報処理システムの誤動作、バグは、以前とは比べられないほど大きな影響をもたらしています。

スタッフ紹介
関西産学官連携センター - 組み込みシステム技術連携研究体のスタッフの紹介。

システム検証技術
テストフレームワーク
フロントローディング化技術
ツール開発
Agda
仕様処理システム
ディペンダビリティ
情報処理システムの社会的責任を考えに入れた、総合的なディペンダビリティをもつ規格を策定し、その適合性評価と規格適合のためのシステム・ライフサイクル(開発、運用、廃棄など)のガイドラインを定めます。機能安全を詳しく見る
研究閲覧
関西産学官連携センター - 組み込みシステム技術連携研究体の研究成果を閲覧することができます。

▲ページ先頭へ