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.