A Dependability Case Editor with Pattern Library

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.