FMTV 2016: Where is the Actual Challenge?

The FMTV'16 challenge and its solutions to be presented at WATERS'16
Post Reply
Sophie Quinton
Site Admin
Posts: 54
Joined: Tue Apr 28, 2015
Location: Inria Grenoble - Rhône-Alpes, France
Contact:

FMTV 2016: Where is the Actual Challenge?

Post by Sophie Quinton » Fri Jul 01, 2016

Title: FMTV 2016: Where is the Actual Challenge?

Authors:
Alessio Balsini, Alessandra Melani, Pasquale Buonocunto, Marco Di Natale (Scuola Superiore Sant’Anna, Pisa, Italy)

Abstract: The FMTV challenge has been formulated and proposed to research groups as a case study and benchmark to compare different analysis methods for real-time multicore fuel injection applications. The nature of the problem is clear enough and the challenge can be likely met by a set of conventional analysis techniques (at least at the current level of description). However, the formulation of the problem and its practical solution are more than likely to reveal a number of additional issues that go from the model of the application, to analysis techniques that consider with much better precision the details of the HW platform, to the need for synthesis and optimization methods.

Attached paper:
FMTV_2016_actual_challenge.pdf
(749.03 KiB) Downloaded 728 times
Sophie Quinton
INRIA Grenoble - Rhône-Alpes
655 Avenue de l'Europe - Montbonnot
38334 St Ismier Cedex - FRANCE
tel: +33 4 76 61 55 31
https://team.inria.fr/spades/quinton/

Post Reply