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][3]
Duration calculus is mainly useful at the requirements level of the software development process for real-time systems. Some tools are available (e.g., DCVALID,[4] IDLVALID,[5] etc.). Subsets of duration calculus have been studied (e.g., using discrete time rather than continuous time). Duration calculus 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
[edit]References
[edit]- ↑ Zhou Chaochen, C. A. R. Hoare and Anders P. Ravn, A Calculus of Durations, Information Processing Letters, 40(5):269–276, December 1991.
- ↑ 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.
- ↑ Bowen, Jonathan P.; Fränzle, Martin; Olderog, Ernst-Rüdiger; Bjørner, Dines; Hansen, Michael R.; Langmaack, Hans; Liu, Zhiming; Martin, Ursula (17 March 2026). "Experiences from the European ProCoS Projects: Provably Correct Systems". Formal Aspects of Computing. ACM. doi:10.1145/3803555.
- ↑ DCVALID: A tool for model-checking Duration Calculus formulae, TIFR, India.
- ↑ IDLVALID: Model checking dense time Duration Calculus formulae, TIFR, India.
External links
[edit]
 | This formal methods-related article is a stub. You can help Wikipedia by adding missing information. |