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 systems. We present a general model-based implementation method for real-time systems based on the use of two models. tract 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.

• Type: Journal
• Year: 2010
• Where: EMSOFT
• Authors: Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
• Keywords: EMSOFT 2010, Execution Platform, Execution Times, Software Engineering, Timing Constraints