Development/Integration of tools and Experimentations

1. Important efforts have been devoted to the implementation of the methods and algorithms elaborated within the project. These efforts lead to the development of new and original validation tools.
2. the IF language is adopted as a common language for the description of models. It is used as input language by the tools developed in the project and connections has been made with other validations tool-sets.
3. efforts have been made in order to extend the IF language to new features which appear naturally in modeling protocols, such as dynamic creation of processes. A new version of the IF language has been proposed and is under study. A specification of the PGM protocol has been written using this new version of IF.
4. Significant experimentations have been carried out using the methods and tools developed in the project. These experimentations include the analysis of protocols with complex parametric timing constraints such as the Bounded Retransmission Protocol of Philips, and the IEEE 1394 root contention protocol, as well as industrial case studies (e.g. a protocol for wireless ATM).