A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Deriving Real-Time Programs from Duration Calculus Specifications
[chapter]
2001
Lecture Notes in Computer Science
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.
doi:10.1007/3-540-44798-9_7
fatcat:e6ws5tx55jb4robjx4wryqwywq