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

Marius Bozga (1) , Susanne Graf (1) , Laurent Mounier (1)

1 VERIMAG - IMAG - VERIMAG

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.

Domains: Embedded Systems

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⟩