Advertisement

Formal Aspects of Computing

, Volume 15, Issue 1, pp 84–99 | Cite as

Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs

  • He Jifeng
  • Xu Qiwen
Article
  • 42 Downloads

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.

Keywords

Duration Calculus; Semantics; Verification; Hybrid systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 2003

Authors and Affiliations

  1. 1.International Institute for Software TechnologyUnited Nations UniversityMacau SARP.R. China
  2. 2.Faculty of Science and TechnologyUniversity of Macau SARP.R. China
  3. 3.International Institute for Software TechnologyUnited Nations UniversityMacau SARP.R. China

Personalised recommendations