posted by user: alebagnato || 12358 views || tracked by 1 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.cister.isep.ipp.pt/ae2016/workshops
 
When Jun 17, 2016 - Jun 17, 2016
Where Pisa, Italy
Submission Deadline Apr 30, 2016
Notification Due May 13, 2016
Final Version Due Dec 12, 2016
Categories    modeling and analysis   cyber-physical systems   cps engineering   smart factoring, industry 4.x
 

Call For Papers

*****************
Call for Papers:
*****************
Workshop Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2016)

celebrated within the 21st International Conference on Reliable Software Technologies, Ada-Europe 2016,

17th June 2016, Pisa, Italy

http://www.cister.isep.ipp.pt/ae2016/workshops

IMPORTANT DATES
---------------
Submission deadline: 30-04-2016
Notification to authors: 13-5-2016
Workshop : Pisa, Italy, 17-06-2016
After-workshop final version: 15-9-2016
Publication in Ada User Journal: 12-12-2016


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.



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=decps2016

The author can find some example templates and additional writing
guidelines at
http://www.ieee.org/conferences_events/conferences/publishing/templates.html


PROGRAM COMMITTEE (To be extended)
-----------------
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



WORKSHOP CHAIRS
-----------------
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 (http://into-cps.au.dk/)

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

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

FP7 project PROXIMA, Probabilistic real-time control of mixed-criticality multicore and manycore systems

Related Resources

DSN 2016   Annual IEEE/IFIP International Conference on Dependable Systems and Networks
CPSSC 2016   1st International Workshop on Cyber-Physical Systems in the Context of Smart Cities
CCNCPS 2017   The second International workshop on Communication, Computing, and Networking in Cyber Physical Systems
IETCPS 2017   IET Cyber-Physical Systems: Theory & Applications, Special Issue on Safety-Critical Cyber Physical Systems
MLDM 2017   Machine Learning and Data Mining in Pattern Recognition
CPSS 2017   3rd ACM Cyber‚ÄźPhysical System Security Workshop
CSCloud 2017   The 4th IEEE International Conference on Cyber Security and Cloud Computing
SMGSSP 2017   Smart Micro-Grid Systems Security and Privacy
BigCPS-Security 2017   Recent Advances in Big Data Analytics and Cyber-physical Systems Security
IoIT 2017   Internet of Intelligent and Autonomic Things along with ICAS (International Conference on Autonomic and Autonomous Systems) 2017