Traçabilité d'exigences temporelles dans l'outil UML/SysML TTool

La demonstration proposee concerne la tracabilite d'exigences tout au long du cycle de developpement d'un systeme temps-reel, potentiellement distribue. L'outil TTool, base sur un profil UML2, permet de saisir les exigences au format SysML, puis de confronter, par utilisation de techniques de verification formelle, ces exigences aux diagrammes UML du systeme.