Conception d’architecture de système-de-systèmes à logiciel prépondérant dirigée par les missions

La formulation des missions est le point de depart du developpement de systemes-de- systemes, etant utilisee comme base pour la specification, la verification et la validation d’architectures de systemes-de-systemes. Elaborer des modeles d’architecture pour systemes-de-systemes est une activite complexe, cette complexite reposant specialement sur les comportements emergents, c'est-a-dire, des comportements issus des interactions entre les parties constituantes d’un systeme-de-systemes qui ne peuvent pas etre predits meme si on connait tous les comportements de tous les systemes constituants. Cette these adresse le lien synergique entre mission et architecture dans le cadre des systemes-de-systemes a logiciel preponderant, en accordant une attention particuliere aux comportements emergents crees pour realiser les missions formulees. Nous proposons ainsi une approche pour la conception d’architecture de systemes-de-systemes dirigee par le modele de mission. Dans notre approche, le modele de mission sert a deriver et a valider les architectures de systemes-de-systemes. Dans un premier temps, nous generons la structure de l’architecture a l’aide de transformations de modeles. Ensuite, lors que l’architecte specifie les aspects comportementaux, la description de l’architecture resultante est validee a l’aide d’une demarche conjointe qui comprend a la fois la verification des proprietes specifiees et la validation par simulation des comportements emergents. La formalisation en termes de logique temporelle et la verification statistique de modeles sont les fondements formels de l’approche. Un outil mettant en œuvre l’ensemble de l’approche a ete egalement developpe et experimente.