Deriving real-time programs from duration calculus specifications.
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
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.
ISBN : 9783540425410
Research Group : Software Technology Research Laboratory (STRL)
Research Institute : Cyber Technology Institute (CTI)
Peer Reviewed : Yes