Une Approche Incrémentale pour Adapter des Blocs SysML - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Une Approche Incrémentale pour Adapter des Blocs SysML

Résumé

Le 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.
poster37.pdf (111.47 Ko) Télécharger le fichier
Format : Papier court
Origine : Fichiers produits par l'(les) auteur(s)
Commentaire : Résumé du poster

Dates et versions

hal-01224481 , version 1 (12-11-2015)

Identifiants

  • HAL Id : hal-01224481 , version 1

Citer

Hamida Bouaziz. Une Approche Incrémentale pour Adapter des Blocs SysML. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. ⟨hal-01224481⟩
156 Consultations
34 Téléchargements

Partager

Gmail Facebook X LinkedIn More