CWI and INRIA join Forces on Safety-Critical Systems
by Wan Fokkink, Hubert Garavel, Jaco van de Pol
The Embedded Systems Group (SEN2) at CWI and the Systems Validation Group (VASY) at INRIA have launched a collaboration in the area of the verification of safety-critical systems. Named SENVA ('System ENgineering and VAlidation'), this joint research team strengthens a long-standing collaboration.
Both teams have a lot of experience in the formal specification and computer-aided validation of safety-critical systems. Both teams share a common methodology based on the theory of process algebras established by prominent scientists like Hoare and Milner. The teams develop robust software tools, which are used in significant industrial case studies, in areas like railways, embedded systems, and hardware communication platforms.
The Netherlands Organisation for Scientific Research and INRIA have pledged financial support to the SENVA initiative, for the next two to four years.
This funding is used for mutual research visits and an annual SENVA workshop. The first SENVA workshop took place 21-24 June 2004, in Grenoble.
The SENVA team will pursue the efforts undertaken by SEN2 and VASY to interconnect their software tools, the muCRL and CADP verification tool sets respectively. It will also target a next generation of languages and tools for safety-critical systems. In 2004, the SENVA team focuses on the following themes:
- high-level specification languages
- tools for minimizing state spaces
- distributed algorithms for state space analysis
- compositional verification techniques.
In line with the current trend of integrating and strengthening the European Research Area, the SENVA research team will build upon the competences and workforce of both teams, in order to form a major player in formal methods for safety-critical systems.
Wan Fokkink, CWI, The Netherlands
Hubert Garavel, INRIA, France