21st International Conference on Reliable Software Technologies

Ada-Europe 2016

13-17 June 2016, Pisa, Italy

Workshops

Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering

This is the third International Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering (De-CPS2016), following the success of the inaugural workshop in 2014 and of its second edition in Madrid in 2015.
The workshop will take place Friday, June 17th, from 09:30 to 17:30, in the Blue Room (at TeCIP, the same location as tutorials).
 
Aims and Scope
 
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 21st International Conference on Reliable Software Technologies to foster further collaborative initiatives.
 
Program
 

Morning Session (9:00-13:00)

Workshop introduction
Silvia Mazzini, Alessandra Bagnato, Daniela Cancila, Philippa Conmy, Laurent Rioux

INTO-CPS Project. SysML for Modeling Co-Simulation Orchestration over FMI, INTO-CPS Approach
Alessandra Bagnato, Etienne Brosse, Imran Rafiq Quadri and Andrey Sadovykh
Presentation  

U-TEST H2020 project. Tacking Uncertainty in Cyber-Physical Systems with Automated Testing.
Shaukat Ali, Tao Yue and Man Zhang
 Presentation 1 ,  Presentation 2   

AXIOM project. Modeling Multi-Board Communication in the AXIOM Cyber-Physical System.
Roberto Giorgi, Paolo Gai
Presentation    

Industry 4.0.
Daniela Cancila, et al.

Morning break (11:00-11:30)

Panel - Open challenges and new approaches. With participation of the European R&D Projects

The PROXIMA project.
INRIA.
Presentation   

The CONCERTO project.
Silvia Mazzini, Intecs.
Presentation   

The AMASS project.
Silvia Mazzini, Intecs.
Presentation  

The ASSUME project.
Laurent Rioux, Thales
Presentation  

The EuroCPS project.
Laurent Rioux, Thales
Presentation  

 

Lunch break (13:00-14:00)

Afternoon session (14:00 – 15:30)

The QUANTICOL FET project. Spatio-temporal Model-checking for Collective Adaptive Systems in QUANTICOL
 Vincenzo Ciancia, Diego Latella, Michele Loreti and Mieke Massink
Presentation  

Workshop closure remarks

 

 
Topics
 
De-CPS 2016 seeks contributions addressing, but not limited to, the following topics:
 
- Industrial challenges and experience reports on co-engineering for multiple dependability concerns in CPS engineering.
- Modeling and analysis of Cyber-Physical Systems (CPS) and IoT
- Tools and methodologies to guarantee dependability-related properties, including real-time and mixed-criticality cohabitation
- Challenges posed for CPS design and verification by multi-core processors.
- Smart Factoring, Industry 4.x
- Platforms for IoT - CPS
 
 
Submission

Authors are invited to submit a position paper of 2 to 4 pages in length and IEEE-style format  via easychair. The Organizing Committee will invite the authors of the accepted submissions to publish an extended version of their contribution in the Ada-User Journal.
Submission page: https://easychair.org/conferences/?conf=decps16
 
The author can find some example templates and additional writing
guidelines at 
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
 
 
Important dates

Submission deadline: 17-05-2016
Notification to authors: 23-5-2016
Workshop : Pisa, Italy, 17-06-2016
After-workshop final version: 15-9-2016
Publication in Ada User Journal: 12-12-2016
 
 
Call for Papers
 
A text version of the call for papers can be downloaded here.
A flyer is also available in JPG and PDF.
 
Organization
 
Silvia Mazzini, INTECS, Italy
Philippa Ryan Conmy, Adelard LLP, UK
Alessandra Bagnato, SOFTEAM, France
Daniela Cancila, CEA LIST, France
Laurent Rioux, Thales, France
 

 
Involved Projects 2016: 

The H2020 project INTO-CPS (Integrated Tool Chain for Model-based Design of Cyber-Physical Systems INTO-CPS)

The ARTEMIS project CONCERTO (Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems).

The ECSEL project AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems)

The FP7 project PROXIMA (Probabilistic real-time control of mixed-criticality multicore and manycore systems)

The H2020 project U-Test (Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies)