A UML framework for the dimensioning and formal verification of embedded systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A UML framework for the dimensioning and formal verification of embedded systems

Résumé

The TURTLE UML profile and the open source toolkit TTool define a formal modeling and verification framework for communicating embedded systems design. The paper extends TURTLE and TTool with network calculus techniques. Dimensioning diagrams enable system dimensioning prior to usual object-oriented design and facilitates formal verification of design models. The paper uses a video-conferencing system to illustrate the proposed approach.
Fichier principal
Vignette du fichier
De_Saqui_Sannes_3214.pdf (121.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04088272 , version 1 (04-05-2023)

Identifiants

  • HAL Id : hal-04088272 , version 1
  • OATAO : 3214

Citer

Ludovic Apvrille, Pierre De Saqui-Sannes, Ahlem Mifdaoui. A UML framework for the dimensioning and formal verification of embedded systems. SAFA Annual Workshop on Formal Methods (SAFA 2009), Sep 2009, Sophia-Antipolis, France. pp.0. ⟨hal-04088272⟩
37 Consultations
9 Téléchargements

Partager

Gmail Facebook X LinkedIn More