De-CPS 2014

Workshop on Challenges and new Approaches for dependable and Cyber-Physical Systems engineering (Ada-Europe 2014) in cunjuction with the 19th International Conference on Reliable Software Technologies (Ada-Europe), 23 June 2014, Paris

Organisers : Daniela Cancila, CEA and Laurent Rioux, Thales

website http://www.ada-europe2014.org/De-CPS.html

Description:

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 and sensing of 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 aspects of the CPS challenges.

The De-CPS workshop intends to focus on the relationships between CPS and contract-based approaches. The latter are a means to assert desired guarantees on specific properties of a system model and to attain them in the corresponding implementation.

The workshop will gather industrial practitioners and research actors interested in dependable and Cyber-Physical Systems engineering, and use the momentum of the 19th International Conference on Reliable Software Technologies to foster further collaborative initiatives that may use the funding opportunities of the H2020 framework program.

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) via contract-based approaches
• Tools and methodologies to guarantee safety-related properties, including real-time and mixed-criticality cohabitation.

Authors are invited to submit a position paper of 2 to 4 pages. The OC and PC will invite the authors of the accepted submissions to publish an extended version of their contribution in Ada User Journal.

submission deadline: 13/4

website http://www.ada-europe2014.org/De-CPS.html