SUNDAY June 07, 9:00am - 5:00pm | Room 302
TOPIC AREA: EMBEDDED SYSTEMS
KEYWORD: EMBEDDED SYSTEM ARCHITECTURE AND DESIGN
EVENT TYPE: WORKSHOP

SESSION 4W
Workshop 4: System-to-Silicon Performance Modeling and Analysis
Organizers:
Adam Morawiec - Educational Computer Systems, Inc. , Belmont, France
Laurent Maillet-Contoz - STMicroelectronics, Grenoble, France
Kim Grüttner - OFFIS, Oldenburg, Germany
Gjalt de Jong - ArchWorks, Diegem, Belgium
The integration of heterogeneous electronic systems composed of SW and HW requires not only a proper handling of system functionality, but also an appropriate expression and analysis of various extra-functional properties: timing, energy consumption, thermal behavior, reliability, cost and others as well as performance aspects related to caching, non-determinism, probabilistic effects.

The workshop addresses cross-domain aspects related to the design and verification framework covering methodology, interoperable tools, flows, interfaces and standards that enable formalization, specification, annotation and refinement of functional and extra-functional properties of a system. Special emphasis will be given to formalization and expression of power, temperature, reliability, degradation and aging.

Several research and industry efforts address (parts of) the problem. However, there is a need for community-wide cooperation to establish a holistic vision on extra-functional property treatment, and to agree on research and development directions and further on validation of applicable solutions and standardization. This event will support collaboration between main actors from system and microelectronics industry, EDA and research.

The workshop is inviting submissions of short abstracts industrial and scientific work in progress and practical solution and experiences.

Main Topics
  • Formalization,specification and modeling of extra-functional properties (e.g. using UML, SysML, MARTE, …) and multi-physics specification of timing, power, temperature, reliability and aging properties from system level, transactional level, to implementation
  • Domain-specific languages and formalisms; system-level design languages (e.g. C++, SystemC, SystemVerilog, …) and extensions to express extra-functional properties
  • Tracing of extra-functional properties during simulation and run-time
  • Model of computation extensions for non-determinism, probability analysis, caching, timing, power, temperature, reliability, ...
  • System performance and design space exploration using abstract modelling and analysis (e.g. virtual prototyping, …)
  • Multi-physics simulation challenges: speed vs. accuracy, fidelity
  • Power and performance estimation, analysis and measurement techniques
  • Temperature measurement, abstraction, modeling and analysis techniques
  • Power and temperature aware scheduling & real-time analysis
  • System level reliability and aging models
  • Reliability from transistor to RTL level: e.g. NBTI models including basic physical properties
  • Design for Aging and Reliability
  • Performance objectives validation, including metrics (across abstraction levels) and formal checking of extra-functional properties (e.g. using contract-based design techniques)
  • Evolution and extensions of standards like UPF, IP-XACT to express extra-functional properties
  • Industrial case-studies, state-of-the-art EDA tools including identification of challenges and gaps
Session Organizers:
Andreas Herkersdorf, TU München, Germany
Jürgen Becker, KIT Karlsruhe, Germany
Domenik Helms, OFFIS, Germany
Christoph Sohrmann, Fraunhofer Institute for Integrated Circuits IIS, Germany
Roland Jancke, Fraunhofer Institute for Integrated Circuits IIS, Germany
 Please see the agenda here for Speakers, Session Titles, Abstracts and Presentation Abstracts.

European Projects Contributing to the Workshop

OpenES

MoRV

CONTREX

RELY (contributing final results)