Workshop
Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2015)

Following the success of the inaugural workshop in 2014, we are delighted to announce the Second International Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering (DeCPS2015). The inaugural workshop proved popular, with a range of excellent presentations and some interesting and wide-raging discussions.

Program

Morning (Monday, 9:00-13:00)

A short introduction to the workshop
Daniela Cancila (CEA LIST), Laurent Rioux (Thales)

The MERgE ITEA project. Safety and Security. Multi-Concerns Interactions System Engineering.
Charles Robinson, Thales, coordinator of the MERGE ITEA Project.

INTO-CPS H2020 Project: Integrated Tool Chain for Model-based Design of Cyber-Physical Systems Modeling methodologies for Cyber-Physical Systems: Research field study on inherent and future challenges.
Imran Rafiq Quadri, Alessandra Bagnato, Andrey Sadovykh and Etienne Brosse, Softeam.

FSF (Safe and Reliable Embedded systems). The importance of a contract-based design to fix dependability.
Daniela Cancila, CEA LIST.

Morning break (11:00-11:30)

U-TEST H2020 project. Testing Cyber-Physical Systems under Realistic and Unknown Uncertainty by Combining Model and Search-Based Approaches.
Shaukat Ali, Tao Yue, Simula Research Laboratory.

The CONCERTO project. An open source methodology for designing, deploying, and operating reliable and safe CPS systems.
Silvia Mazzini, Intecs.

Invited speaker

Lunch break (13:00-14:30)

Afternoon: Panel led by Barbara Gallina (MDH) and Daniela Cancila (CEA LIST)

The AXIOM H2020 project. Simulating next-generation Cyber-physical computing platforms.
Paolo Burgio, Carlos Alvarez, Eduard Ayguadé, Antonio Filgueras, Daniel Jiménez-González, Xavier Martorell, Nacho Navarro, and Roberto Giorgi.

The CONCERTO ARTEMIS projects. Dependability Modeling and Analysis in the CONCERTO project.
Barbara Gallina (MDH)

Afternoon break (16:00-16:30)

The PROXIMA FP7 project.
Philippa Ryan Conmy, Rapita Systems.

Dependable medical cyber-physical system for home telecare of high-risk pregnancy.
Adam Pawlak and Janusz Jezewski (Institute of Electronics, Institute of Medical Technology and Equipment ITAM).

Round Table

Ada Lovelace bicentennial celebration

A screening of the film To Dream Tomorrow will be held after the workshop, starting at 18:15.

Domain and Topics

From the USA to Europe, there is a crescendo of industrial and research interest in Cyber-Physical Systems (CPS). One distinguishing trait of CPS is that they integrate software control and decision making with signals from an uncertain and dynamic environment. CPS often involve heterogeneous and hierarchical systems, and their design makes extensive use of models. The Horizon 2020 program framework of the European Union devotes considerable attention in the current work program to various challenges associated with developing, integrating and providing assurance concerning CPS.

The workshop will gather together industrial practitioners and researchers concerned with dependable and Cyber-Physical Systems engineering, and use the momentum provided by the 20th International Conference on Reliable Software Technologies to foster further collaborative initiatives.

We promote gender equality in research and innovation. The strength-in-depth represented by the female scientists in our team will hopefully inspire a new generation of women to pursue an interest in science as a career. Some of the expected impact of the H2020 are:

• Increase the participation of women in research, improve their careers and achieve gender balance in decision making,
• Increase the scientific quality and societal relevance of produced knowledge, technologies and innovations by integrating an in-depth understanding of both genders needs, behaviours and attitudes. It also contributes to the production of goods and services better suited to potential markets.

The topics addressed by the workshop include the following:

• Industrial challenges and experience reports on co-engineering for multiple dependability concerns in CPS engineering.
• Modeling and analysis of Cyber-Physical Systems (CPS) via contract-based approaches
• Tools and methodologies to guarantee safety-related properties, including real-time and mixed-criticality cohabitation
• Challenges posed for CPS design and safety verification by multi-core processors.

Important Dates and Instructions to Authors

Authors are invited to submit a position paper of 2 to 4 pages in length in a conference-style format of choice to the author at the following submission page: https://easychair.org/conferences/?conf=decps2015. The authors of accepted papers will be invited to publish an extended version of their contribution in the Ada-User Journal after the end of the workshop.

• Submission deadline: 20/4
• Notification to authors: 12/5
• Workshop : 22 June, Madrid, Spain
• After-worksohp final version: 15/9
• Publication: December 2015

Organizing and Program Committee

Scientific and Industrial Steering Committee

• Katrina Attwood, University of York, UK
• Alessandra Bagnato, SOFTEAM, France
• Daniela Cancila, CEA LIST, France
• Philippa Ryan Conmy, Rapita Systems, UK
• Laila Gide, Director for Advanced Studies Europe, reporting directly to Thales CTO – Technical Directorate THALES, France
• Silvia Mazzini, INTECS, Italy
• Pavithra Prabhakar, IMDEA, Spain
• Alejandra Ruiz, Tecnalia, Spain

We are women engaged in science, in industry and academia, from across Europe.

We keep in touch with European projects (H2020, FP, Artemis/ECSEL, ...) to reinforce the visibility of the workshop and the exchange of results.

Organizers

• Daniela Cancila, CEA LIST, France
• Laurent Rioux, Thales Group, France
• Ali Koudri, IRT SystemX, France

The ITEA MERgE poject supports and co-organizes this workshop

Involved Projects

The ITEA safety and security MERgE project (Multi-concerns Interactions System Engineering), the H2020 projects INTO-CPS (Integrated Tool Chain for Model-based Design of Cyber-Physical Systems INTO-CPS), U-Test (Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies) and AXIOM (Agile, eXtensible, fast I/O Module for the cyber-physical era), the FP7 projects PROXIMA (Probabilistic real-time control of mixed-criticality multicore and manycore systems) and ECSEL CONCERTO (Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems) will participate to the Projects Discussion Panel organized during the workshop.

Honorary Chair

• Antoine B. Rauzy, Director of the Chair Blériot-Fabre - Centrale-Supélec, Safran

Preliminary Program Committee

• Katrina Attwood, University of York, UK
• Benoit Caillaud, INRIA, France
• Philippa Conmy, Rapita Systems, UK
• Vincent David, Krono-Safe, France
• Roberto Di Cosmo, Université Paris Diderot, France
• Huascar Espinoza, Tecnalia, Spain
• Ali Koudri, Thales, France
• Pavithra Prabhakar, IMDEA, Spain
• Roberto Passerone, University of Trento, Italy
• Alejandra Ruiz, Tecnalia, Spain
• Bran Selic, Malina SW & Carleton Univ, Canada
• Safouan Taha, Supelec, France
• Masumi Toyoshima, DENSO, Japan

Publicity Co-Chairs

• Karima Nahhal, CEA LIST
• Jean-Louis Gerstenmayer, CEA LIST