OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

TURTLE-P: a UML profile for the formal validation of critical and distributed systems

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Khendek, Ferhat TURTLE-P: a UML profile for the formal validation of critical and distributed systems. (2006) Software and Systems Modeling, vol. 5 (n° 4). pp. 449-466. ISSN 1619-1366

[img]
Preview
(Document in English)

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

Official URL: http://dx.doi.org/10.1007/s10270-006-0029-5

Abstract

The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS. Further, it is supported by a formal validation toolkit. This paper introduces TURTLE-P, an extended profile no longer restricted to the abstract modeling of distributed systems. Indeed, TURTLE-P addresses the concrete descriptions of communication architectures, including quality of service parameters (delay, jitter, etc.). This new profile enables co-design of hardware and software components with extended UML component and deployment diagrams. Properties of these diagrams can be evaluated and/or validated thanks to the formal semantics given in RT-LOTOS. The application of TURTLE-P is illustrated with a telecommunication satellite system.

Item Type:Article
Additional Information:Thanks to Springer editor. The definitive version is available at http://www.springerlink.com The original PDF of the article can be found at Software and Systems Modeling website: http://www.springerlink.com/content/109378/
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 > Institut Eurécom (FRANCE)
Other partners > Concordia University (CANADA)
Other partners > Telecom ParisTech (FRANCE)
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes
Deposited On:04 Jun 2008 12:32

Repository Staff Only: item control page