三菱重工技報
    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
    夏目明典
    青井文男
    横浜浩二
    筒井健司
    上藤陽一
    中本正彦

    品質の高い制御ソフトウェアを生産するために空調製品で実施している系統的な取り組みを紹介する.ユニット設計者にも容易に理解できる図形形式のプログラム記述を採用し,机上シミュレーション評価を始めとした各種ツールによる事前検証を充実することにより,実機試験での手戻りが大幅に短縮でき,品質の高い制御ソフトウェアが短期間で開発できるようになった.