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]](http://oatao.univ-toulouse.fr/style/images/fileicons/application_pdf.png) | (Document in English) PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 121Kb |
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: | Laboratoire System on Chip - LabSoC (Sophia-Antipolis, France) Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS Laboratoire d'Analyse et d'Architecture des Systèmes - LAAS (Toulouse, France) - Outils Logiciels pour la Communication - OLC |
| Statistics: | download |
| Deposited By: | Pierre de Saqui-Sannes |
Repository Staff Only: item control page
