CfP - Workshop on Dependability and CPS (Ada-Europe 2014)
CEA and Thales are glad to invite you to submit a position paper for workshop on "Challenges and new Approaches for dependable and Cyber-Physical Systems engineering", in conjunction with 19th International Conference on Reliable Software Technologies, Ada-Europe 2014, located in Paris, 23 June 2014.
Extended versions are published after-workshop in Ada-User Journal (December 2014).
Domain and Topics
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.
Important Dates
submission deadline: 13/4
notification to authors: 12/5
Workshop : 23 June, Paris, France
after-workshp final version: 15/9
publication: December 2014
Information for Authors
Authors are invited to submit a position paper of 2 to 4 pages in length and a conference-style.
The OC and PC will invite the authors of the accepted submissions to publish an extended version of their contribution in Ada User Journal
Website
Web site of the workshop (under construction)
http://www.ada-europe2014.org/De-CPS.html
Web site of the conference