| | |
Summary: UML et le paradigme synchrone :
Application à la conception de
contrôleurs embarqués
Marie-Agnès PERALDI-FRATI, Charles ANDRÉ, Jean-Paul RIGAULT
Email : { map, andre, jpr }@unice.fr
Laboratoire I3S UNSA/CNRS UMR 6070
BP 121
06903 Sophia Antipolis cédex
Résumé : Nous proposons une approche qui combine les concepts des langages synchrones et d'UML
pour la mise en oeuvre de systèmes temps réel. Nous prenons un exemple de l'industrie automobile (un
contrôleur de siège) pour illustrer notre approche. L'UML n'étant pas capable de prendre en compte certaines
spécificités du synchrone, nous introduisons des modèles dynamiques et des stéréotypes mieux adaptés à une
programmation réactive. La méthode proposée permet une conception à base d'objets qui prend en compte la
sémantique des modèles synchrones et facilite la vérification formelle de propriétés. La réalisation des
contrôleurs peut être totalement ou partiellement synchrone.
Mots clef : UML, Programmation synchrone, Contrôleur embarqué, Application automobile.
1 Introduction
1.1 Domaine d'application
Les systèmes autonomes intégrant un processeur numérique sont chaque jour plus nombreux. Certains
sont impliqués dans des opérations de contrôle en temps réel. C'est le cas de contrôleurs que l'on trouve dans les
|
