Hard real-time implementation of embedded software in JAVA - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2003

Hard real-time implementation of embedded software in JAVA

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-5020.pdf (257.17 Ko) Télécharger le fichier
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00071564 , version 1

Citer

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 Consultations
396 Téléchargements

Partager

Gmail Facebook X LinkedIn More