Abstract
The Duration Calculi are calculi for designing real-time software embedded systems. The Calculi overviewed in the paper include the Duration Calculus, the Extended Duration Calculus, the Mean Value Calculus and the Probabilistic Duration Calculus. They are extensions of an Interval Temporal Logic, and can accommodate some concepts of mathematical analysis such as integrals, mean values, piecewise continuity and differentiability of functions over continuous time. The Calculi can be used to capture and refine real-time requirements for hybrid systems, to define real-time behaviour/semantics of computing systems, and to calculate system dependability in terms of requirement satisfaction probability.
On leave of absence from the Software Institute, the Chinese Academy of Sciences, Beijing, China.
Preview
Unable to display preview. Download preview PDF.
References
M. Engel, M. Kubica, J. Madey, D.J. Parnas, A.P. Ravn, A.J. van Schouwen: A Formal Approach to Computer Systems Requirements Documentation, presented in the Workshop on Theory of Hybrid Systems, Lyngby, Denmark, 19–20 Oct. 1992
M.R. Hansen, Zhou Chaochen, J. Staunstrup: A Real-Time Duration Semantics for Circuits, Proc. of the Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton, March 1992
M.R. Hansen, Zhou Chaochen: Semantics and Completeness of Duration Calculus, J.W. de Bakker, C. Huizing, W.-P. de Roever, G. Rozenberg, (Eds) Real-Time: Theory in Practice, REX Workshop, LNCS 600, pp 209–225, 1992
He Jifeng, J. Bowen: Time Interval Semantics and Implementation of a Real — Time Programming Language, Proc. 4th Euromicro Workshop on Real-Time Systems, IEEE Press, June 1992
Liu Zhiming, A.P. Ravn, E.V. Sørensen, Zhou Chaochen: A Probabilistic Duration Calculus, presented in the 2nd Intl. Workshop on Responsive Computer Systems, Saitama, Japan, Oct. 1–2, 1992, published in H. Kopetz and Y. Kakuda (eds), Dependable Computing and Fault-Tolerant Systems Vol. 7: Responsive Computer Systems, pp 30–52. Springer-Verlag Wien New York, 1993.
Liu Zhiming, A.P. Ravn, E.V. Sørensen, Zhou Chaochen: Towards a Calculus of Systems Dependability, presented in the Workshop on Theory of Hybrid Systems, Lyngby, Denmark, 19–20 Oct. 1992. accepted by High Integrity Systems Journal, Oxford University Press.
B. Moszkowski: A Temporal Logic for Multi-level Reasoning about Hardware. In IEEE Computer, Vol. 18(2), pp 10–19, 1985.
A.P. Ravn, H. Rischel: Requirements Capture for Embedded Real-Time Systems, Proc. IMACS-MCTS'91 Symp. Modelling and Control of Technological Systems, Vol 2, pp. 147–152, Villeneuve d'Ascq, France, 1991
A.P. Ravn, H. Rischel, K.M. Hansen: Specifying and Verifying Requirements of Real-Time Systems, Proceedings of the ACM SIGSOFT'91 Conference on Software for Critical Systems, New Orleans, December 4–6, 1991, ACM Software Engineering Notes, Vol 15, No 5, pp 44–54, 1991 (published also in IEEE Trans. Software Eng., Vol 19, No 1, pp 41–55, January 1993)
J.U. Skakkebæk, A.P. Ravn, H. Rischel, Zhou Chaochen: Specification of Embedded Real-Time Systems, Proc. 4th Euromicro Workshop on Real-Time Systems, IEEE Press, pp 116–121, June 1992
J.U. Skakkebæk, P. Sestoft: Checking Validity of Duration Calculus Formulas, submitted to Conference on Computer-Aided Verification, Crete, June 1993
Zhou Chaochen, M.R. Hansen, A.P. Ravn, H. Rischel: Duration Specifications for Shared Processors, Proc. of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Nijmegen, January 1992, LNCS 571, pp 21–32, 1992
Zhou Chaochen, M.R. Hansen, P. Sestoft: Decidability and Undecidability Results for Duration Calculus, Proc. of STACS '93. 10th Symposium on Theoretical Aspects of Computer Science, Würzburg, Feb. 1993
Zhou Chaochen, C.A.R. Hoare, A.P. Ravn: A Calculus of Durations, Information Processing Letter, 40, 5, pp. 269–276, 1991
Zhou Chaochen, Li Xiaoshan: A Mean-Value Duration Calculus, UNU/IIST Report No. 5, March 1993, to be published in the Hoare Festschrift, Prentice-Hall International
Zhou Chaochen, A.P. Ravn, M.R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems, to be published in the Proc. of the Workshop on Theory of Hybrid Systems, Lyngby, Denmark, 19–20 Oct. 1992
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chaochen, Z. (1993). Duration Calculi: An overview. In: Bjørner, D., Broy, M., Pottosin, I.V. (eds) Formal Methods in Programming and Their Applications. Lecture Notes in Computer Science, vol 735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039713
Download citation
DOI: https://doi.org/10.1007/BFb0039713
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57316-6
Online ISBN: 978-3-540-48056-3
eBook Packages: Springer Book Archive