Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment

FlexRay is a new high-bandwidth communication protocol for the automotive domain, providing support for the transmission of time-critical periodic frames in a static segment and priority-based scheduling of event-triggered frames in a dynamic segment. The design of a system scheduling with communication over the FlexRay static segment is not an easy task because of protocol constraints and the demand for extensibility and flexibility. We study the problem of the ECU and FlexRay bus scheduling synthesis from the perspective of the application designer, interested in optimizing the scheduling subject to timing constraints with respect to latency- or extensibility-related metric functions. We provide solutions for a task and signal scheduling problem, including different task scheduling policies based on existing industry standards. The solutions are based on the Mixed-Integer Linear Programming optimization framework. We show the results of the application of the method to case studies consisting of an X-by-wire system on actual prototype vehicles.

[1]  Samarjit Chakraborty,et al.  Performance Analysis of FlexRay-based ECU Networks , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[2]  Ece Guran Schmidt,et al.  Message Scheduling for the FlexRay Protocol: The Dynamic Segment , 2009, IEEE Transactions on Vehicular Technology.

[3]  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.

[4]  Petru Eles,et al.  Scheduling with bus access optimization for distributed embedded systems , 2000, IEEE Trans. Very Large Scale Integr. Syst..

[5]  S. Martello,et al.  Exact Solution of the Two-Dimensional Finite Bon Packing Problem , 1998 .

[6]  John M. Rushby,et al.  Bus Architectures for Safety-Critical Embedded Systems , 2001, EMSOFT.

[7]  Nicolas Navet,et al.  Trends in Automotive Communication Systems , 2005, Proceedings of the IEEE.

[8]  Gaurav Bhatia,et al.  Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[9]  Stavros Tripakis,et al.  From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications , 2003, LCTES '03.

[10]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

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

[12]  John A. Stankovic,et al.  Dynamic end-to-end guarantees in distributed real time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.

[13]  Rolf Ernst,et al.  TDMA time slot and turn optimization with evolutionary search techniques , 2005, Design, Automation and Test in Europe.

[14]  Ece Guran Schmidt,et al.  Message Scheduling for the FlexRay Protocol: The Static Segment , 2009, IEEE Transactions on Vehicular Technology.

[15]  Alberto L. Sangiovanni-Vincentelli,et al.  Scheduling the FlexRay bus using optimization techniques , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[16]  Alberto L. Sangiovanni-Vincentelli,et al.  Implementing Synchronous Models on Loosely Time Triggered Architectures , 2008, IEEE Transactions on Computers.

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

[18]  Hiroaki Takada,et al.  A GA-based scheduling method for FlexRay systems , 2005, EMSOFT.

[19]  G. Cena,et al.  Performance analysis of Byteflight networks , 2004, IEEE International Workshop on Factory Communication Systems, 2004. Proceedings..

[20]  Haibo Zeng,et al.  Time Determinism and Semantics Preservation in the Implementation of Distributed Functions over FlexRay , 2010 .

[21]  Rolf Ernst,et al.  SymTA/S - Symbolic Timing Analysis for Systems , 2004 .

[22]  A. G. Demusyak.  International Standards Organization (ISO) , 1967 .

[23]  José Alberto Fonseca,et al.  The FTT-CAN Protocol for Flexibility in Safety-Critical Systems , 2002, IEEE Micro.

[24]  Karl Johan Åström,et al.  Computer-Controlled Systems: Theory and Design , 1984 .

[25]  M. B. Zarrop,et al.  Book Review: Computer Controlled Systems: theory and design (3rd Ed.) , 1998 .

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

[27]  Petru Eles,et al.  Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).