Synthèse d'une conception UML temps-réel à partir de diagrammes de séquences

Le profil TURTLE (Timed UML and RT-LOTOS Environment) est dedie a la conception de systemes temps reel sur une base formelle apportee par le langage RT-LOTOS. La chaine d’outils formee de TTool et de RTL permet de valider formellement une conception et une architecture de communication en particulier. Dans sa version initiale, le profil TURTLE n'offrait aucune solution pour exprimer des exigences. L'article propose de remedier a cette situation en utilisant les diagrammes UML 2.0 d'interactions et de sequences comme support a l'expression d'un service et point de depart a une synthese de diagrammes de classes et de comportement TURTLE. L'article presente les algorithmes de synthese et decrit la premiere implantation realisee dans l’outil TTool. Le positionnement par rapport aux travaux du domaine sert de base a une discussion sur les interets et limitations de l'approche proposee.