Methodology for a Model-based Timing Analysis Process for Automotive Systems
Saoussen Rekik · HAL (Le Centre pour la Communication Scientifique Directe) · 2011
Aujourd'hui, les applications automobiles sont devenues de plus en plus complexes avec des ressources limitees et plus de contraintes de temps et de safety. La verification temporelle est effectuee tres tard aujourd'hui au cours du processus de developpement automobile (apres l'implementation et au cours de la phase d'integration). Pour apporter des solutions aux problemes du developpement logiciel automobile, plusieurs approches de developpement dirige par les modeles ont ete definit. Ces approches donnent des langages, des concepts et des methodologies pour la description de l'architecture des systemes automobiles. Cependant, ces approches ne donnent aucun guide methodologique pour integrer l'analyse temporelle (notamment l'analyse d'ordonnancement) tout au long du processus de developpement. Ce travail de these propose de developper une methodologie decrivant un processus d'analyse temporelle dirige par les modeles. Cette methodologie decrit les differentes phases du processus de developpement dirige par les modeles et comment l'analyse temporelle est effectuee durant chaque phase.