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.

Les Revues Systématiques (RS) offrent une méthode rigoureuse pour identifier et analyser les résultats dans la littérature relatifs à un sujet d'intérêt particulier. La réalisation d'une RS est connue pour être une tâche demandant beaucoup de temps et de travail qui nécessite un protocole bien documenté avec plusieurs itérations. Il suit un processus systématique pour atteindre des résultats reproductibles, objectifs et complets. Les outils qui permettent d'automatiser certaines tâches du processus sont d'une grande valeur pour les chercheurs. Cependant, d'importantes fonctionnalités liées à la réalisation de RS de manière collaborative et itérative font encore défaut dans les outils existants. Dans ce mémoire, nous présentons ReLiS, un outil pour installer et configurer automatiquement des projets RS à réaliser de manière collaborative et itérative en ligne. Le développement de ReLiS suit une approche de développement basée sur les modèles. Il dispose d'un éditeur de modèle spécifique au domaine adapté aux chercheurs qui réalisent des RS et d'une architecture qui permet l'installation progressive et la (re)configuration de plusieurs projets SR en cours de réalisation. / Systematic Reviews (SR) provide a rigorous method to find and analyze the literature evidence relating to a particular topic of interest. Conducting SR is known to be an effort intensive and time-consuming endeavor that requires a properly documented protocol and several iterations to setup right. It follows a systematic process to achieve repeatable, unbiased and complete outcomes. Tools that help automate some tasks of the process are of tremendous value for researchers. However, important features related the conduction of SR in a collaborative and iterative way are still lacking in existing tools. In this thesis we present ReLiS, a tool to automatically install and configure SR projects to conduct them collaboratively and iteratively on the cloud. ReLiS is engineered following a model-driven development approach. It features a domain-specific modeling editor tailored for researchers who perform SR and an architecture that enables on-the-fly installation and (re)configuration of multiple concurrently running SR projects.

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.