Approche fondée sur les modèles pour java temps-réel
Institution:
Cachan, Ecole normale supérieureDisciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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 modè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.