Search
 
loader loading subjects...
cover
Evaluation of an Assurance Case development method (d*)
Takuya Saruwatari, Takashi Hoshino, Shuichiro Yamamoto
72 - 80
10.3233/978-1-61499-094-9-72
Frontiers in Artificial Intelligence and Applications
Volume 240: Knowledge-Based Software Engineering
Abstract

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.

$35.00 / €27.50 / £22.00
Add PDF to cart