Methodology for a model based timing analysis process for automotive systems.

• Main Author: Rekik, Saoussen
• Language: fra
• Published: Université Paris Sud - Paris XI 2011
• Subjects: [INFO:INFO_OH] Computer Science/Other; [INFO:INFO_OH] Informatique/Autre; 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
• Online Access: http://tel.archives-ouvertes.fr/tel-00647906; http://tel.archives-ouvertes.fr/docs/00/64/79/06/PDF/VA2_ANSSI_SAOUSSEN_09112011.pdf

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.