Abstract:
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.