Presentation of the FMTV 2016 Challenge

The FMTV'16 challenge and its solutions to be presented at WATERS'16
Post Reply
Posts: 28
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 ... ?f=27&t=62), 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 314 times

Post Reply