Philips Healthcare社 - X線CTスキャン
ドメイン |
|
開発対象 |
|
国 |
|
開発組織 |
|
形式手法(言語、ツール) |
|
適用範囲・規模(形式手法) |
患者をサポートするハードウェアを制御するソフトウェア
|
適用対象のソフト種別 |
|
適用目的・工程 |
|
実装言語 |
|
実装規模 |
|
効果 |
[バグ排除]
- 検知したモデルエラー 423個
[コスト削減]
- ASD Suiteを利用した開発に要したコストは541,161ユーロであり、従来の手法であれば848,811ユーロ必要であったと考えられる(実行コード行数より算出)。したがって、36%のコスト削減が可能となった。
|
(出典:Radboud University, Improving Software Development )
詳細情報
検証内容
検証規模
期間
判断
形式手法を利用した動機
- 開発コストの削減
- テストおよび統合フェーズにおける工数削減
手法・ツール選択理由
現場で利用することが容易な形式手法ツールであったため。
障害と工夫
組織
体制
教育
その他
情報源
Robert C. Howe, ASD SaaS Business Case for Philips Healthcare
このページの先頭へ戻る