@inproceedings{5837258f9ef245f5b6a39adb77479dfa,
title = "A new UML profile for real-time system formal design and validation",
abstract = "UML solutions in competition on the real-time system market share three common drawbacks: an incomplete formal semantics, temporal operators with limited expression and analysis power, and implementation-oriented tools with limited verification capabilities. To overcome these limitations, the paper proposes a UML profile designed with real-time system validation in mind. Extended class diagrams with associations attributed by composition operators give an explicit semantics to associations between classes. Enhanced activity diagrams with a deterministic delay, a non deterministic delay and a timelimited offering make it possible to work with temporal intervals in lieu of timers with fixed duration. The UML profile is given a precise semantics via its translation into the Formal Description Technique RT-LOTOS. A RT-LOTOS validation tool generates simulation chronograms and reachability graphs for RT-LOTOS specifications derived from UML class and activity diagrams. A coffee machine serves as example. The proposed profile is under evaluation on a satellite-based software reconfiguration system.",
author = "L. Apvrille and \{De Saqui-Sannes\}, P. and C. Lohr and P. S{\'e}nac and Courtiat, \{J. P.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; 4th International Conference on Unified Modeling Language, UML 2001 ; Conference date: 01-10-2001 Through 05-10-2001",
year = "2001",
month = jan,
day = "1",
doi = "10.1007/3-540-45441-1\_22",
language = "English",
isbn = "9783540426677",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "287--301",
editor = "Martin Gogolla and Cris Kobryn",
booktitle = "The Unified Modeling Language",
}