Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs |
| |
Authors: | He Jifeng Xu Qiwen |
| |
Affiliation: | (1) International Institute for Software Technology, United Nations University, Macau SAR, P.R. China;(2) Faculty of Science and Technology, University of Macau SAR, P.R. China;(3) Present address: International Institute for Software Technology, United Nations University, Macau SAR, P.R. China |
| |
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.
A shortversion of this paper appeared in J. Davis, A.W. Roscoe and J.C.P. Woodcock editors, Millennial Perspectives in Computer Science,Proceedings of the 1999 Oxford-Microsoft Symposium in Honour ofProfessor C.A.R. Hoare. |
| |
Keywords: | Duration Calculus Semantics Verification Hybrid systems |
本文献已被 SpringerLink 等数据库收录! |
|