Apvrille, Ludovic and Saqui-Sannes, Pierre de TURTLE: Four Weddings and a Tutorial. (2010) In: Embedded Real Time Software and Systems - ERTSS 2010, 19 May 2010 - 21 May 2010 (Toulouse, France).
|
(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 (Paper) |
|---|---|
| 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-SUPAERO (FRANCE) Other partners > Télécom Paris (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) |
| Laboratory name: | |
| Statistics: | download |
| Deposited On: | 08 Apr 2010 07:29 |
Repository Staff Only: item control page
