W01 1st Workshop on Model-Implementation Fidelity (MiFi)
Agenda
| Time | Label | Session |
|---|---|---|
| 08:30 | W01.1 | Opening Session Co-Chairs: |
| 08:30 | W01.1.1 | Opening Session |
| 08:45 | W01.2 | Session 1: Performance and power models of parallel systems Chair: |
| 08:45 | W01.2.1 | Keynote: Empowering mixed-critical system engineers in the dark silicon era: Towards power, temperature and aging analysis of heterogeneous MPSoCs at system-level. Kim Grüttner, OFFIS - Institute for Information Technology, DE Kim Grüttner is head of the Hardware/Software Design Methodology group at OFFIS - Institute for Information Technology in Oldenburg. Since 2005, he holds a Diploma degree in Computer Science from the University of Oldenburg, Germany, joined OFFIS in 2005 as researcher and works since 10/2008 as group manager. Kim Grüttner was involved in the EU-Projects ICODES (Interface and Communication-based Design of Embedded Systems) and ANDRES (Analysis and Design of run-time Reconfigurable, heterogeneous Systems). He has coordinated the COMPLEX (Codesign and power Management in Platform-based design space Exploration) European integrated project. Currently, he is coordinating the CONTREX (Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties) European integrated project, which constitutes the European Mixed-Criticality Cluster together with the running projects DREAMS and PROXIMA. His research topics include Electronic System-Level design and synthesis for Multi-Processor System on Chips (MPSoC), system-level design methodologies and languages for HW and SW systems with a focus on HW/SW communication, interface synthesis, power and temperature modelling for mixed-criticality MPSoCs. |
| 09:30 | W01.2.2 | Regular paper: Power-proportional modelling fidelity Ashur Rafiev1, Fei Xia2, Alexei Iliasov1, Rem Gensh1, Ali Aalsaud1, Alexander Romanovsky1 and Alex Yakovlev1 1Newcastle University, GB; 2University of Newcastle upon Tyne, GB |
| 10:00 | W01.2.3 | Regular paper: Implementation-Aware Buffer-Throughput Tradeoff in Embedded Stream Applications Kamyar Mirzazad Barijough1, Matin Hashemi1, Volodymyr Khibin2 and Soheil Ghiasi2 1Sharif University of Technology, IR; 2University of California, Davis, US |
| 10:30 | W01.3 | Coffee break |
| 11:00 | W01.4 | Session 2: SoC design-flows for fast platform prototyping Chair: |
| 11:00 | W01.4.1 | Regular paper: SimSoC: A Fast Proven Faithful Full System Virtual Prototyping Framework Vania Joloboff1, Jean-Francois Monin2 and Xiaomu Shi2 1INRIA, FR; 2University of Grenoble, FR |
| 11:30 | W01.4.2 | Regular paper: A Composable and Predictable MPSoC Design Flow for Multiple Real-Time Applications Seyed-Hosein Attarzadeh-Niaki1, Ekrem Altinel1, Martijn Koedam2, Anca Molnos3, Ingo Sander4 and Kees Goossens5 1KTH Royal Institute of Technology, SE; 2Eindhoven university of technology, NL; 3CEA LETI, FR; 4Royal Institute of Technology, SE; 5Eindhoven Univ. of Technology, NL |
| 12:00 | W01.5 | Lunch break |
| 13:00 | W01.6 | Session 3: Verification and implementation of embedded systems from high-level models Chair: |
| 13:00 | W01.6.1 | Keynote: Building Faithful High-level Models and Performance Evaluation of Embedded System Saddek Bensalem, Université Joseph Fourier, FR Saddek Bensalem, is Professor in Computer Science at VERIMAG laboratory, University of Grenoble, France. His research interests are in the study of embedded systems, formal specification and verification, algorithmic verification techniques, complex systems, real-time systems, automata and logics. His work has been on the topic of automatic formal verification of systems that have unbounded numbers of states. He has pioneered development of techniques that combine the complementary strengths of deductive and algorithmic methods. He has made significant research contributions on several aspects of this problem, among which the theory of property-preserving abstraction and relationship to compositional verification, automatic invariant discovery, predicate abstraction and a verification method for parametrized systems. |
| 13:45 | W01.6.2 | Regular paper: Analysis and Implementation of Embedded System Mode Bojan Nokovic and Emil Sekerinski, McMaster University, CA |
| 14:30 | W01.7 | Coffee break |
| 14:30 | W01.8 | Demo and poster session Chair: |
Visit us at DATE 2015
