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

par Chaker Nakhli

Thèse de doctorat en Informatique

Sous la direction de Antoine Petit.

Soutenue en 2005

à Cachan, Ecole normale supérieure .


  • Résumé

    Construire des modèles qui représentent fidèlement les systèmes temps réels complexes est indispensable pour l'analyse de leurs propriétés fonctionnelles et temporelles. Ce travail présente une méthodologie de modélisation pour les systèmes temps réels dans le contexte de la technologie Java. Le modèle est obtenu par la restriction du modèle fonctionnel du logiciel avec les informations temporelles appropriées. Nous établissons un sous ensemble du langage Java qui réglemente la structure concurrente de l'application, la communication et les pratiques de programmation au niveau des threads, des objets et du flot de contrôle. Le mode��le fonctionnel est construit à partir de règles de réécriture basées sur la sémantique du langage. Les modèles non temporisés sont ensuite décorés par les informations relatives à la plate forme d'exécution, la dynamique de l'environnement et les échéances temps réel. La méthodologie de modélisation à été implémentée dans l'outil JediTool.

  • Titre traduit

    ˜A œmodel driven approach for real-time java


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (153 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 135-146

Où se trouve cette thèse ?

  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Disponible pour le PEB
  • Cote : THE NAK (Salle de réf.)
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Disponible pour le PEB
  • Cote : CTLes / THE NAK
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.