Philips Healthcare社 - X線CTスキャン - 応用事例DB

医療

Philips Healthcare社 - X線CTスキャン

ドメイン	医療
開発対象	X線CTスキャン
国	オランダ
開発組織	Philips Healthcare
形式手法（言語、ツール）	Verum ASD Suite
適用範囲・規模（形式手法）	患者をサポートするハードウェアを制御するソフトウェア
適用対象のソフト種別	制御系
適用目的・工程	設計、コード生成
実装言語	C++、C#
実装規模	C++ 7697行、C# 19684行 79人月
効果	[バグ排除] 検知したモデルエラー 423個 [コスト削減] ASD Suiteを利用した開発に要したコストは541,161ユーロであり、従来の手法であれば848,811ユーロ必要であったと考えられる（実行コード行数より算出）。したがって、36%のコスト削減が可能となった。

（出典:Radboud University, Improving Software Development ）

詳細情報

検証内容

検証規模

期間

2008年

判断

形式手法を利用した動機

開発コストの削減
テストおよび統合フェーズにおける工数削減

手法・ツール選択理由

現場で利用することが容易な形式手法ツールであったため。

障害と工夫

組織

体制

教育

その他

情報源

Robert C. Howe, ASD SaaS Business Case for Philips Healthcare

このページの先頭へ戻る