首页 | 本学科首页   官方微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号