Now showing items 1-1 of 1
A Formal design technique for real-time embedded systems development using duration calculus.
(IEEE Computer Society, 2004)
In this paper we present a syntactical approach for the design of real-time embedded systems. The require- ment of the system is specified as Duration Calculus formula over continuous state variables. We model discretization ...