Industrial Challenge – Previous Challenges

Bosch – Real World Automotive Software Benchmarks

Abstract: The challenge consists in providing concepts for realizing implicit and LET communication, then assessing their impact on the end-to-end latency along a set of given cause-effect chains in a full blown engine management software using the Amalthea performance model.

The Bosch industrial challenge was proposed by Arne Hamann, Simon Kramer, Martin Lukasiewycz, Michael Pressler, Dakshina Dasari, Falk Wurst and Dirk Ziegenbein from Bosch GmbH. in WATERS 2016, then extended and evolved in WATERS 2017, and 2019.

Dassault – Middleware for Drone-Like Cyber-Physical Systems

Abstract: The challenge is based on a small drone-like cyber-physical system and consists in contributing the concepts, models, candidate technologies, and analyses of the proposed use case’s middleware layer. Contributions are expected on timing-contract languages, suitable abstractions of the concrete technological solutions, compositionality and genericity of the correctness arguments.

See the RESSAC use case, called “╬╝XAV: A Collaborative Development Assurance Lab”, proposed by Emmanuel Ledinot from Dassault Aviation and presented in WATERS 2018 for detailed material and solutions submitted to date.

Thales – Aerial Video System to Detect and Track a Moving Object

Abstract: The challenge involves a mission critical system used in intelligence, surveillance, reconnaissance, tactical and security applications that is characterized by strict and less strict constraints on timing. The application must

  • Display a high quality video imagery to the user. 
  • Detect patches of the image that may be moving differently from the background by combining image registration and motion estimation. 
  • Track the corresponding object over longer time periods when such a patch persists for several frames.
  • Follow the tracked object even when it is temporarily hidden from view (e.g. the vehicle proceeds in and out of several tree obstructed areas) through motion prediction. 

See the Formal Methods for Timing Verification proposed by Rafik HENIA and Laurent RIOUX Thales Research & Tech

Comments are closed.