Abstract
The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. DC is based on interval logic, and uses real numbers to model time, and Boolean-valued (i.e. 0,1-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic with a calculus to specify and reason about properties of state durations. The first paper of DC was published in 1991, and dozens of papers of DC have been published since then, which cover developments of logical calculi, their applications and mechanical support tools. This paper will give a brief introduction to DC and also an overview of the research of DC.
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
M.R. Hansen, P.K. Pandya and Zhou Chaochen, Finite Divergence, Theoretical Computer Science, vol 138, pp 113–139, 1995
C.L. Liu and J.W. Layland, Scheduling Algorithm for Multiprogramming in a Hard Real-Time Environment, Journal of the ACM, vol 20, no 1, pp 46–61 1973
Liu Zhiming, A.P. Ravn, E.V. Sørensen and Zhou Chaochen, A Probabilistic Duration Calculus, Dependable Computing and Fault-Tolerant Systems Vol. 7: Responsive Computer Systems, H. Kopetz and Y. Kakuda (Eds.), pp 30–52, Springer-Verlag, 1993
Paritosh K. Pandya and Dang Van Hung. Duration Calculus with Weakly Monotonic Time, Proceedings of FTRTFT’98, LNCS 1486, pp 55–64, Springer-Verlag, 1998
A.P. Ravn, H. Rischel and K.M. Hansen, Specifying and Verifying Requirements of Real-Time Systems, IEEE Trans. Softw. Eng., 1993
E.V. Sørensen, A.P. Ravn and H. Rischel, Control Program for a Gas Burner: Part 1: Informal Requirements, ProCoS Case Study 1, ProCoS Rep. ID/DTH EVS2”, 1990
J. Halpern, B. Moskowski and Z. Manna, A Hardware Semantics based on Temporal Intervals, ICALP’83, LNCS 154, pp 278–291, 1983
Zheng Yuhua and Zhou Chaochen, A Formal Proof of the Deadline Driven Scheduler, Proceedings of FTRTFT’94, H. Langmack, W.-P. de Roever and J. Vytopil (Eds), LNCS 863, pp 756–775, Springer-Verlag, 1994
Zhou Chaochen and Michael R. Hansen, Chopping a Point, BCS-FACS 7th Refinement Workshop, Electronic Workshops in Computing, Springer-Verlag, 1996
Zhou Chaochen and Michael R. Hansen, An Adequate First Order Logic of Intervals, Technical Report 91, UNU/IIST, 1996
Zhou Chaochen and C.A.R. Hoare and A.P. Ravn, A Calculus of Durations, Information Processing Letters, vol 40, no 5, pp 269–276, 1991
Zhou Chaochen and Li Xiaoshan, A Mean Value Calculus of Durations, A Classical Mind: Essays in Honour of C.A.R. Hoare, pp 431–451, Prentice Hall International, 1994
Zhou Chaochen, A.P. Ravn and M.R. Hansen, An Extended Duration Calculus for Hybrid Systems, Hybrid Systems, R.L. Grossman, A. Nerode, A.P. Ravn, H. Rischel (Eds.), LNCS 736, pp 36–59, Springer-Verlag, 1993
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chaochen, Z. (1998). Duration Calculus, a Logical Approach to Real-Time Systems. In: Haeberer, A.M. (eds) Algebraic Methodology and Software Technology. AMAST 1999. Lecture Notes in Computer Science, vol 1548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49253-4_1
Download citation
DOI: https://doi.org/10.1007/3-540-49253-4_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65462-9
Online ISBN: 978-3-540-49253-5
eBook Packages: Springer Book Archive