DocumentCode
2264961
Title
A framework for reasoning about time and reliability
Author
Hansson, Hans ; Jonsson, Bengt
Author_Institution
Swedish Inst. of Comput. Sci., Kista, Sweden
fYear
1989
fDate
5-7 Dec 1989
Firstpage
102
Lastpage
111
Abstract
A logic is presented for stating properties such as `after a request for service there is at least a 98% probability that the service will be carried out within 2 s´. The logic extends the temporal logic CTL by E.A. Emerson et al. (1983) with time and probabilities. Formulas are interpreted over discrete time Markov chains. Algorithms are provided for checking that a given Markov chain satisfies a formula in the logic. An example is included to illustrate the algorithms
Keywords
Markov processes; formal logic; discrete time Markov chains; formal logic; reasoning; reliability; time; Aerospace control; Computer science; Control systems; Delay; Logic; Petri nets; Process control; Real time systems; Stochastic systems; Telephony;
fLanguage
English
Publisher
ieee
Conference_Titel
Real Time Systems Symposium, 1989., Proceedings.
Conference_Location
Santa Monica, CA
Print_ISBN
0-8186-2004-8
Type
conf
DOI
10.1109/REAL.1989.63561
Filename
63561
Link To Document