Search

筆者らはこれまでシーケンス図に基づくディペンダビリティケースの作成法を提案した.また名古屋大学の物品購入のシーケンス図を用いてこの作成法の有効性を確認した.本稿では、実際のシステムのシーケンス図を対してHAZOPによるリスク分析に基づく実験を行うことにより提案手法の適用性を評価する., We have proposed the method for developing a D-case based on Sequence diagrams. In this paper, an experimental result will be shown to evaluating the applicability of the method using HAZOP., IEICE Technical Report;KBSE2013-45

ディペンダビリティケースはシステムの安全性を向上する技術として注目されています.この技術をシステムの開発プロセスに導入することが重要な課題になっている.本報告では、開発プロセスで利用されるシーケンス図の各方面を分析して、その結果に基づくディペンダビリティケース作成法を提案する., Dependability case is one of the methods used to assure system safety and availability. In this paper ,a method to develop dependability case based on sequence diagram will be proposed by analysing the sequence diagram used in the system development phase., IEICE Technical Report;KBSE2013-2