A stochastic reward net model for dependability analysis of real-time computing systems
Publication
, Conference
Constazltinescu, C; Trivedi, K
Published in: Proceedings of 2nd IEEE Workshop on Real Time Applications Rta 1994
January 1, 1994
Dependability assessment plays an important role in the design and validation of fault-tolerant real-lime computer systems. Dependability models provide measures such as reliability, safety and mean time to failure as functions of the component failure rates and fault/error coverage probabilities. In this paper we present a decomposition technique that accounts for both the hardware and software architectural characteristics of the modelled systems. Stochastic reward nets are employed as a unique modeling framework. Dependability of a railroad control computer, which relies an software techniques for fault/error handling, is analysed as an application example.
Duke Scholars
Published In
Proceedings of 2nd IEEE Workshop on Real Time Applications Rta 1994
DOI
Publication Date
January 1, 1994
Start / End Page
142 / 146
Citation
APA
Chicago
ICMJE
MLA
NLM
Constazltinescu, C., & Trivedi, K. (1994). A stochastic reward net model for dependability analysis of real-time computing systems. In Proceedings of 2nd IEEE Workshop on Real Time Applications Rta 1994 (pp. 142–146). https://doi.org/10.1109/RTA.1994.316162
Constazltinescu, C., and K. Trivedi. “A stochastic reward net model for dependability analysis of real-time computing systems.” In Proceedings of 2nd IEEE Workshop on Real Time Applications Rta 1994, 142–46, 1994. https://doi.org/10.1109/RTA.1994.316162.
Constazltinescu C, Trivedi K. A stochastic reward net model for dependability analysis of real-time computing systems. In: Proceedings of 2nd IEEE Workshop on Real Time Applications Rta 1994. 1994. p. 142–6.
Constazltinescu, C., and K. Trivedi. “A stochastic reward net model for dependability analysis of real-time computing systems.” Proceedings of 2nd IEEE Workshop on Real Time Applications Rta 1994, 1994, pp. 142–46. Scopus, doi:10.1109/RTA.1994.316162.
Constazltinescu C, Trivedi K. A stochastic reward net model for dependability analysis of real-time computing systems. Proceedings of 2nd IEEE Workshop on Real Time Applications Rta 1994. 1994. p. 142–146.
Published In
Proceedings of 2nd IEEE Workshop on Real Time Applications Rta 1994
DOI
Publication Date
January 1, 1994
Start / End Page
142 / 146