Truth of Duration Calculus Formulae in Timed Frames

Truth of Duration Calculus Formulae in Timed Frames (1996)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Cornelis A. Middelburg

Venue:	Fundamenta Informaticae
Citations:	7 - 5 self

BibTeX

@TECHREPORT{Middelburg96truthof,
    author = {Cornelis A. Middelburg},
    title = {Truth of Duration Calculus Formulae in Timed Frames},
    institution = {Fundamenta Informaticae},
    year = {1996}
}

OpenURL

Abstract

The truth of duration calculus formulae in timed frames is studied. This issue is relevant to the problem of verifying whether the implementation of a software system obeys certain real-time requirements expressed for it. Two approaches are presented and related: (1) extracting interpretations of state variables from paths in frames, and (2) relating duration calculus formulae directly to paths in frames. The embedding of duration calculus into a classical first-order logic for timed frames is considered as well. Kees Middelburg is a Senior Research Fellow at UNU/IIST. He is on a two year leave (1996--1997) from KPN Research and Utrecht University, the Netherlands, where he is a Senior Computer Scientist and a Professor of Applied Logic, respectively. His research interest is in formal techniques for the development of software for reactive and distributed systems, including related subjects such as semantics of specification languages and concurrency theory. E-mail: cam@iist.unu.edu...

Keyphrases

timed frame duration calculus formula duration calculus distributed system certain real-time requirement related subject classical first-order logic kpn research concurrency theory formal technique utrecht university kees middelburg unu iist senior research fellow senior computer scientist software system cam iist research interest applied logic specification language state variable