A co-simulation approach for system-level analysis of embedded control systems

Control applications have become an integral part of modern networked embedded systems. However, there often exists a gap between control engineering and system design. The control engineer has detailed knowledge about the algorithms but is abstracting from the system architecture and implementation. On the other hand, the system designer aims at achieving high-quality implementations based on quality constraints specified by the control engineer. This may result in either an overdesigned system in case the specifications are pessimistic or an unsafe system behavior when specifications are too optimistic. Thus, future design automation approaches have to consider the quality of control applications both as design objectives and design constraints to achieve safe yet highly optimized system implementations. The work at hand introduces an automatic tool flow at the Electronic System Level (ESL) that enables the optimization of a system implementation with quality of control being introduced as a principal design objective, like the maximum braking distance, while respecting constraints like maximum slip to ensure maneuverability of a car. The gap between mathematically well-defined models for system synthesis and common analysis techniques for control quality is bridged by co-simulation: A SystemC-based virtual prototype of a distributed controller implementation is combined with high-level models of the plants specified in Matlab/Simulink. Through a model transformation, the traditional development process of control applications is combined with state-of-the-art ESL techniques, ensuring model consistency while enabling a high degree of automation.

[1]  Christian Haubelt,et al.  Efficient Representation and Simulation of Model-Based Designs , 2006, FDL.

[2]  Christian Haubelt,et al.  Efficient approximately-timed performance modeling for architectural exploration of MPSoCs , 2009, 2009 Forum on Specification & Design Languages (FDL).

[3]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[4]  Martin Lukasiewycz,et al.  Time-triggered implementations of mixed-criticality automotive software , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Christian Haubelt,et al.  Electronic System-Level Synthesis Methodologies , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Anuradha M. Annaswamy,et al.  Optimizing hierarchical schedules for improved control performance , 2010, International Symposium on Industrial Embedded System (SIES).

[7]  Olivier Sename,et al.  Robust control/scheduling co-design: application to robot control , 2005, 11th IEEE Real Time and Embedded Technology and Applications Symposium.

[8]  M. Abid,et al.  A SystemC/Simulink Co-Simulation Framework for Continuous/Discrete-Events Simulation , 2006, 2006 IEEE International Behavioral Modeling and Simulation Workshop.

[9]  Petru Eles,et al.  Quality-driven synthesis of embedded multi-mode control systems , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[10]  张友安,et al.  使用MATLAB WITH SIMULINK仿真语言的几点体会 , 1998 .

[11]  Martin Lukasiewycz,et al.  Combined system synthesis and communication architecture exploration for MPSoCs , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[12]  Karl-Erik Årzén,et al.  Jitterbug and TrueTime: Analysis Tools for Real-Time Control Systems , 2002 .

[13]  Karl-Erik Årzén,et al.  CONTROL AND EMBEDDED COMPUTING: SURVEY OF RESEARCH DIRECTIONS , 2005 .

[14]  Michael Glaß,et al.  A co-simulation approach for control performance analysis during design space exploration of cyber-physical systems , 2011, SIGBED.

[15]  Rémy Kocik,et al.  Distributed control of a car suspension system , 2004 .

[16]  Tai C Yang,et al.  Networked control system: a brief survey , 2006 .

[17]  Youxian Sun,et al.  Simulation based performance analysis of networked control systems with resource constraints , 2004, 30th Annual Conference of IEEE Industrial Electronics Society, 2004. IECON 2004.

[18]  Petru Eles,et al.  Integrated scheduling and synthesis of control applications on distributed embedded systems , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[19]  Anton Cervin,et al.  JITTERBUG: a tool for analysis of real-time control performance , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[20]  K.-E. Arzen,et al.  An introduction to control and scheduling co-design , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[21]  Anton Cervin,et al.  Delay-Aware Period Assignment in Control Systems , 2008, 2008 Real-Time Systems Symposium.

[22]  A. Kruczek,et al.  A full-car model for active suspension - some practical aspects , 2004, Proceedings of the IEEE International Conference on Mechatronics, 2004. ICM '04..

[23]  J. Nilsson,et al.  Timing problems in real-time control systems , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[24]  Dominique Borrione.  Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s , 2010 .