Truth of Duration Calculus Formulae in Timed Frames

Abstract

Duration calculus is a logical formalism designed for expressing and refining real-time requirements for systems. Timed frames are essentially transition systems meant for modeling the time-dependent behaviour of programs. We investigate the interpretation of duration calculus formulae in timed frames. We elaborate this topic from different angles and show that they agree with each other. The resulting interpretation is expected to make it generally easier to establish semantic links between duration calculus and formalisms aimed at programming. Such semantic links are prerequisites for a solid underpinning of approaches to system development that cover requirement capture through coding using both duration calculus and some formalism(s) aimed at programming.

Process algebra for hybrid systems

“…[11]. The initial ideas about the use of a timed variant of the process algebra with propositional signals for hybrid systems were born while the second author was working on timed frames [17,43]. Similar ideas, born independently, were outlined in Ref.…”