Conception assistée de contrôleurs d'automates depuis des modèles UML - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Conception assistée de contrôleurs d'automates depuis des modèles UML

Résumé

Le logiciel prend une place de plus en plus prépondérante dans les systèmes cyber-physiques, notamment grâce aux performances accrues des réseaux. Dans l'industrie du futur, le logiciel doit non seulement être de qualité en terme en fiabilité et de performance mais il doit aussi pouvoir évoluer rapidement et s'adapter aux nouveaux besoins ou à de nouvelles contraintes. L'ingénierie des modèles vise à raccourcir le cycle de développement en plaçant l'accent sur les abstractions et en automatisant partiellement la génération du code. Dans cet article, nous explorons l'assistance au passage progressif du modèle au code pour réduire le temps entre l'analyse et la production du logiciel. Le modèle couvre des aspects structurels, dynamiques et fonctionnels du système étudié. Le code visé est celui d'un système distribué sur plusieurs dispositifs. Nous préconisons une approche par transformation de modèles dans laquelle les transformations restent simples, la complexité se trouve dans le processus de transformation qui se veut adaptable et configurable. Pour mener les expérimentations, les modèles sont écrits en UML (ou SysML) et les programmes déployés sur Android et Lego EV3.
Fichier principal
Vignette du fichier
MSR19_paper_12.pdf (2.12 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02431942 , version 1 (08-01-2020)

Identifiants

  • HAL Id : hal-02431942 , version 1

Citer

Pascal Andre, Yannis Le Bars. Conception assistée de contrôleurs d'automates depuis des modèles UML. MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France. ⟨hal-02431942⟩
170 Consultations
414 Téléchargements

Partager

More