Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems

Emerging bus protocols such as FlexRay provide an expedient platform for the design of automotive control systems due to its high bandwidth and deterministic temporal behavior. However, the choice of suitable platform parameters such as task and message schedules becomes a challenging design problem as the protocol is complex in nature and enforces a tight coupling between local task schedules on ECUs and global bus schedules. Although there exist several commercial off-the-shelf (COTS) design tools for FlexRay and control systems, current tools do not provide any mechanism for automatically synthesizing the platform parameters from the controller specifications. In this work we synthesize controllers subject to specified control goals while taking into account platform-specific properties. In particular, we translate the timing constraints derived from the control design into platform constraints that need to be satisfied by the control-related tasks and messages. For this purpose, we formulate and solve a constraint satisfaction problem (CSP) to synthesize feasible platform parameters that can be realized by the underlying operating systems and the FlexRay bus. Our design flow may be easily integrated with existing FlexRay design tools and will significantly ease (and automate) the existing design process. We show the applicability of our results by implementing two automotive control systems on a Hardware-in-the-Loop (HiL) setup and study how different bus configurations affect the controller synthesis and the choice of platform parameters.

[1]  J. Doyle,et al.  Robust and optimal control , 1995, Proceedings of 35th IEEE Conference on Decision and Control.

[2]  Ece Guran Schmidt,et al.  Schedulability Analysis and Message Schedule Computation for the Dynamic Segment of FlexRay , 2010, 2010 IEEE 72nd Vehicular Technology Conference - Fall.

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

[4]  Lui Sha,et al.  On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.

[5]  Klaus D. Müller-Glaser,et al.  The impact of time-triggered communication in automotive embedded systems , 2007, 2007 International Symposium on Industrial Embedded Systems.

[6]  Petru Eles,et al.  Timing analysis of the FlexRay communication protocol , 2006, 18th Euromicro Conference on Real-Time Systems (ECRTS'06).

[7]  Wayne H. Wolf,et al.  Cyber-physical Systems , 2009, Computer.

[8]  Oliver Scheickl,et al.  The influence of real-time constraints on the design of FlexRay-based systems , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[9]  Martin Lukasiewycz,et al.  FlexRay schedule optimization of the static segment , 2009, CODES+ISSS '09.

[10]  Mathieu Grenier,et al.  Configuring the communication on FlexRay - the case of the static segment ⁄ , 2008 .

[11]  Alberto L. Sangiovanni-Vincentelli,et al.  Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment , 2011, IEEE Transactions on Industrial Informatics.

[12]  Samarjit Chakraborty,et al.  Co-design of cyber-physical systems via controllers with flexible delay constraints , 2011, 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011).

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

[14]  Petru Eles,et al.  Bus Access Optimisation for FlexRay-based Distributed Embedded Systems , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[15]  Petru Eles,et al.  Design Optimization and Synthesis of FlexRay Parameters for Embedded Control Applications , 2011, 2011 Sixth IEEE International Symposium on Electronic Design, Test and Application.