Page 1 of 1

Presentation of the FMTV 2016 Challenge

Posted: Mon Jul 11, 2016
by arne.hamann
The complex dynamic behaviour of automotive software systems, in particular engine management, in combination with emerging multi-core execution platforms, significantly increased the problem space for timing analysis methods. As a result, the risk of divergence between academic research and industrial practice is currently increasing.

Therefore, we from Bosch provided a concrete automotive benchmark for the Formal Methods for Timing Verification (FMTV) challenge 2016, a full blown performance model of a modern engine management system (downloadable, with the goal to challenge existing timing analysis approaches with respect to their expressiveness and precision.

The focus of the challenge lies on determining tight end-to-end latency bounds for a set of given cause-effect chains. This is challenging since the dynamic behavior of a engine management software is quite complex and contains mechanisms that explore the limits of existing academic approaches:
  • preemptive and cooperative priority based scheduling
  • periodic, sporadic, and engine synchronous tasks
  • multi-core platform with distributed cause-effect chains including cross-core communication
  • label (i.e. data) placement dependent execution times of runnables