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

Cited literature [29 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02431942
Contributor : Mehdi Lhommeau <>
Submitted on : Wednesday, January 8, 2020 - 11:35:57 AM
Last modification on : Saturday, January 11, 2020 - 1:42:14 AM

File

MSR19_paper_12.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02431942, version 1

Collections

Citation

Pascal André, 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⟩

Share

Metrics

Record views

3

Files downloads

10