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

https://hal.archives-ouvertes.fr/hal-00357518
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

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00357518, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

327

Files downloads

651