Duration Calculus |
Duration Calculus (DC) is an interval logic for real-time. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ProCoS project on Provably Correct Systems . It is mainly useful at the requirements level of the software development process for real-time systems. Some tools are available (e.g., DCVALID – see below). Subsets of Duration Calculus have been studied (e.g., using dicrete time rather than continuous time. DC is especially espoused by UNU-IIST in Macau, which is a major centre of excellence for the approach.
=References=
=See also=
*Interval Temporal Logic (ITL) *Temporal logic *Temporal Logic of Actions (TLA) *Modal logic
=External links=
*[http://www.iist.unu.edu/dc/ Duration Calculus &ndash Virtual Library entry] *[http://www.tcs.tifr.res.in/~pandya/dcvalid.html DCVALID: A tool for model-checking Duration Calculus formulae]|
|