A stochastic reward net model for dependability analysis of real-time computing systems

Author

Constazltinescu, C. ; Trivedi, Kishor

Author_Institution

Dept. of Electr. Eng., Duke Univ., Durham, NC, USA

fYear

1994

fDate

21-22 Jul 1994

Firstpage

142

Lastpage

146

Abstract

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

Keywords

fault tolerant computing; performance evaluation; real-time systems; reliability; stochastic processes; architectural characteristics; dependability analysis; error handling; fault handling; fault-tolerant real-lime computer systems; mean time to failure; railroad control computer; real-time computing systems; reliability; safety; software techniques; stochastic reward net model; Application software; Computer errors; Error correction; Fault detection; Hardware; Probability; Real time systems; Safety; Software measurement; Stochastic systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Applications, 1994., Proceedings of the IEEE Workshop on

Conference_Location

Washington, DC

Print_ISBN

0-8186-6375-8

Type

conf

DOI

10.1109/RTA.1994.316162

Filename

316162