Truth of duration calculus formulae in timed frames

• Autorzy: Middelburg K.A.
• Języki publikacji: EN

Abstrakty

EN

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) at programming.

Słowa kluczowe

EN

duration calculus; real-time requirements; timed frames; time-dependent behaviour; verification

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1998
• Tom: Vol. 36, nr 2,3
• Strony: 235--263
• Opis fizyczny: bibliogr. 38 poz.

Twórcy

autor

Middelburg K.A.

• Computing Science Department, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands,