Title | User-friendly dependability evaluation tool |
Publication Type | Journal Article |
Year of Publication | 1996 |
Authors | H Hecht, AT Tai, KS Trivedi, and AJ Chruscicki |
Journal | IEEE Proceedings of the National Aerospace and Electronics Conference |
Volume | 2 |
Start Page | 637 |
Pagination | 637 - 641 |
Date Published | 01/1996 |
Abstract | 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. |
Short Title | IEEE Proceedings of the National Aerospace and Electronics Conference |