OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

UML and RT-LOTOS: an integration for real-time system validation

Saqui-Sannes, Pierre de and Apvrille, Ludovic and Lohr, Christophe and Sénac, Patrick and Courtiat, Jean-Pierre UML and RT-LOTOS: an integration for real-time system validation. (2002) Journal Européen des Systèmes Automatisés (JESA), 3 (7). 1029-1042. ISSN 1269-6935

(Document in English)

PDF (Author's version ) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://jesa.revuesonline.com/article.jsp?articleId=3519


The paper presents a UML profile that overcomes the limitations of real-time solutions currently available on the market. Associations between classes are given a formal semantics. New temporal operators are introduced; they include a non deterministic delay and a time-limited offering. UML models can be validated against logical and timing constraints. The profile’s semantics is given through a translation into the formal language RT-LOTOS. The latter is supported by a validation tool which generates reachability graphs from extended UML models. A coffee machine serves as example in the paper. The profile is under evaluation on a satellite-based software reconfiguration system.

Item Type:Article
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Other partners > Alcatel Space (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Laboratory name:
Deposited On:05 Mar 2009 08:49

Repository Staff Only: item control page