|
A. Tai, H. Hecht, "A User-Friendly Dependability Evaluation Environment for System
Designers", Computer- Aided Design, Test and Evaluation for Dependability Workshop,
Beijing, China, July, 1996
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
System”. 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 engine SHARPE (from
Professor Trivedi, Duke University). The translation and solution processes are
transparent to the user. We describe the design of SDDS in terms of its “user language”
and the translator that converts the high-level user input (model specification)
to the low-level representation that SHARPE will accept.
Click to Download
|
|
