Fakih, Maher A. and Poppen, Frank and Grüttner, Kim, Rettberg, Achim
ASIM-Konferenz STS/GMMS 2011
The design of embedded systems that perform timing critical control algorithms is a challenging task. The goal of this paper is the definition of a design methodology and the implementation of its associated design flow that allows the validationof timing requirements of a control system. The design entry is a functional model of a control system specified in Matlab/Simulink. By modeling the environment (or the process to be controlled) a functional verification of the control system can bemade. In a next step C code is automatically generated from the controller model and cross-compiled to be executed on a virtual hardware platform implemented with the SystemC-based SoCLib framework. In SoCLib a measurement-based timing validation method was implemented to measure the execution of the generated code at a cycle accurate level. For enabling this methodology a co-simulation betweenSoCLib and Simulink was implemented allowing a virtual-platform-in-the-loop verification. Our approach benefits from flexible hardware model introspections and visualization techniques compared to traditional hardware-in-the-loop techniques. The approached design flow shows great flexibility in terms of validating the functionality and performance of different models with different complexities on differentvirtual platforms, and thus allows the forecast of design decision effects at minimal costs and short development times in early phases. Furthermore, the design flow contributes to the validation of timing requirements of critical control algorithms through measuring cycle accurate execution times. We will demonstrate the benefits of the proposed approach using an ignition controller application mapped on avirtual hardware platform.
02 / 2011
COMPLEX COdesign and power Management in PLatform-based design space EXploration