System ENgineering and VAlidation

Project code: SENVAResearch group: Specification and Analysis of Embedded Systems (SEN2) Start: 2004-03-01 End: 2008-03-01 Project coordinator: Dr. J.C. van de Pol

Project code: SENVA
Research group: Specification and Analysis of Embedded Systems (SEN2)

Start: 2004-03-01
End: 2008-03-01

Project coordinator: Dr. J.C. van de Pol

CWI and INRIA, the Dutch and French national institutes for research on computer science, have decided to join forces in the area of safety-critical systems by launching a joint research team. Named SENVA ("System ENgineering and VAlidation"), this joint research team will formalize and strengthen a long-standing collaboration between the SEN2 team of CWI and the VASY team of INRIA. Both teams have international expertise on 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 Hoare, Milner, Bergstra, Klop, and other prominent scientists. Both teams develop robust software tools, which are used in significant industrial case-studies. In line with the current trend of integrating and strengthening the European Research Area, the SENVA joint 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. 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 at a next generation of languages and tools for safety-critical systems. In 2004, the SENVA team will focus on the following themes: * High-level specification languages, * Minimization tools for transition systems, * Distributed algorithms for state space generation, and * Compositional verification techniques

Members

Dr. S.C.C. Blom, Prof.dr. W.J. Fokkink, Drs. B. Lisser, Dr. J.C. van de Pol