Duration Calculus
Encyclopedia
Duration calculus 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.
DC is mainly useful at the requirements level of the software development
process for real-time systems. Some tools are available (e.g., DCVALID, IDLVALID, 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.
Real-time computing
In computer science, real-time computing , or reactive computing, is the study of hardware and software systems that are subject to a "real-time constraint"— e.g. operational deadlines from event to system response. Real-time programs must guarantee response within strict time constraints...
. It was originally developed by Zhou Chaochen
Zhou Chaochen
Zhou Chaochen is a Chinese computer scientist.Chaochen is a professor from Beijing, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University and as a postgraduate at the Institute for Computing Technology, Chinese Academy of Sciences .He worked at...
with the help of Anders P. Ravn and C. A. R. Hoare
C. A. R. Hoare
Sir Charles Antony Richard Hoare , commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist best known for the development of Quicksort, one of the world's most widely used sorting algorithms...
on the European ESPRIT Basic Research Action (BRA) ProCoS project on Provably Correct Systems.
DC is mainly useful at the requirements level of the software development
Software development
Software development is the development of a software product...
process for real-time systems. Some tools are available (e.g., DCVALID, IDLVALID, etc.). Subsets of Duration Calculus have been studied (e.g., using discrete time rather than continuous time). DC is especially espoused by UNU-IIST
UNU-IIST
The United Nations University International Institute for Software Technology is a United Nations University Research Training Centre based in Macau.-History:...
in Macau
Macau
Macau , also spelled Macao , is, along with Hong Kong, one of the two special administrative regions of the People's Republic of China...
and the Tata Institute of Fundamental Research
Tata Institute of Fundamental Research
The Tata Institute of Fundamental Research is a research institution in India dedicated to basic research in mathematics and the sciences. It is a Deemed University and works under the umbrella of the Department of Atomic Energy of the Government of India. It is located at Navy Nagar, Colaba, Mumbai...
in Mumbai
Mumbai
Mumbai , formerly known as Bombay in English, is the capital of the Indian state of Maharashtra. It is the most populous city in India, and the fourth most populous city in the world, with a total metropolitan area population of approximately 20.5 million...
, which are major centres of excellence for the approach.
See also
- Interval Temporal LogicInterval temporal logicInterval temporal 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...
(ITL) - Temporal logicTemporal logicIn 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. In a temporal logic we can then express statements like "I am always hungry", "I will eventually be hungry", or "I will be hungry...
- Temporal Logic of ActionsTemporal Logic of ActionsTemporal logic of actions is a logic developed by Leslie Lamport, which combines temporal logic with a logic of actions.It is used to describe behaviours of concurrent systems.- Details :...
(TLA) - Modal logicModal logicModal logic is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals — words that express modalities — qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is...