Modélisation UML d'un régulateur de vitesse automobile
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.