Title | Dependability modeling of real-time systems using stochastic reward nets |
Publication Type | Journal Article |
Year of Publication | 1995 |
Authors | C Constantinescu, and K Trivedi |
Journal | Microelectronics Reliability |
Volume | 35 |
Issue | 6 |
Start Page | 903 |
Pagination | 903 - 914 |
Date Published | 01/1995 |
Abstract | Dependability modeling plays a major role in the design, validation and maintenance of real-time computing systems. Typical models provide measures such as mean time to failure, reliability and safety as functions of the component failure rates and fault/error coverage probabilities. In this paper we propose a modeling technique that allows the coverage to be dependent upon the local (i.e. embedded at task level) and global (i.e. available at system level) fault/error detection and recovery mechanisms. This approach also ensures important savings in terms of the simulation time required for deriving the coverage probabilities. Stochastic. reward nets are employed as a unique dependability modeling framework. For illustrating the usefulness of this technique we analyze dependability of a railroad control computer. © 1995. |
DOI | 10.1016/0026-2714(94)00150-M |
Short Title | Microelectronics Reliability |