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.