Tools and Benchmarks for Real-Time Systems ECRTS Community Forum 2016-07-01T16:58:06+01:00 http://localhost/app.php/feed/topic/76 2016-07-01T16:58:06+01:00 2016-07-01T16:58:06+01:00 http://localhost/viewtopic.php?t=76&p=131#p131 <![CDATA[FMTV 2016: Where is the Actual Challenge?]]> 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

Statistics: Posted by Sophie Quinton — Fri Jul 01, 2016

]]>