Sander Stuijk

Building Predictable Embedded Systems from Dynamic Applications and Platforms
Eindhoven University of Technology, Netherlands
11, Dec, 2012 11:00-12:00 (1 hour)
CISTER, Porto, Portugal

Applications running in a cyber-physical system often have different modes of operation with different resource requirements. Moreover, these systems often contain multiple applications which are running in dynamically changing combinations on the platform resources. In addition, the platform may offer features such a dynamic voltage and frequency scaling to dynamically trade-off different resources (e.g., compute power and energy). To ensure that the cyber-physical system operates correctly, the applications running on this system need to meet their timing constraints despite the highly dynamic context in which they are executed. To ensure efficient development of such systems, dynamism needs to be taken into account during the whole design process. This requires a model-driven design approach in which the timing behavior of the applications running on the platform resources is taken into account; formal models capture the dynamic behavior of the applications and their interaction with the platform resources. In this presentation, we present a model-driven approach that can be used to build predictable systems that exploit the dynamic behavior in applications and platform resources to save resources and energy for other applications. The approach is illustrated with dataflow models of a wireless radio implemented on a multi-core platform that supports dynamic voltage and frequency scaling.

Dr. Sander Stuijk received his M.Sc. degree (with honors) in Electrical Engineering in 2002 and his Ph.D. degree in 2007 from the Eindhoven University of Technology. He is currently an assistant professor in the Department of Electrical Engineering at the Eindhoven University of Technology. Sander Stuijk has been working as a visiting researcher at the Technical University of Dortmund in Germany (2009). His research interests include modeling methods and mapping techniques for the design, specification, analysis and synthesis of predictable hardware/software systems.

Auditorium, CISTER, ISEP
Rua Alfredo Allen, 535
4200-135 Porto, Portugal