使い方に起因する製品の機能的不具合検出に向けた挙動モデル作成支援

抄録

想定外の使い方により、所期の機能が阻害される機能的等不具合が、各種製品で生じている。このような不具合を、生起し得る事象の網羅によって未然に防止することが望まれる。著者らは、機能、挙動、使い方に起因する事象群の因果関係、の各モデル化とそれらの統合・分析によって、機能的不具合を検出する手法を開発している。本発表では、フローチャートからペトリネットへの変換による挙動モデルの作成支援について報告する。