Now showing items 1-2 of 2
From continuous specification to discrete design.
(Kluwer Academic Publisher, 2000)
The paper presents a syntactical approach to designing real-time distributed systems that can handle both continuous time and discrete time models in a uniform logical framework. We approximate continuous state variables by ...
Deriving Real-Time Programs from Duration Calculus Specifications
(Technical Report 222, UNU/IIST, P.O. Box 3058, 2000)
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 ...