PROXIMA is supporting and participating in the Second DeCPS workshop, June 22nd 2015.This event is co-located with Ada-Europe 2015, attended by industrial safety critical practitioners.

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.