TURTLE: Four Weddings and a Tutorial - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

TURTLE: Four Weddings and a Tutorial

Ludovic Apvrille
P de Saqui-Sannes
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
6A-3.pdf (240.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02267837 , version 1 (19-08-2019)

Identifiants

  • HAL Id : hal-02267837 , version 1

Citer

Ludovic Apvrille, P de Saqui-Sannes. TURTLE: Four Weddings and a Tutorial. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02267837⟩
29 Consultations
18 Téléchargements

Partager

Gmail Facebook X LinkedIn More