The common language proposed is an extension of the IF language developed at Verimag in order to model asynchronous communicating real-time systems. Since its definition in 1998, the IF language was continuously improved and becomes the interchange format between a set of validation tools dedicated to real-time systems i.e, the so-called IF validation environment. In this project, we extend the IF language, and more generally, the IF environment to be able to model and analyze systems that rely upon dynamic process creation and dynamic data types.
The document is organized as follows. Section 2 presents the extended automata model i.e, the formal basis of the common language. In section 3 we summarize the main design decisions. Section 4 gives an incremental presentation of the common language through several examples. Finally, in section 5 we discuss the missing features and the status of the tools. The annexes A, B, C and D give the complete language syntax in BNF and some more syntax-oriented explanations.