MiFi 2015

1st Workshop on Model-Implementation Fidelity (MiFi 2015)

Friday Workshop, DATE 2015, 13th March, Grenoble, France

Scope of the workshop

In early design stages, software and platform developers work with abstractions of the hardware in the form analytical models, simulators, or estimators for, e.g., communication bandwidth, heat propagation, voltage and frequency scaling and control, etc. These abstractions are utilized to verify the correctness of software algorithms, predict their potential behavior, e.g., performance, energy, temperature, in an actual environment, and take design decisions accordingly. An issue is the difficulty in assessing the fidelity of the abstract platform model versus the real platform. The challenge when conceiving and refining such abstraction is to ensure that: (1) models are reasonably accurate with respect to the real platform, (2) the final platform is indeed an implementation of the model, and the properties verified or predicted at the model level are also satisfied by the implementation.

The workshop is interested in practical validation and demonstration in areas including, but not limited to:

(1) prediction and estimation models, e.g., performance, power, temperature,

(2) faithful simulators of entire-systems,

(3) tool-flows that address the entire design stack all the way to final implementation,

(4) platform controlling software.

(5) tools to analyze software source code to extract models

(6) tools generating software for checking model properties on the implementation such as assertions, invariant verification, trace analysis, etc.

We seek contributions that can demonstrate efficient results on actual platforms. The submissions should explicitly highlight their methods and techniques that ensure the faithfulness of abstract platform models against real hardware. The workshop aims to provide a forum where participants from academia and industry can exchange mature knowledge and insights.

Event format

The workshop features regular papers presentations and practical demonstrations. Submissions are limited to 10 pages, LNCS format (authors' instructions), and should comprise of two parts. The first should describe the method, model, or tool presented. The second should explain how the validation will be carried out and what is its outcome (including case-studies and detailed analysis). None of the two parts should be smaller than 4 pages. The authors of the best papers will be invited for a practical paper, at least one author is expected to register, attend the workshop, and present the paper. The organizing committee aims to publish the accepted papers in a volume of post-proceedings (LNCS) or in a special journal issue. Here discussions are in progress.

Papers must be submitted online via EasyChair: https://easychair.org/conferences/?conf=mifi2015

Deadlines (extended):

• Abstract submission: November 10.
• Paper submission: November 20.
• Notification of acceptance: December 8.
• Camera ready manuscripts: December 21.

General chair

• Suzanne Lesecq, CEA-LETI, France

Technical program committee

• Saddek Bensalem, University of Grenoble, France.
• Kees Goossens, Eindhoven University of Technology, Netherlands
• Koji Inoue, Kyushu University, Japan.
• Vania Joloboff, INRIA, France, East China Normal University, China.
• Diana Marculescu, Carnegie Mellon University, USA.
• Anca Molnos, CEA-LETI, France.
• Eugenio Villar, University of Cantabria, Spain.

Local chairs

• Christian Fabre, CEA-LETI, France
• Julien Mottin, CEA-LETI, France