Skip to Main content Skip to Navigation
Reports

Hard real-time implementation of embedded software in JAVA

Abstract : 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.
Document type :
Reports
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/inria-00071564
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 5:57:31 PM
Last modification on : Friday, January 8, 2021 - 3:40:38 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:20:27 PM

Identifiers

  • HAL Id : inria-00071564, version 1

Citation

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⟩

Share

Metrics

Record views

391

Files downloads

678