Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
UML et le paradigme synchrone : Application la conception de
 

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

  

Source: André, Charles - Laboratoire I3S, Université de Nice Sophia Antipolis

 

Collections: Computer Technologies and Information Sciences