In order to permit users with little analytic background to evaluate dependability, modeling tools require a user-friendly front end. With this motivation, we have developed a software tool referred to as SDDS for "Software Dependability for Distributed Systems." In particular, we have designed and implemented a graphical user interface (GUI) based on a "user-language"-basic building blocks representing system components and/or subsystems. Therefore, the user can specify his/her dependability model at a high level. SDDS then translates the high-level specification into a representation that can be automatically solved by the underlying modeling engines SHARPE or SPNP (both from Trivedi, a Professor at Duke University). The translation and solution processes are transparent to the user. We first illustrate the design of SDDS. We then describe, from a software engineering perspective, how SDDS can be utilized effectively for evaluation and improvement of system design.
A user-friendly dependability evaluation tool
1996-01-01
445397 byte
Conference paper
Electronic Resource
English
A User-Friendly Dependability Evaluation Tool
British Library Conference Proceedings | 1996
|MEADEP: a dependability evaluation tool for engineers
Tema Archive | 1998
|British Library Conference Proceedings | 1998
|British Library Conference Proceedings | 1996
|Software dependability evaluation in space systems
Tema Archive | 1990
|