Presentation of the FMTV 2016 Challenge

Toulouse, France, 5th July 2016
http://waters2016.inria.fr/
Post Reply
arne.hamann
Posts: 27
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 http://ecrts.eit.uni-kl.de/forum/viewto ... ?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
Attachments
FMTV2016_Presentation_Waters_2016.pdf
(308.03 KiB) Downloaded 203 times

Post Reply