Vol. 43 No. 2 (2006)   エアコン特集
技術論文
信頼性の高い製品を支える制御ソフトウェア検証技術

Validation and Verification Technology of the Control System Software for High Reliability Product
夏目明典
Akinori Natsume
青井文男
Fumio Aoi
横浜浩二
Koji Yokohama
筒井健司
Kenji Tsutsui
上藤陽一
Yoichi Uefuji
中本正彦
Masahiko Nakamoto
夏目明典
青井文男
横浜浩二
筒井健司
上藤陽一
中本正彦
品質の高い制御ソフトウェアを生産するために空調製品で実施している系統的な取り組みを紹介する.ユニット設計者にも容易に理解できる図形形式のプログラム記述を採用し,机上シミュレーション評価を始めとした各種ツールによる事前検証を充実することにより,実機試験での手戻りが大幅に短縮でき,品質の高い制御ソフトウェアが短期間で開発できるようになった.