Une Approche Incrémentale pour Adapter des Blocs SysML

International audienceLe développement des systèmes complexes et hétérogènes revêt un intérêt grandissant dans le milieu industriel. Pour améliorer la qualité de développement de tels systèmes, il faut s'appuyer sur une véritable approche qui non seulement combine des langages de spécification de haut niveau et des langages formels permettant la vérification, mais aussi, elle doit permettre une décomposition du système en un ensemble de composants. Ceci implique la définition de méthodes pour assembler et adapter ces composants. Des travaux existants dans font référence au problème d'adaptation de composants. D'une part, nous nous appuyons sur le langage SysML pour modéliser l'architecture et le comportement des composants, et d'autre part, nous faisons appel au formalisme des automates d'interface pour modéliser les interactions entre les blocs réutilisés et générer les protocoles d'interaction des blocs adaptateurs