Title | Toward accessibility enhancement of dependability modeling techniques and tools |
Publication Type | Conference Paper |
Year of Publication | 1997 |
Authors | AT Tai, H Hecht, KS Trivedi, and B Zhang |
Conference Name | Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997 |
Date Published | 01/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. |
DOI | 10.1109/FTCS.1997.614075 |