抄録
B-008
非機能要件を考慮した制御ロジック部品推薦手法
長田知之(三菱電機)
本稿は、制御ロジック部品の機能要件や非機能要件などの仕様から、適切な制御ロジック部品を推薦する手法について述べたものである。提案手法では、制御ロジック部品の仕様を線形時相論理式(LTL式; Linear Temporal Logic)で記述する。「どのように制御するか」などの機能要件だけでなく、安全性質やセキュリティなどの非機能要件もLTL式で記述する。これらの仕様をキーに部品を検索することで、非機能要件を考慮した部品の検索を実現する。