Philips Healthcare、医療機器制御システムへの形式手法の適用事例を報告
MRI
情報源
http://www.win.tue.nl/~jfg/articles/CSR-11-04.pdf
http://www.win.tue.nl/~jkeiren/doku.php?id=fmindustry
実施者
Philips Healthcare、Eindhoven University of Technology
概要
Philips Healthcareは、X線医療機器制御システムの開発と検証に、CSP, FDR等の形式手法をベースとした分析的ソフトウェア設計(ASD)手法を適用した。従来の開発手法とASD手法を適用した場合を比較した結果、後者のコード品質が高いことが確認された。ASD手法による設計モデルは検証後に、C#言語に自動変換され実装コードとして利用された。
視点
高い安全性が求められるX線医療機器への形式手法の適用事例として注目できる。形式手法の応用範囲を広げる取組みとして参考となる。
このページの先頭へ戻る