Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00133652
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

Identifiers

  • HAL Id : tel-00133652, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

287

Files downloads

2583