Marie-Agnès PERALDI-FRATI, Charles ANDRE, Jean-Paul RIGAULT
Nous proposons une approche qui combine les concepts des langages synchrones et d’UML pour la mise en œuvre 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.
UML, Programmation synchrone, Contrôleur embarqué, Application automobile.
@INPROCEEDINGS{sp:RTS2002,
AUTHOR = "M-A. Peraldi-Frati and C. Andr\'e and J-P. Rigault",
TITLE = "UML et le paradigme synchrone~: Application à la
conception de contrôleurs embarqués",
sorte= "colna" ,
BOOKTITLE = {RTS'2002},
PUBLISHER= {Teknea},
PAGES = {71--89},
YEAR = {2002},
ADDRESS = {Paris (F)},
MONTH = {26-28 mars}
}