Search
 
loader loading subjects...
cover
Toward Dynamic Assurance Cases
Yutaka Matsuno, Shuichiro Yamamoto
154 - 160
10.3233/978-1-61499-094-9-154
Frontiers in Artificial Intelligence and Applications
Volume 240: Knowledge-Based Software Engineering
Abstract

System assurance has become a great importance in many industrial sectors. Recently, assurance cases have been widely used for system assurance. Assurance cases are structured documents for arguing dependability/safety/etc. of systems. However, it is sometimes difficult to keep track of the description of assurance cases in accordance with system's actual behavior, particularly for failure mitigating actions. In this paper, we introduce a prototype mechanism for the problem. A preliminary result shows that the mechanism only consumes relatively small amount of resources of the target system.

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