IF

Intermediate Format and Verification Tool set

The IF Intermediate Representation based on extending communicating timed automata has been defined for being able to offer a powerful toolset offering simulation, analysis and verification facilities for different modelling languages for distributed real-time systems. The IF plays thus the role of an intermediate representation between high-level standards and verification tools. This representation is expressive enough to capture most of the functional primitives existing in standard languages such as SDL and UML (parallel execution, communication media, complex data, dynamic creation and destruction, parameterization, etc) as well as non-functional aspects related to timing, performance and scheduling.

The IF toolset includes front-ends allowing to translate different high-level modelling languages (e.g. SDL and different UML dialects) into the IF intermediate representation. Then it offers a number of backend tools for simulation and verification of IF models, and TGV allows generating test cases for a given test objective.

See also IF and IFx toolbox site

 Links

  Projects

RNRT PROUST
Esprit LTR VIRES
IST INTERVAL
IST ADVANCE
IST AGEDIS
IST OMEGA

  Languages

Specification and Description Language
Unified Modelling Language

  Tools

RTDS
ObjectGEODE
CADP
SPIN
Kronos
Uppaal
InVeSt
TReX
Verisoft
SystemC

 Contributors

Marius BOZGA
Susanne GRAF
Iulian OBER
Laurent MOUNIER
Jean-Claude FERNANDEZ
Yassine LAKHNECH
Joseph SIFAKIS

 Former Contributors

Lucian GHIRVU
Yussef Bouzouzo
Chaker NAKHLI
Cyril PACHON



Contact | Site Map | Site powered by SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1273621