Modélisation UML d'un régulateur de vitesse automobile

Luka Leroux 1 Jérôme Delatour Philippe Dhaussy 2
2 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Résumé : Dans le développement des systèmes embarqués temps réel, le couplage des approches semi-formelles et formelles reste complexe, tant par la diversité des langages utilisables que par les approches méthodologiques possibles. En outre, il est encore reproché aux approches formelles d'être difficiles d'utilisation par des industriels. Afin d'illustrer les progrès de ces approches et leur relative facilité d'emplois par des industriels, un même cas d'étude sera traité par différentes approches formelles. Cet article, premier d'une série, introduit le cas d'étude d'un système de régulation de vitesse automobile. Cette présentation s'appuie sur une modélisation semi-formelle. Cette modélisation, de type SysML/UML nous semble assez représentative des pratiques industrielles du domaine. L'objectif est ainsi de fournir un premier modèle commun en entrée des différentes approches formelles qui seront présentées dans les articles suivants.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01006647
Contributor : Annick Billon-Coat <>
Submitted on : Monday, June 16, 2014 - 2:38:23 PM
Last modification on : Monday, February 25, 2019 - 3:14:12 PM

Identifiers

  • HAL Id : hal-01006647, version 1

Citation

Luka Leroux, Jérôme Delatour, Philippe Dhaussy. Modélisation UML d'un régulateur de vitesse automobile. Génie logiciel, C & S, 2014, 109. ⟨hal-01006647⟩

Share

Metrics

Record views

624