Assurance Case作成手法（d~＊）の適用評価

摘要

Many information systems are now developed as open systems which mutually depend on each other. Although assurance cases are expected to confirm dependability of open systems, it is difficult to clearly describe dependency among co-related systems, because systems are not explicitly represented in structured trees of assurance cases. By using the case study of an elevator control system, we evaluated the d* framework which can describe the dependability of inter-related open systems.%現在，開発されている情報システムの多くは，様々なシステム（要素）が相互に依存しあうオープンシステムである．しかし，代表的なAssurance Caseの記法（GSN）では，複数の対象が同じ木構造の中で表現され，システム同士の依存関係が明確にならない．そこで，対象同士のDependabilityの依存関係を記述できるd~＊（d~＊Framework）手法の導入を，エレベーターの制御システムを例にとり適用評価した．