ERCIM/EWICS Workshop on Dependable Embedded and Cyberphysical Systems at SAFECOMP 2013

Dependable Embedded Systems, Robotics, Systems-of-Systems: Challenges in Design, Development, Validation & Verification and Certification

Co-hosted by the ARTEMIS projects MBAT, R3-COP, SafeCer, ARROWHEAD and CRYSTAL

Erwin Schoitsch, AIT Austrian Institute of Technology

Amund Skavhaug, NTNU, Trondheim, Norway

On-line proceedings

HAL collection of papers presented in DECS: http://hal.archives-ouvertes.fr/SAFECOMP2013-DECS

Workshop Program (Workshop Venue : Conseil Room, upstairs in the main LAAS hall)

9:00 – 9:20 Welcome and introduction

ERCIM, EWICS, ARTEMIS: Embedded Systems Safety, Security and European Strategy.
Chairs Erwin Schoitsch (AIT Austrian Institute of Technology), Amund Skavhaug (NTNU, Norway)

9:20 – 11:00 Session “Dependable Embedded Systems Applications”

A Reference Example on the Specification of Safety Requirements using ISO 26262
Jonas Westman (KTH, Sweden) and Mattias Nyberg (Scania, Sweden)

FlexRay demonstrator for certification
Felix Bruckmüller, Erwin Kristen (AIT, Austria) and Wilfried Kubinger (FH Technikum, Vienna)

Towards Failure Models and Error Propagation in Product Lines
Sara Bessling (Clausthal University of Technology, Germany)

A Reliable Fault-Tolerant Scheduling Algorithm for Real Time Embedded Systems
Chafik Arar, Hamoudi Kalla, Salim Kalla and Riadh Hocine (University of Batna, Algeria)

11:00 – 11:30 Coffee Break

11:30 – 13:00 Session “Autonomous Systems and Robotics (1)”

R3-COP - Resilient Reasoning Robotic Co-operating Systems – an introduction and overview
Wolfgang Herzner and Erwin Schoitsch (AIT Austrian Institute of Technology, Vienna, Austria)

Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets
Raimar Lill and Francesca Saglietti (University of Erlangen-Nuremberg, Germany)

Scenario-based Automated Evaluation of Test Traces of Autonomous Systems
Gergő Horányi, Zoltán Micskei and Istvan Majzik (Budapest Univ. of Technology and Economics, Hungary)

Designing Autonomous Robot Systems – evaluation of the R3-COP Decision Support System approach
Tapio Heikkilä, Jukka Koskinen (VTT, Oulu, Finland) and Lars Dalgaard (DTI, Odense, Denmark)

13:00 – 14:00 Lunch Break

14:00 – 15:30 Session “Autonomous Systems and Robotics (2)”
Obstacle detection and mapping in low-cost, low-power multi-robot systems using an Inverted Particle Filter
Adam Leon Kleppe and Amund Skavhaug (NTNU, Trondheim, Norway)

Robust perception in everyday environments
Jan Fischer, Joshua Hampp, Georg Arbeiter (Fraunhofer IPA, Stuttgart/Germany), Robert Eidenberger, and Kai Wurm (Siemens AG, Munich/Germany)

Model-based Test-Case Generation for Testing Robustness of Vision Components of Robotic Systems
Wolfgang Herzner, Markus Murschitz and Oliver Zendel (AIT Austrian Institute of Technology, Vienna)

Overview of Simulation of Video-Camera Effects for Robotic Systems in R3-COP
Michal Kučiš, Pavel Zemčík (Brno University of Technology, Czech Republic), Oliver Zendel and Wolfgang Herzner (AIT, Vienna)

15:30 – 16:00 Coffee Break

16:00 – 17:15 Session “Systems Safety Analysis and Fault Tolerance”

Combination of Safety and Security Analysis - Finding Security Problems that Threaten the Safety of a System
Max Steiner and Peter Liggesmeyer (TU Kaiserslautern, Germany)

Simple Methods for Error Detection and Correction for Low-Cost Nanosatellites
Kjell Arne Ødegaard and Amund Skavhaug (NTNU, Trondheim, Norway)

Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees
Michael Roth and Peter Liggesmeyer (TU Kaiserslautern, Germany)

17:15 – 17:30 Concluding remarks and Farewell

18:30 Welcome Cocktail (City Hall/Capitole - Toulouse Center)

Workshop scope
Embedded systems are everywhere – may they be visible or integrated into every day equipment and devices. Comfort, health, services, safety and security of people depend increasingly on them. In combination and close interaction with the (somehow unpredictable) real-world environment and humans, they become so-called “Cyber-physical Systems”, acting independently, co-operative or as “systems-of-systems” composed of interconnected autonomous systems originally independently developed to fulfil dedicated tasks (including legacy systems). The impact on society as a whole is tremendous - thus dependability (safety, reliability, availability, security, maintainability etc.) in a holistic manner becomes an important issue, including resilience, robustness, sustainability and so forth, despite emergent behaviours and interdependencies.

Demanding challenges have to be met by research, engineering and education. Smart (embedded) systems are regarded as the most important business driver for European industry. They are a targeted research area for European Research Programmes in Framework 7, in the ARTEMIS Joint Undertaking, and in several dedicated Programmes and European Technology Platforms (ARTEMIS, EPoSS) or the future JTI Electronics in Horizon 2020. Their application is not only in the traditional areas of aerospace, railways, automotive, or process industry and manufacturing, but also in robotics and services of all kind, in home appliances (smart environments, smart homes, ambient assisted living) and health care.

This workshop at SAFECOMP follows already its own tradition since 2006. Sessions cover
• Dependable and resilient embedded systems,
• Autonomous Systems and Robotics,
• Systems-of-Systems,
covering aspects from design, development, verification and validation, certification, maintenance, standardization and education & training. This is a workshop, and to be distinct from the SAFECOMP conference mainstream, it allows reports on on-going work aiming at hopefully fruitful discussions and experience exchange. Reports on European or national research projects (as part of the required dissemination) as well as industrial experience reports are welcome.

Workshop proceedings will be provided as complementary booklet to the SAFECOMP Proceedings, printed by LAAS-CNRS. Papers (6-8 pages, LNCS formatting) will be reviewed by at least three reviewers.

Deadlines are:
• May 31, 2013: Full papers in Springer LNCS format as for the main conference proceedings, via
easychair DECS submission site, or by email to chairpersons
• June 15, 2013: Notification of authors
• June 30, 2013: Final camera-ready papers
The International Programme Committee is composed of selected EWICS and ERCIM members, led by the workshop organizers.

Contacts (workshop and programme committee chairpersons)

Erwin Schoitsch
AIT Austrian Institute of Technology
Donau-City-Strasse 1, TechGate
A-1220 Vienna, Austria
Erwin.schoitsch@ait.ac.at

Amund Skavhaug
The Norwegian Univ. of Science and Technology
Department of Engineering Cybernetics
Trondheim, Norway
Skavhaug.amund@ntnu.no