by Erwin Schoitsch (AIT Austrian Institute of Technology) and Amund Skavhaug (NTNU)

In 2016 the ERCIM Working Group Dependable Embedded Software (DES) co-organised and co-hosted workshops and special sessions at a number of renowned conferences, including the Cyber-Physical Systems Week in Vienna, the SAFECOMP conference in Trondheim (Norway), and the Euromicro conferences on Digital System Design (DSD) and Software Engineering and Advanced Applications (SEAA) in Limassol, Cyprus. At each of these conferences, ERCIM and the DES Working Group were introduced as one of the key elements in the European landscape of research in embedded systems, cyber-physical systems and systems-of-systems.

Read more ...

by Maurice ter Beek (ISTI-CNR)

The yearly workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS) was organized as a joint event together with the workshop on Automated Verification of Critical Systems (AVoCS). The resulting FMICS-AVoCS 2016 workshop took place on 26-28 September in Pisa at the CNR premises.

Read more ...
Next issue
April 2018
Next special theme:
Autonomous Vehicles
Call for the next issue
Image ERCIM News 108 epub
This issue in ePub format

Get the latest issue to your desktop
RSS Feed