Méthodologie pour un processus d’analyse temporelle dirigé par les modèles pour les systèmes automobiles

Methodology for a Model-based Timing Analysis Process for Automotive Systems

• Auteur / Autrice : Saoussen Rekik
• Direction : François Terrier
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 09/11/2011
• Etablissement(s) : Paris 11
• Ecole(s) doctorale(s) : Ecole doctorale Informatique de Paris-Sud
• Partenaire(s) de recherche : Laboratoire : Laboratoire d'intégration des systèmes et des technologies (Gif-sur-Yvette, Essonne ; 2001-....)
• Jury : Examinateurs / Examinatrices : Jean-Philippe Babau, Lionel Briand, Sébastien Gérard, Guy Vidal-Naquet, Stefan Kuntz
• Jury : Rapporteurs / Rapporteuses : Jean-Philippe Babau, Lionel Briand

Mots clés

Mots clés contrôlés

Ingénierie dirigée par les modèles

Analyse temporelle

Mots clés libres

Application automobiles

Développement dirigé par les modèles

Analyse d’ordonnancement

Analyse temporelle

Langages de modélisation

Outils d’analyse d’ordonnancement

Processus d’analyse temporelle dirigé par les modèles

Automotive systems

Model-based development

Scheduling analysis

Timing analysis

Modeling languages

Scheduling analysis tools

Model-based timing analysis process

Résumé

Aujourd'hui, les applications automobiles sont devenues de plus en plus complexes avec des ressources limitées et plus de contraintes de temps et de safety. La vérification temporelle est effectuée très tard aujourd'hui au cours du processus de développement automobile (après l'implémentation et au cours de la phase d'intégration). Pour apporter des solutions aux problèmes du développement logiciel automobile, plusieurs approches de développement dirigé par les modèles ont été définit. Ces approches donnent des langages, des concepts et des méthodologies pour la description de l'architecture des systèmes automobiles. Cependant, ces approches ne donnent aucun guide méthodologique pour intégrer l'analyse temporelle (notamment l'analyse d'ordonnancement) tout au long du processus de développement. Ce travail de thèse propose de développer une méthodologie décrivant un processus d'analyse temporelle dirigé par les modèles. Cette méthodologie décrit les différentes phases du processus de développement dirigé par les modèles et comment l'analyse temporelle est effectuée durant chaque phase.

Automotive systems are characterized today by increasing complexity, limited resources and more and more timing and safety requirements. Timing verification is performed too late during the development process. It is addressed by means of measurements and tests rather than through formal and systematic analysis. To meet the challenges of automotive software development, many model-based approaches have been developed. These approaches give modeling languages, concepts and methodologies allowing the description of automotive architecture. However, these approaches give no guidance for the integration of timing analysis (mainly scheduling analysis) during the phases of the model-based development process. This PhD work aims at defining a methodology that describes a model-based timing analysis process. This methodology describes the different phases of the model-based development process and how timing analysis is performed during each phase. This work has been performed in the context of a technical collaboration between Continental Automotive and the CEA laboratory.