2005 | OriginalPaper | Chapter
Integrating Variants of DC
Authors : He Jifeng, Jin Naiyong
Published in: Theoretical Aspects of Computing - ICTAC 2004
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Duration Calculus (DC) [22] 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 of DC were proposed to deal with various real-time systems, including communicating processes [24], sequential hybrid systems [19, 23] imperative programming languages [2,17,18,24] finite divergence [6] and liveness properties [1,25]. This paper aims to integrate those variants, and provides a logical framework for DC-based programming, and a design calculus for mixed hardware/software systems.