Hard real-time implementation of embedded software in JAVA - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2003

Hard real-time implementation of embedded software in JAVA


The popular slogan "write once, run anywhere" effectively renders the expressive capabilities of the programming framework for developing, deploying, and reusing target-independent applets. Its generality and simplicity has driven most attention of the compiler technology community to developing just-in-time and runtime compilation techniques, local and compositional optimization algorithms. When it comes to real-time and to the implementation of embedded software, this approach is however far from satisfactory, especially in hard real-time system design (e.g. airborne systems) where conformance to real-time specifications is critical. We show that synchronous design tools, and particularly the design workbench , allow for a complete modeling of embedded software written in a high-level and general purpose programming language such as . The synchronous approach provides a formal engineering model and methodology, using global transformation and optimization techniques, that allow for a program written once to be mapped on any distributed target architecture. We present a technique to import a resource constrained, multi-threaded, real-time program, together with its runtime system API, into . We put this modeling technique to work by considering a formal, refinement-based, design methodology that allows for a correct by construction remapping of the initial threading architecture of a given program on either a single-threaded target or a distributed architecture. This technique allows to generate stand-alone (Jvm-less) executables and to remap threads onto a given distributed architecture or a prescribed target real-time operating system. As a result, it allows for a complete separation between the virtual threading architecture of the functional-level system design (in ) and its actual, real-time and resource constrained implementation.
Fichier principal
Vignette du fichier
RR-5020.pdf (257.17 Ko) Télécharger le fichier

Dates and versions

inria-00071564 , version 1 (23-05-2006)


  • HAL Id : inria-00071564 , version 1


Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic. Hard real-time implementation of embedded software in JAVA. [Research Report] RR-5020, INRIA. 2003. ⟨inria-00071564⟩
135 View
366 Download


Gmail Facebook Twitter LinkedIn More