A UML framework for the dimensioning and formal verification of embedded systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

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

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

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

Cite

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 View
9 Download

Share

Gmail Facebook X LinkedIn More