@inproceedings{BGM02,
title = { {IF-2.0}: A Validation Environment for Component-Based Real-Time Systems },
author = {Bozga, Marius and Graf, Susanne and Mounier, Laurent},
month = {June},
year = {2002},
booktitle = {Proceedings of Conference on Computer Aided Verification, CAV'02, Copenhagen},
pages = {343 --348},
publisher = {Springer Verlag},
series = {LNCS},
volume = {2404},
team = {DCS,PACSS},
abstract = {The paper presents the new version of the <b>IF</b> language and validation environment. The main new features of the language concern the ability to describe dynamic architures by means of concepts for dynamic creation and distruction of processes and communication channels, hierarchical states and a simplification of the action structure, allowing in particular the inclusion of external code. The main changes in the toolset concern the exploration engine, generating the semantic model: each process or signalroute is represented as an object with an internal state and a set of fireable(local) transitions, depending on its current state (where <i>Time</i> is a specialised process dealing with the management of all (running) clocks). Coordination is realised by a <i>process manager</i> which scans the set of local transitions, chooses the fireable one(s) with respect to global (system) constraints, askd the corresponding processes to execute these transitions and updated the global state accordingly. },
}
