by Erwin Schoitsch
The ERCIM Dependable Embedded Software-intensive Systems Working Group (DES WG) organized a collaborative Workshop at SAFECOMP 2014, the International Conference on Computer Safety, Reliability and Security and a special session at at the joint Euromicro Conference on Digital System Design and Software Engineering and Advanced Applications (DSD/SEAA 2014) . The events were organized jointly with the European Workshop on Industrial Computer Systems, Technical Committee 7 (EWICS TC7) and projects of the European Technology Platform and Initiative ARTEMIS (Advanced Research and Technology for Embedded Intelligence and Systems).
SAFECOMP DECSoS Workshop:
The Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of-Systems (DECSoS’14) was organized as one of the co-located workshops at SAFECOMP 2014, 9 September 2014 in Florence, Italy. Erwin Schoitsch (AIT, Austria) and Amund Skavhaug (NTNU, Norway) were largely responsible for its organization, together with an international program committee composed of 15 experts from the ERCIM, EWICS TC7 and SAFECOMP organizers, who reviewed the papers. The workshop was co-hosted by the ARTEMIS projects MBAT, CRYSTAL, EMC², SafeCer and ARROWHEAD. The presented papers are published by Springer in the LNCS series (LNCS 8696), the abstracts are available on the Springer Web site .
The workshop DECSoS’14 comprised the sessions Formal Analysis and Verification, Railway applications: Safety analysis and verification, and Resilience and Trust: Dynamic issues.
About 30 participants attended the workshop. The mixture of topics was well balanced, with a focus on Software and System Analysis and Verification, and addressed by the ARTEMIS projects MBAT, CRYSTAL and EMC², supporting the goal of collaboration and experience exchange between related ARTEMIS projects. These projects are building on each other’s results and achievements, working towards a common Collaborative Reference Technology Platform (CRTP) based on an IOS Specification (Interoperability Specification). The aim is to build a sustainable innovation eco-system around the “High-Reliability-Cluster” of ARTEMIS projects. Overall, the workshop provided interesting insights into the topics, and enabled fruitful discussions both during the meeting and afterwards.
The annual SAFECOMP conference is a leading conference in this area, focusing on industrial computer control systems and applications. Since it was established in 1979 by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Reliability, Safety and Security (EWICS TC7), SAFECOMP has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
SAFECOMP 2014 was the 33rd International Conference on Computer Safety, Reliability and Security, and took place in Florence, Italy, from Sept. 8-12, 2014.
SAFECOMP covers state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications. SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions.
ERCIM/ARTEMIS/EUROMICRO Special Session TET-DEC
A joint Special Session TET-DEC “Teaching, Education and Training for Dependable Embedded and Cyber-physical Systems” was held at the Euromicro Conference on Digital System Design (DSD)and Software Engineering and Advanced Applications (SEAA) 2014 in Verona, Italy, 27-29 August 2014. It was jointly organized by the ERCIM DES WG, Euromicro and the ARTEMIS Education & Training Working Group.
In the field of Cyber-physical Systems and Systems of Systems, there is tremendous investment in research and innovation. Gaps still exist, however, in education and training in this area. After a first successful start of this session in 2013, we asked again this year: “How should we educate and train our current and future engineers and researchers? This special workshop show-cased the current work in this area, facilitating fruitful discussions and exchanges of ideas, presenting best practices and experience reports, and analysis of the challenges with recommendations for a sustainable future.
The workshop of the ERCIM DES WG was supported by the ARTEMIS E&T (Education & Training) Working Group, ARTEMIS projects, in particular SafeCer (“Safety Certification of Software-Intensive Systems with Reusable Components”), as well as MBAT (Combined Model-based Analysis and Testing of Embedded Systems) and R3-COP (Resilient Reasoning Robotic Co-operating Systems).
The TET-DEC workshop was part of the regular session of the conference and the papers are in the IEEE conference proceedings. The special session included five presentations. It also provided an overview on support for education and training activities in European and national research projects in the area of embedded systems:
- Erwin Schoitsch, Introduction: Teaching, Education and Training viewed from European projects’ perspectives.
- Miren Illarramendi Rezabal, Leire Etxeberria Elorza and Xabier Elkorobarrutia Letona. Reuse in Safety Critical Systems: Educational Use Case First Experiences.
- Jakob Axelsson, Avenir Kobetski, Ze Ni, Shuzhou Zhang and Eilert Johansson. MOPED: A Mobile Open Platform for Experimental Design of Cyber-Physical Systems (one of three papers to receive the “Best Paper Award” of the conference)
- Elena Gomez-Martinez and Alvaro Fernandez-Diaz. Introducing Embedded Systems to People with Special Needs: Insights from a Real Case
- Clara Benac Earle, Lars-Ake Fredlund, Julio Marino and Thomas Arts. Teaching students Property-based Testing.
SAFECOMP 2014: http://www.safecomp2014.unifi.it/
SAFECOMP 2014 Workshop proceedings: http://link.springer.com/book/10.1007/978-3-319-10557-4
ARTEMIS projects: http://www.artemis-ia.eu/all-projects.html
Erwin Schoitsch, AIT Austrian Institute of Technology