Model-based implementation of real-time applications
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis · 2010
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.