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 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: | 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: | Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS Laboratoire d'Analyse et d'Architecture des Systèmes - LAAS (Toulouse, France) - Outils Logiciels pour la Communication - OLC |
| Statistics: | download |
| Deposited By: | Pierre de Saqui-Sannes |
| Deposited On: | 05 Mar 2009 08:49 |
Repository Staff Only: item control page
