OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Mifdaoui, Ahlem A UML framework for the dimensioning and formal verification of embedded systems. (2009) In: SAFA Annual Workshop on Formal Methods (SAFA 2009), 23 Sept 2009, Sophia-Antipolis, France .

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
124kB

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.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):National conference without published proceedings
Uncontrolled Keywords:
Institution: Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT
Université de Toulouse > Université Paul Sabatier-Toulouse III - UPS
Université de Toulouse > Institut National des Sciences Appliquées de Toulouse - INSA
Other partners > Telecom ParisTech (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes

Repository Staff Only: item control page