Skip to Main content Skip to Navigation
Conference papers

Tools and Applications II: The IF Toolset

Abstract : This paper presents an overview on the IF toolset which is an environment for modelling and validation of heterogeneous real-time systems. The toolset is built upon a rich formalism, the IF notation, allowing structured automata-based system representations. Moreover, the IF notation is expressive enough to support real-time primitives and extensions of high-level modelling languages such as SDL and UML by means of structure preserving mappings. The core part of the IF toolset consists of a syntactic transformation component and an open exploration platform. The syntactic transformation component provides language level access to IF descriptions and has been used to implement static analysis and optimisation techniques. The exploration platform gives access to the graph of possible executions. It has been connected to different state-of-the-art model-checking and test-case generation tools. A methodology for the use of the toolset is presented at hand of a case study concerning the Ariane-5 Flight Program for which both an SDL and a UML model have been validated.
Document type :
Conference papers
Complete list of metadata
Contributor : Marius Bozga Connect in order to contact the contributor
Submitted on : Friday, February 13, 2009 - 4:30:59 PM
Last modification on : Tuesday, October 19, 2021 - 1:48:08 PM
Long-term archiving on: : Tuesday, June 8, 2010 - 10:23:48 PM


Files produced by the author(s)




Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis. Tools and Applications II: The IF Toolset. International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sep 2004, Bertinoro, Italy. pp.237-267, ⟨10.1007/b110123⟩. ⟨hal-00361307⟩



Record views


Files downloads