Abstract
In a previous paper, we defined TURTLE, a Timed UML and RT-LOTOS Environment which includes a real-time UML profile with a formal semantics given in terms of translation to RT-LOTOS, and a model validation approach based on the RTL toolset. This paper presents an enhanced TURTLE with new composition operators (Invocation, Periodic, Suspend / Resume) and suspendable temporal operators which makes it possible to model scheduling constraints of real-time systems. The proposed extension is formalized in terms of translation to native TURTLE. Thus, we preserve the possibility to use RTL to check a real-time system model against logical and timing errors. A case study illustrates the use of the new operators.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Apvrille, L., de Saqui-Sannes, P., Lohr, C., Sénac, P., Courtiat, J.-P.: A New UML Profile for Real-time System Formal Design and Validation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, p. 287. Springer, Heidelberg (2001)
Apvrille, L.: Contribution to Dynamic Reconfiguration of Embedded Real-Time Software: Application to a Satellite Telecommunication Environment, Ph.D. dissertation (June 2002) (in French)
Apvrille, L., de Saqui-Sannes, P., Khendek, F.: TURTLE-P: a UML Profile for Distributed architecture Validation (submitted for publication) (in French)
Courtiat, J.-P., Santos, C.A.S., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a Temporal Extension of the LOTOS Formal Description Technique. Computer Communications 23(12), 1104–1123 (2000)
Lohr, C.: Contribution to Real-Time System Specification Relying on the Formal Description Technique RT-LOTOS. Ph.D. dissertation (December 2002) (in French)
Hernalsteen, C.: Specification, Validation and Verification of Real-Time Systems in ETLOTOS. Ph.D. thesis, Université Libre de Bruxelles, Belgium (1998)
Object management Group: Unified Modeling Language Specification, Version 1.4 (2001), http://www.omg.org/cgi-bin/doc?formal/01-09-67
Object Management Group: UML Profile for Scheduling, Performance, and Time, Draft Specification, ftp://ftp.omg.org/pub/docs/ptc/02-03-02.pdf
Real-time LOTOS, http://www.laas.fr/RT-LOTOS
Terrier, F., Gérard, S.: Real Time System Modeling with UML: Current Status and Some Prospects. In: Proceedings of the 2nd Workshop of the SDL Forum society on SDL and MSC, SAM 2000, Grenoble, France (2000)
Tau Generation 2, http://www.telelogic.com/products/tau/index3.cfm
Baldonado, M., Chang, C.-C.K., Gravano, L., Paepcke, A.: UML 2.0. The Stanford Digital Library Metadata Architecture. Int. J. Digit. Libr. 1, 108–121 (1997), http://www.u2-partners.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this paper
Cite this paper
Lohr, C., Apvrille, L., de Saqui-Sannes, P., Courtiat, JP. (2003). New Operators for the TURTLE Real-Time UML Profile. In: Najm, E., Nestmann, U., Stevens, P. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2003. Lecture Notes in Computer Science, vol 2884. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39958-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-39958-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20491-6
Online ISBN: 978-3-540-39958-2
eBook Packages: Springer Book Archive