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