PROXIMA support for DeCPS 2015
Tuesday, March 17, 2015

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.


Image icon PROXIMA_logo599.71 KB