Duration calculus (DC) is an
interval logic for
real-time systems. It was originally developed by
Zhou Chaochen
Zhou Chaochen (; born 1 November 1937) is a Chinese computer scientist.
Zhou was born in Nanhui, Shanghai, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University (1954–1958) and as a postgra ...
with the help of
Anders P. Ravn and
C. A. R. Hoare
Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) (born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and c ...
on the European
ESPRIT
Esprit or L'Esprit may refer to:
* the French for Spirit; as a loanword:
** Enthusiasm, intense interest or motivation
** Morale, motivation and readiness
** Geist "mind/spirit; intellect"
* Esprit (name), a given name and surname
* ''Esprit'' (m ...
Basic Research Action (BRA) ''ProCoS'' project on ''Provably Correct Systems''.
Duration calculus is mainly useful at the
requirements
In product development and process optimization, a requirement is a singular documented physical or functional need that a particular design, product or process aims to satisfy. It is commonly used in a formal sense in engineering design, includi ...
level of the
software development
Software development is the process of conceiving, specifying, designing, programming, documenting, testing, and bug fixing involved in creating and maintaining applications, frameworks, or other software components. Software development invol ...
process for real-time systems. Some tools are available (e.g., DCVALID, IDLVALID,
IDLVALID: Model checking dense time Duration Calculus formulae
TIFR, India. etc.). Subsets of duration calculus have been studied (e.g., using discrete time
In mathematical dynamics, discrete time and continuous time are two alternative frameworks within which variables that evolve over time are modeled.
Discrete time
Discrete time views values of variables as occurring at distinct, separate "po ...
rather than continuous time). Duration calculus is especially espoused by UNU-IIST
The United Nations University International Institute for Software Technology (UNU-IIST; ; Portuguese: ''Instituto Internacional para Tecnologia de Programação da Universidade das Nações Unidas'') was a United Nations University Research Tr ...
in Macau
Macau or Macao (; ; ; ), officially the Macao Special Administrative Region of the People's Republic of China (MSAR), is a city and special administrative region of China in the western Pearl River Delta by the South China Sea. With a pop ...
and the Tata Institute of Fundamental Research in Mumbai
Mumbai (, ; also known as Bombay — the official name until 1995) is the capital city of the Indian state of Maharashtra and the ''de facto'' financial centre of India. According to the United Nations, as of 2018, Mumbai is the second- ...
, which are major centres of excellence for the approach.
See also
* Interval temporal logic (ITL)
*Temporal logic In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I ...
*Temporal logic of actions
Temporal logic of actions (TLA) is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.
It is used to describe behaviours of concurrent and distributed systems. It is the logic underlying the specification l ...
(TLA)
*Modal logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend other ...
References
External links
Duration Calculus — Virtual Library entry
{{formalmethods-stub
1991 introductions
Formal specification languages
Temporal logic