Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-01224481
Contributor : Stephan Merz <>
Submitted on : Thursday, November 12, 2015 - 1:44:14 PM
Last modification on : Thursday, November 12, 2020 - 9:42:14 AM

Annex

Identifiers

  • HAL Id : hal-01224481, version 1

Citation

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⟩

Share

Metrics

Record views

278

Files downloads

42