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

Abstract

Le profil TURTLE (Timed UML and RT-LOTOS Environment) est dédié à la conception de systèmes temps réel sur une base formelle apportée par le langage RT-LOTOS. La chaîne d’outils formée 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 remédier à cette situation en utilisant les diagrammes UML 2.0 d'interactions et de séquences comme support à l'expression d'un service et point de départ à une synthèse de diagrammes de classes et de comportement TURTLE. L'article présente les algorithmes de synthèse et décrit la première implantation réalisée dans l’outil TTool. Le positionnement par rapport aux travaux du domaine sert de base à une discussion sur les intérêts et limitations de l'approche proposée.