Abstract
Duration Calculus was introduced as a logic to specify real-time requirements of computing systems. It has been used successfully in a number of case studies. Moreover, many variants were proposed to deal with various features of real time systems, including sequential communicating processes, sequential hybrid systems and imperative programming languages. This paper aims to integrate several variants of Duration Calculus, and to provide a semantic framework for real-time programming languages and sequential hybrid programs.
| Original language | English |
|---|---|
| Pages (from-to) | 84-99 |
| Number of pages | 16 |
| Journal | Formal Aspects of Computing |
| Volume | 15 |
| Issue number | 1 |
| State | Published - Jul 2003 |
| Externally published | Yes |
Keywords
- Duration calculus
- Hybrid systems
- Semantics
- Verification