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), vol. 3 (n° 7). pp. 1029-1042. ISSN 1269-6935

[img] (Document in English)

PDF (Author's version ) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
103kB

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

Abstract

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: Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Telecom ParisTech (FRANCE)
Other partners > Alcatel Space Industries Toulouse (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes
Deposited On:05 Mar 2009 08:49

Repository Staff Only: item control page