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 .
(Document in English)
PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
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.
Repository Staff Only: item control page