Schedule optimization of static messages with precedence relations in FlexRay

In this paper, we study the problem of scheduling static messages in FlexRay. We assume that static messages have precedence relations. This implies that each message must be sent after the transmission of all its predecessors. Our problem model supports slot multiplexing as defined in the FlexRay v3.0 protocol specification. Our objective is to provide a schedule that satisfies FlexRay specifications and precedence relations between messages and minimizes the bandwidth usage. To solve the problem, a scheme for transformation of the message scheduling problem to Strip Packing Problem (SPP) is proposed. We solve the optimization problem using a Linear Integer Programming formulation. We study our approach based on some advanced automotive control applications.

[1]  Nagarajan Kandasamy,et al.  Dependable Communication Synthesis for Distributed Embedded Systems , 2003, SAFECOMP.

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

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

[4]  Ronald L. Rivest,et al.  Orthogonal Packings in Two Dimensions , 1980, SIAM J. Comput..

[5]  Kees G. W. Goossens,et al.  Optimal scheduling of switched FlexRay networks , 2011, 2011 Design, Automation & Test in Europe.

[6]  John Augustine,et al.  Strip packing with precedence constraints and strip packing with release times , 2009, Theor. Comput. Sci..

[7]  Brenda S. Baker,et al.  A 5/4 Algorithm for Two-Dimensional Packing , 1981, J. Algorithms.

[8]  Ece Guran Schmidt,et al.  Optimal Message Scheduling for the Static Segment of FlexRay , 2010, 2010 IEEE 72nd Vehicular Technology Conference - Fall.

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

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

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

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

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

[14]  Michel Gendreau,et al.  Heuristics and lower bounds for the bin packing problem with conflicts , 2004, Comput. Oper. Res..