Ada-Europe

24th International Conference on
Reliable Software Technologies

11-14 June 2019, Warsaw, Poland

Workshops

DeCPS 2019 - Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering

Co-located with the Ada-Europe
24th International Conference on Reliable Software Technologies
http://www.ada-europe.org/conference2019

In recent years, the Internet of Things (IoT) has experienced an extraordinary development with a broad impact on society; however, there is still a gap between the physical world and the cyber one. Cyber Physical Systems (CPS) constitute a new class of engineered systems, integrating software control and autonomous decision making with signals from an uncertain and dynamic environment. Internet transformed the way people interact and deal with information. CPS technology transformed the way people interact with engineered systems. For this type of systems, it is necessary not only ensuring the safety of physical devices but also other factors such as information about customers, suppliers, and organizational strategies needs to be secured. In the context of cyber systems, the Artificial Intelligence (AI) technologies can contribute to manage a huge amount of heterogeneous data that come from different sources without human intervention. To deliver certification, standards for machine safety are highly recommended as they give confidence to the regulatory. The generic standard for safety-related hardware and software might be applicable, however, due to increasing autonomy of robots there is still a potential for evolution of such regulations or standards. The proper combination of AI, CPS and IoT is therefore fundamental.

CPS are considered a disruptive technology which will transform the traditional manufacturing into Industry 4.0 solutions, and are used in a very wide spectrum of applications: smart mobility, autonomous driving, digital healthcare, smart grids and buildings, mobile co-operating autonomous robotic systems, digital consumer products and services. "In conclusion, the emerging Digital (R)-evolution relies heavily on Embedded Intelligent Systems technologies in domains where it is paramount that Europe takes leadership role" (Laila Gide, "The pathway to digital transformation: an opportunity for Europe", ARTEMIS Magazine 20 May 2016).

Scope

This workshop aims to provide a platform to industrial practitioners, researchers and engineers in academia to exchange of their ideas, research results, experiences in the field of dependable and cyber physical systems engineering, both a theoretical and practical perspective.

The topics of interest includes, but are not limited to:

  • Vehicle of the Future
  • Transport and Mobility
  • Industry 4.0 in transportation sector
  • Security and comfort of the end-user
  • Human/Machine Interaction
  • Safety and Security
  • Industrial experiments and case studies
  • Integration of Internet of Things and Cloud Computing
  • Evolution of standards and certification processes
  • Impact of Artificial Intelligence in CPS

The workshop will also include contributions from relevant projects in the domain, such as Future Factories in the Cloud (FiC), Productive 4.0, AMASS, ENABLE-S3, SafeCOP, SCOTT, etc.

Program

Follow the "Download" links for presentation materials.

9:15 Registration and welcome
9:30 Invited talk
“Using evidence-based arguments to support dependability assurance – challenges and experiences”
Janusz Górski, Gdansk University of Technology
Download
10:30 Coffee Break
11:00 Session 1
11:00–11:30 M. Schranz, M. Sende, A. Bagnato and E. Brosse, “Modeling CPS Swarms”
Download
11:30–12:00 T. Naks, M. A. Aiello and S. T. Taft, “Using SPARK to Ensure System to Software Integrity: A Case Study”
Download
12:00–12:30 S. Saez, “Enable-S3: European Initiative to Enable Validation for Highly Automated Safe and Secure Systems”
Download
12:30 Lunch
13:30 Session 2
13:30–14:00 L. M. Pinho, “Non-functional requirements in the ELASTIC architecture”
Download
14:00–14:30 S. Mazzini, L. Rioux, A. Bagnato, E. Brosse, “A scalable model-based framework for continuous development and runtime validation of complex systems”
Download
14:30–15:00 R. Tomar and Sarishma, “Maintaining Trust in VANETs Using Blockchain”
Download
15:00 Coffee Break
15:30 – 16:30 Networking Session
The objective of the networking session is to identify themes of common interest among the participants, with the goal of identifying future joint work.

Submissions

Submission of regular papers (4 pages, AUJ style) via EasyChair at https://easychair.org/conferences/?conf=decps2019

The post-workshop proceedings will be published in the Ada User Journal (http://www.ada-europe.org/auj/guide/).

Important dates

  • Submission deadline: 30 April 2019
  • Notification to authors: 17 May 2019
  • Workshop : 14 June 2019
  • After-workshop final version: 15 September 2019
  • Publication in Ada User Journal: December 2019s

Organizers

  • Faiz Ul Muram, Mälardalen Univ., Sweden

Program Committee

  • Jose Luis de la Vara, University of Castilla-La Mancha, Spain
  • Faiz Ul Muram, Mälardalen University, Sweden
  • Alejandra Ruiz Lopez, Tecnalia, Spain
  • Helmut Martin, Virtual Vehicle, Austria
  • Shaukat Ali, Simula Research Laboratory, Norway
  • Muhammad Atif Javed, Mälardalen University, Sweden

Steering Committee

  • Daniela Cancila, CEA LIST, France
  • Martin Torngren, KTH Royal Institute of Technology, Sweden
  • Alessandra Bagnato, SOFTEAM, France
  • Cristina De Luca, Infineon Technologies Austria AG Austria
  • Silvia Mazzini, INTECS Italy
  • Laurent Rioux, Thales, France
  • Barbara Gallina, Mälardalen Univ., Sweden
  • Luis Miguel Pinho, Polytechnic Institute of Porto, Portugal

 

The DeCPS workshop runs full day, 9:30-17:00, and enjoys two refreshment breaks, 11:00-11:30 and 15:00-15:30, and lunch, 12:30-13:30.
To favour integration and interaction between the DeCPS workshop and the conference core, the full conference registration includes complimentary access to the workshop.