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.
Type de document :
Communication dans un congrès
Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. Modélisation des Systèmes Réactifs
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01224481
Contributeur : Stephan Merz <>
Soumis le : jeudi 12 novembre 2015 - 13:44:14
Dernière modification le : vendredi 6 juillet 2018 - 15:06:09

Annexe

Identifiants

  • HAL Id : hal-01224481, version 1

Citation

Hamida Bouaziz. Une Approche Incrémentale pour Adapter des Blocs SysML. Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. Modélisation des Systèmes Réactifs. 〈hal-01224481〉

Partager

Métriques

Consultations de la notice

205

Téléchargements de fichiers

39