Deriving real-time programs from duration calculus specifications.

Date

2001

Authors

Siewe, Francois
Hung, D. V.

Advisors

Journal Title

Journal ISSN

ISSN

DOI

https://doi.org/10.1007/3-540-44798-9_7

Volume Title

Publisher

Springer-Verlag

Type

Conference

Peer reviewed

Yes

Abstract

In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach is to model discretization at state level by introducing the discrete states approximating the continuous ones, and then derive a specification of the control program over discrete states. Then the control program is derived from its specification using an extension of Hoare triples to real-time.

Description

Keywords

Citation

Siewe, F. and Hung, D.V. (2001) Deriving real-time programs from duration calculus specifications. The 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Livingston-Edinburgh, Scotland, LNCS 2144, Springer-Verlag, pp. 92-97.

URI

http://hdl.handle.net/2086/3767

Rights

Research Institute

Cyber Technology Institute (CTI)

Collections

School of Computer Science and Informatics