Duration calculus

Duration calculus

Duration calculus (DC) is an interval logic for real-time systems. 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.[1][2]

DC is mainly useful at the requirements level of the software development process for real-time systems. Some tools are available (e.g., DCVALID,[3] IDLVALID,[4] etc.). Subsets of Duration Calculus have been studied (e.g., using discrete time rather than continuous time). DC is especially espoused by UNU-IIST in Macau and the Tata Institute of Fundamental Research in Mumbai, which are major centres of excellence for the approach.

See also


  1. ^ Zhou Chaochen, C. A. R. Hoare and Anders P. Ravn, A Calculus of Durations, Information Processing Letters, 40(5):269–276, December 1991.
  2. ^ Zhou Chaochen and Michael R. Hansen, Duration Calculus: A Formal Approach to Real-Time Systems. Springer-Verlag, Monographs in Theoretical Computer Science, An EATCS Series, 2003. ISBN 3-540-40823-1.
  3. ^ DCVALID: A tool for model-checking Duration Calculus formulae, TIFR, India.
  4. ^ IDLVALID: Model checking dense time Duration Calculus formulae, TIFR, India.

External links

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Professor Calculus — (Professeur Tournesol) Publication information Publisher Casterman (Belgium) …   Wikipedia

  • Event calculus — The event calculus is a logical language for representing and reasoning about actions and their effects first presented by Robert Kowalski and Marek Sergot in 1986.It was extended by Murray Shanahan and Rob Miller in the 1990s.The basic… …   Wikipedia

  • Felicific calculus — Part of a series on Utilitarianism …   Wikipedia

  • Bond duration — Financial markets Public market Exchange Securities Bond market Fixed income Corporate bond Government bond Municipal bond …   Wikipedia

  • felicific calculus — The possibility of computing the value of ‘units’ of happiness, associated with the utilitarianism of Bentham . Happiness, or the end of action, is to be measured in terms of units of pleasure . These are ordered by intensity, duration, and… …   Philosophy dictionary

  • Charles Leonard Hamblin — (1922 – 14 May 1985) was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy at the Technical University of New South Wales (now the University of New South Wales) in Sydney. Among his most well known… …   Wikipedia

  • List of computer scientists — Expand list|date=August 2008This is a list of well known computer scientists, people who do work in computer science, in particular researchers and authors.Some persons notable as programmers are included here because they work in research as… …   Wikipedia

  • Temporal logic — In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic… …   Wikipedia

  • Interval temporal logic — (also interval logic) is a temporal logic for representing both propositional and first order logical reasoning about periods of time that is capable of handling both sequential and parallel composition. Instead of dealing with infinite sequences …   Wikipedia

  • United Nations University International Institute for Software Technology — The United Nations University International Institute for Software Technology (UNU IIST) is a United Nations University Research Training Centre based in Macau. It was originally set up by the Danish professor Dines Bjørner using funding from… …   Wikipedia