Abstract
In this paper we illustrate, by way of examples, composition, analysis and refinement of systems modelled by means of probabilistic automata behaving as Markov chains over discrete time. For a formalised and general treatment of these ideas the reader is referred to [6].
This research was supported by the Danish Technical Research Council under project Co-design. The research of Zhiming Liu was also supported in part by research grant GR/H39499 from the Science and Engineering Research Council of UK.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A.P.Ravn, H.Rischel, and K.M.Hansen. Specifying and verifying requirements of real-time systems. IEEE Trans. Software Eng., 19(1), 1993.
J.C.M. Baeten, J.A. Bergstra, and S.A. Smolka. Axiomatizing probabilistic processes: Acp with generative probabilities. In Lecture Notes in Computer Science, volume 630, pages 472–485. Springer Verlag, 1992.
B. Jonsson and K. Larsen. Specification and refinement of probabilistic processes. In Proc. 6th Annual Symp. on Logics in Computer Science, pages 226–277, 1991.
K. G. Larsen and A. Skou. Compositional verification of probabilistic processes. In Lecture Notes in Computer Science, volume 630, pages 456–471. Springer Verlag, 1992.
Z. Liu, E.V. Sørensen, A.P. Ravn, and C.C. Zhou. Towards a calculus of systems dependability. Technical report, Department of Computer Science, Technical University of Demark, 1993. To appear in Journal of High Integrity Systems, Oxford University Press.
Zhiming Liu, J. Nordahl, and E. V. Sørensen. Compositional design and refinement of probabilistic real time systems. Technical report, Institute of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark, 1993.
C.C. Zhou, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269–276, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag London Limited
About this paper
Cite this paper
Liu, Z., Nordahl, J., Vagn Sørensen, E. (1993). Composition and Refinement of Probabilistic Real-Time Systems. In: Górski, J. (eds) SAFECOMP ’93. SAFECOMP 1993. Springer, London. https://doi.org/10.1007/978-1-4471-2061-2_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2061-2_4
Published:
Publisher Name: Springer, London
Print ISBN: 978-3-540-19838-3
Online ISBN: 978-1-4471-2061-2
eBook Packages: Springer Book Archive