Sciweavers

Share
CHARME
2001
Springer

Deriving Real-Time Programs from Duration Calculus Specifications

9 years 10 months ago
Deriving Real-Time Programs from Duration Calculus Specifications
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.
François Siewe, Dang Van Hung
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where CHARME
Authors François Siewe, Dang Van Hung
Comments (0)
books