ERCIM Working Group Joint Meeting

by Erwin Schoitsch

The ERCIM Working Groups Dependable Embedded Systems (DES) and Formal Methods for Industrial Critical Systems (FMICS) seized the opportunity at the 20th anniversary event of ERCIM to have a joint technical meeting. Experiences were exchanged, projects and scientific work were presented, and further cooperation was discussed, especially in light of the successful jointly edited special theme 'Safety-Critical Software' in ERCIM News 75. The meeting took place on 27 May 2009 in Paris.

The agenda covered the following issues:

Radu Mateescu (INRIA): 'Specification and Analysis of Safety-Critical and Biological Systems'
Jaco van de Pol (UTwente): 'High-Performance Model Checking for Embedded Systems'
Wolfgang Herzner (ARC): 'Dependable Networked Embedded Systems Research at ARC: Overview on European Research Projects which are related to ERCIM DES WG Topics'
Amund Skavhaug (NTNU): 'The Creation of a Special Interest Group for Embedded Systems at NTNU'
Pedro Merino Gómez (UMA): 'Software Model Checking'
Alessandro Fantechi (ISTI): 'Modelling Guidelines for Code Generation in Safety-Critical Systems'
Erwin Schoitsch (ARC): 'ProSE - or How to Get Research Involved in Standardization'.

Possible cooperation in the editing of a book on safety-critical software was also discussed. The request for such a book came from Cambridge University Press following the above-mentioned special theme of ERCIM News 75.

The next workshops planned for the ERCIM DES Working Group are:

'Special Session: Dependable Embedded Systems' at Euromicro-SEAA, 27-29 August 2009, Patras, Greece. www.euromicro.org , see http://seaa2009.vtt.fi/

Session on 'Safety and security as a systemic challenge' at IDIMT 2009 (Interdisciplinary Information Management Talks), Jindrichuv Hradec, Czech Republic, 9-11 September 2009

'ERCIM/EWICS/DECOS Dependable Embedded Systems Workshop', SAFECOMP 2009 (15-18 September 2009, Hamburg), see http://www.safecomp.org

The next FMICS Working Group workshop will be held in Eindhoven, The Netherlands, on 2-3 November 2009.

All members of ERCIM or ERCIM Working Groups are invited to participate.

Links:
http://www.inrialpes.fr/vasy/fmics/index.html
http://www.ercim.at/

Please contact:
Erwin Schoitsch
ERCIM DES Working Group coordinator
ARCS/AARIT, Austria
E-mail: erwin.schoitscharcs.ac.at