![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Home > 高い生産性を持つ高信頼ソフトウェア作成技術の開発 > 片山 卓也
片山 卓也
プロジェクトリーダー
片山 卓也 (北陸先端大学)
課題名
高信頼組込みソフトウェア構築技術
代表者・所属
片山 卓也(北陸先端大学)
目的
組込みソフトウェアを、高い信頼性で、効率良く生産するための支援ツール、利用環境等の開発
目標
組込みシステム特有の計算資源、実時間処理といった制約を取り扱えるようにし、ソフトウェアの正しさや整合性の検証を容易に行うことを可能とするため、組込みソフトウェアをオブジェクト指向の統一モデル化言語UML(Unified
Modeling Language)によって記述することを可能とする支援ツールを開発する。
共同研究者
中島 (法政大学)
岸 (NECネットワークスITSソリューション推進本部)
岸 (NECネットワークスITSソリューション推進本部)
期間
5年