Skip to Main content Skip to Navigation

Approche fondée sur les modèles pour java temps-réel

Abstract : Building accurate models of complex real time systems is essential for their functional and timing analysis. We present a modeling methodology for real time systems written in Java. The model is obtained by adequately restricting application software with timing information. We establish a subset of the Java language providing guidelines for concurrency, communication and programming practices at thread, object and control flow levels. The functional model is built using rewriting rules based on language semantics. Untimed models are extended with timing information relative to execution platform, environnent dynamics and real time deadlines. The modeling methodology was implemented in the JediTool tool.
Document type :
Complete list of metadatas
Contributor : Ens Cachan Bibliothèque <>
Submitted on : Tuesday, February 27, 2007 - 12:12:37 PM
Last modification on : Thursday, November 19, 2020 - 3:58:01 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 10:58:58 PM


  • HAL Id : tel-00133652, version 1



Chaker Nakhli. Approche fondée sur les modèles pour java temps-réel. Génie logiciel [cs.SE]. École normale supérieure de Cachan - ENS Cachan, 2005. Français. ⟨tel-00133652⟩



Record views


Files downloads