Workshop Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2016)within the 21st International Conference on Reliable Software Technologies, Ada-Europe 2016, 17th June 2016, Pisa, Italyhttp://www.cister.isep.ipp.pt/ae2016
Following the success of the inaugural
workshop in 2014 and of its second edition in Madrid in 2015, we are delighted
to organize the third International Workshop on Challenges and new
Approaches for Dependable and Cyber-Physical Systems Engineering (DeCPS2016) within Ada-Europe 2016 conference in Pisa on June 17th 2016.
The two previous workshops proved
popular, with a range of excellent presentations and some interesting and
wide-raging discussions. Revised versions of papers presented at the workshop
were published in the Ada User Journal, in December 2014 and in December 2015. The
discussions, publications and collaborative work which arose from De-CPS2014
and De-CPS2015 have provided a vision for future research and industrial work/collaborations
on the dependability of CPS. Domain and TopicsFrom 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. 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) 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 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
U-TEST H2020 project. Tacking Uncertainty in Cyber-Physical Systems with Automated Testing.
Shaukat Ali, Tao Yue and Man Zhang
AXIOM project. Modeling Multi-Board Communication in the AXIOM Cyber-Physical System.
Roberto Giorgi, Paolo Gai
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.
The CONCERTO project.
Silvia Mazzini, Intecs.
The AMASS project.
Silvia Mazzini, Intecs.
The ASSUME project.
Laurent Rioux, Thales
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
Workshop closure remarks
Important Dates and Guide to the AuthorsAuthors 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 - Submission deadline: 17-05-2016
- Notification to authors: 23-05-2016
- Workshop : Pisa, Italy, 17-06-2016
- After-workshop final version: 15-9-2016
- Publication in Ada User Journal: 12-12-2016
Organizing and Program CommitteeOrganizers- Silvia Mazzini, INTECS, Italy
- Philippa Ryan Conmy, Adelard LLP, UK
- Alessandra Bagnato, SOFTEAM, France
- Daniela Cancila, CEA LIST, France
- Laurent Rioux, Thales, France
Program Committee
- Katrina Attwood, University of York, UK
- Huascar Espinoza, Tecnalia, Spain
- Ali Koudri, IRT Systemix, France
- Barbara Gallina, MDH, Sweden
- Julio Medina, Universidad de Cantabria, Spain
- Roberto Passerone, University of Trento, Italy
- Masumi Toyoshima, DENSO, Japan
- Alejandra Ruiz, Tecnalia, Spain
- Silvia Mazzini, INTECS, Italy
- Philippa Ryan Conmy, Adelard LLP, UK
- Alessandra Bagnato, SOFTEAM, France
- Daniela Cancila, CEA LIST, France
- Laurent Rioux, Thales, France
Scientific And Industrial Steering Committee - Katrina Attwood, University of York, UK
- Alessandra Bagnato, SOFTEAM, France
- Daniela Cancila, CEA LIST, France
- Philippa Ryan Conmy, Adelard LLP, UK
- Laila Gide, Director for Advanced Studies Europe, reporting directly to Thales CTO – Technical Directorate THALES, France
- Silvia Mazzini, INTECS, Italy
- Alejandra Ruiz, Tecnalia, Spain
- Barbara Gallina, MDH, Sweden
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 Involved projects 2016: |
 The H2020 project, INTO-CPS, Integrated Tool Chain for Model-based Design of Cyber-Physical Systems.
The H2020 project, U-Test, Testing
Cyber-Physical Systems under
Uncertainty: Systematic, Extensible, and Configurable Model-based and
Search-based Testing Methodologies.
The ARTEMIS project, CONCERTO, Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems. |
 The ECSEL AMASS project , 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) and CONCERTO (Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems
Web site· http://www.cister.isep.ipp.pt/ae2016/workshops |
|