Sciweavers

EMSOFT
2010
Springer

Model-based implementation of real-time applications

13 years 1 months ago
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.
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
Added 11 Feb 2011
Updated 11 Feb 2011
Type Journal
Year 2010
Where EMSOFT
Authors Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
Comments (0)