posted by organizer: chfabre || 3121 views || tracked by 4 users: [display]

MiFi 2016 : 2nd Workshop on Model-Implementation Fidelity

FacebookTwitterLinkedInGoogle

Link: https://easychair.org/conferences/?conf=mifi2016
 
When Mar 18, 2016 - Mar 18, 2016
Where Dresden, Germany
Abstract Registration Due Dec 1, 2015
Submission Deadline Dec 8, 2015
Notification Due Jan 8, 2016
Final Version Due Jan 28, 2016
Categories    embedded systems   cyber-physical systems   energy management   simulation
 

Call For Papers

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.
A crucial 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 of high-level design models 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, such as test-chips, FPGA, or state-of-the-art SoCs.
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 keynotes, regular papers presentations, and practical demonstrations.
We will have two invitation-based keynotes, one industrial and one academic speaker.
Submissions for regular papers are limited to 10 pages, LNCS format, 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.
Note, the papers presented at the workshops are not included in the DATE proceedings.
The organizing committee aims to publish the accepted papers in a volume of post-proceedings (LNCS) or in a special journal issue. For example, the papers accepted at MiFI'15 last year will be included in a Springer book.

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

Important dates:
Abstract submission deadline: December 1.
Paper submission deadline: December 8.
Notification of acceptance: January 8.
Camera ready manuscripts: January 28.

General chairs:
Anca Molnos, CEA-LETI, France.
Christian Fabre, 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
Eugenio Villar, University of Cantabria, Spain
Suzanne Lesecq, CEA-LETI, France
Soheil Ghiasi, University of California, Davis

Related Resources

NSDI 2017   14th USENIX Symposium on Networked Systems Design and Implementation
AITIJ 2017   Advances in Interconnect Technologies: An International Journal
ABC:MI 2017   11th Workshop on Agent Based Computing: from Model to Implementation
PADS 2018   2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
NSDI 2018   15th USENIX Symposium on Networked Systems Design and Implementation
HPCMS 2018   *** Extended Deadline *** 5th Special Session on High Performance Computing in Modelling and Simulation (HPCMS)
PLDI 2018   Programming Language Design and Implementation
ICAPM - Scopus, EI 2018   2018 8th International Conference on Applied Physics and Mathematics (ICAPM 2018)--Scopus, EI Compendex and ISI
MODELSWARD 2018   6th International Conference on Model-Driven Engineering and Software Development
MODELS 2018   ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems