Modeling real-time Java programs within Polychrony
Abdoulaye GAMATIE
Univ. Rennes 1, IRISA
Campus Universitaire de Beaulieu 35042 Rennes Cedex, 35000 Rennes FRANCE

In this ongoing study, we emphasize the synergy effects we get when combining Real-Time Java with synchronous techniques. We show that synchronous system design tools enable the complete modeling of embedded software written in a high-level and general purpose programming language such as Java. These techniques add a formal engineering model and methodology, allowing to adhere to hard real-time constraints while offering at the same time profound transformation and optimization techniques.

Slides (.pdf)