Toward accessibility enhancement of dependability modeling techniques and tools

TitleToward accessibility enhancement of dependability modeling techniques and tools
Publication TypeConference Paper
Year of Publication1997
AuthorsAT Tai, H Hecht, KS Trivedi, and B Zhang
Conference NameDigest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997
Date Published01/1997
Abstract

Although various dependability evaluation techniques and tools have been developed in the last two decades, no adequate attention has been paid to allow system designers not well versed in analytic modeling to easily employ these techniques and tools. In this paper, we report our experiences on accessibility enhancement for off-the-shelf modeling techniques and tools. In particular, we discuss our approaches to the development of a user-friendly dependability-evaluation workbench which is intended to lead the user to exploit the features and capabilities of the modeling tool SHARPE.

DOI10.1109/FTCS.1997.614075