Property-Preservation Synthesis for Unified Controland Data-Oriented Models ∗

Abstract

In the Software/Hardware Engineering model-driven design methodology, the preservation of real-time system properties can be guaranteed up to a small time-deviation in the model synthesis. Therefore, this methodology is well suited for the design of control-systems in which execution times of actions are small; thus the time-deviations obtained are small. However, in systems containing time-intensive computations, the time-deviations become large and, consequently, the real-time properties are much weakened. This paper gives an initial idea for obtaining stronger property-preservation by abstracting from the internal actions of a system and counting only the observable actions for the time-deviation. In this way, a unified way of analysis and synthesis of a larger area of real-time applications can be obtained, which would allow designers to reason about different properties of systems.