FMTV 2016: Where is the Actual Challenge?
Posted: 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:
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: