Skip to Main content Skip to Navigation
Conference papers

IF-2.0: A Validation Environment for Component-Based Real-Time Systems

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. 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download
Contributor : Marius Bozga <>
Submitted on : Friday, January 30, 2009 - 3:35:35 PM
Last modification on : Thursday, November 19, 2020 - 3:58:01 PM
Long-term archiving on: : Tuesday, June 8, 2010 - 9:43:49 PM


Files produced by the author(s)


  • HAL Id : hal-00357518, version 1



Marius Bozga, Susanne Graf, Laurent Mounier. IF-2.0: A Validation Environment for Component-Based Real-Time Systems. Computer Aided Verification (CAV), Jul 2002, Copenhagen, Denmark. pp.343-348. ⟨hal-00357518⟩



Record views


Files downloads