Deriving real-time programs from duration calculus specifications.

dc.contributor.author	Siewe, Francois
dc.contributor.author	Hung, D. V.
dc.date.accessioned	2010-04-29T10:14:12Z
dc.date.available	2010-04-29T10:14:12Z
dc.date.issued	2001
dc.description.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.	en
dc.identifier.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.	en
dc.identifier.doi	https://doi.org/10.1007/3-540-44798-9_7
dc.identifier.isbn	9783540425410
dc.identifier.uri	http://hdl.handle.net/2086/3767
dc.language.iso	en	en
dc.peerreviewed	Yes	en
dc.publisher	Springer-Verlag	en
dc.researchgroup	Software Technology Research Laboratory (STRL)	en
dc.researchinstitute	Cyber Technology Institute (CTI)	en
dc.title	Deriving real-time programs from duration calculus specifications.	en
dc.type	Conference	en

Files

Now showing 1 - 1 of 1