DeCPS 2015

Date: Jun 23, 2015 1:00 am – Jun 23, 2015 10:00 am

Second International Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering (DeCPS2015)

in conjunction with the international conference on reliable software technologies -  Ada-Europe 2015

Madrid, Spain | June 23, 2015

Following the success of the inaugural workshop in 2014, we are delighted to announce that the Second International Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering (DeCPS2015) in conjunction with the international conference on reliable software technologies -  Ada-Europe 2015, Madrid 23 juin.

The workshop will gather together industrial practitioners and researchers concerned with dependable and Cyber-Physical Systems engineering, and use the momentum provided by the 20th International Conference on Reliable Software Technologies to foster further collaborative initiatives.

We promote gender equality in research and innovation. The strength-in-depth represented by the female scientists in our team will hopefully inspire a new generation of women to pursue an interest in science as a career.

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
  • Challenges posed for CPS design and safety verification by multi-core processors.

The workshop hosts a special session of European projects. If you are involved in an European project, please, consider to contribute to this session and contact the organizers (daniela.cancila@cea.fr)

The first projects have accepted are: ITEA2 MERGE project, FP7 PROXIMA, H2020 INTO-CPS

For more information see the website

http://de-cps-2015.softeam-rd.eu/

  • Foundations
  • Concurrency and Timing
  • Real-time Systems
  • Modeling
  • Real-Time Coordination
  • Validation and Verification
  • Workshop
Submitted by Anonymous on Mon, 03/16/2015 - 13:44