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.
Domaines
Systèmes embarqués| Origine | Fichiers produits par l'(les) auteur(s) |
|---|