Presentation of the FMTV 2016 Challenge

The FMTV'16 challenge and its solutions to be presented at WATERS'16
Post Reply
Posts: 34
Joined: Thu Jan 28, 2016
Location: Renningen

Presentation of the FMTV 2016 Challenge

Post by arne.hamann » Mon Jul 11, 2016

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
(308.03 KiB) Downloaded 444 times

Post Reply