Model-Based Implementation of Real-Time Applications

Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on features of the execution platform, in particular its speed. Existing rigorous implementation techniques are applicable to specific classes of systems e.g. with periodic tasks, time deterministic sys-tems. We present a general model-based implementation method for real-time systems based on the use of two models. • An abstract model representing the behavior of real-time software as a timed automaton. The latter describes user-defined platform-independent timing constraints. Its transitions are timeless and correspond to the execution of statements of the real-time software. • A physical model representing the behavior of the real-time software running on a given model. A necessary condition for implementability is time-safety, that is, any (timed) execution se