Zhiming Liu, Anders P. Ravn, Erlin V. Sorensen and Chaochen Zhou, A Probabilistic Duration Calculus (May 1, 1992).
This paper presents a calculus that enables a designer of an embedded, real-time system to reason about and calculate whether a given requirement will hold with a sufficient high probability for given failure probabilities for components used in the design of the system. The main idea is to specify requirements and design in Duration Calculus, a real-time, interval logic, to define satisfaction probabilities for formulas in this calculus, and establish a calculus with rules that support calculation of the probability for a composite formula from probabilities of its constituents. This ensures that reasoning about probabilities is consistent with requirements and design decisions. We thus avoid introducing separate models for requirements and reliability analysis. The system model is a finite automaton with fixed transition probabilities. This defines discrete Markov processes as basis for the calulus. Keywords: duration calculus, real-time systems, probabilistic automata, satisfaction probability.
<%@ include file="cited.html" %>Z. Liu, A.P. Ravn, E.V. Sorensen and C.C. Zhou, "A Probabilistic Duration Calculus", Responsive Computer Systems, Dependable Computing and Fault-Tolerant Systems 7, ed. H. Kopetz and Y. Kakuda, Springer-Verlag, Vienna (1993); Proceedings of the Second International Workshop on Responsive Systems, Saitama, Japan
<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>