OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

TURTLE: Four Weddings and a Tutorial

Apvrille, Ludovic and Saqui-Sannes, Pierre de TURTLE: Four Weddings and a Tutorial. (2010) In: Embedded Real Time Software and Systems - ERTSS 2010, 19-21 May 2010, Toulouse, France .

[img] (Document in English)

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

Official URL: http://www.erts2010.org/

Abstract

The paper discusses an educational case study of protocol modelling in TURTLE, a real-time UML profile supported by the open source toolkit TTool. The method associated with TURTLE is step by step illustrated with the connection set up and handover procedures defined for the Future Air navigation Systems. The paper covers the following methodological stages: requirement modeling, use-case driven and scenario based analysis, object-oriented design and rapid prototyping in Java. Emphasis is laid on the formal verification of analysis and design diagrams.

Item Type:Conference or Workshop Item (Lecture)
Additional Information:Papers of the conference presentations are available to download on the website at the programme and papers page http://www.erts2010.org/Default.aspx?Id=973&Idd=981
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution: Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Telecom ParisTech (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes

Repository Staff Only: item control page