A Dependability Case Editor with Pattern Library

Authors:
Yutaka Matsuno;Hiroki Takamura;Yutaka Ishikawa
Affiliations:
-;-;-
Venue:
HASE '10 Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering
Year:
2010

Citing 0
Cited 2

Evaluating degree of systems' dependability with semi-structured assurance case

EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
AdvoCATE: an assurance case automation toolset

SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

This abstract discusses our current work on the collection of patterns of dependability cases for a software/system lifecycle. We also describe a prototype implementation of a dependability case editor called, which has a pattern selection function.