The Multi-Domain Frame Packing Problem for CAN-FD

The Controller Area Network with Flexible Data-Rate (CAN-FD) is a new communication protocol to meet the bandwidth requirements for the constantly growing volume of data exchanged in modern vehicles. The problem of frame packing for CAN-FD, as studied in the literature, assumes a single sub-system where one CAN-FD bus serves as the communication medium among several Electronic Control Units (ECUs). Modern automotive electronic systems, on the other hand, consist of several sub-systems, each facilitating a certain functional domain such as powertrain, chassis and suspension. A substantial fraction of all signals is exchanged across sub-systems. In this work, we study the frame packing problem for CAN-FD with multiple sub-systems, and propose a two-stage optimization framework. In the first stage, we pack the signals into frames with the objective of minimizing the bandwidth utilization. In the second stage, we extend Audsley's algorithm to assign priorities/identifiers to the frames. In case the resulting solution is not schedulable, our framework provides a potential repacking method. We propose two solution approaches: (a) an Integer Linear Programming (ILP) formulation that provides an optimal solution but is computationally expensive for industrial-size problems; and (b) a greedy heuristic that scales well and provides solutions that are comparable to optimal solutions. Experimental results show the efficiency of our optimization framework in achieving feasible solutions with low bandwidth utilization. The results also show a significant improvement over the case when there is no cross-domain consideration (as in prior work).

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

[2]  Alan Burns,et al.  Robust priority assignment for messages on Controller Area Network (CAN) , 2009, Real-Time Systems.

[3]  Soheil Samii,et al.  The Frame Packing Problem for CAN-FD , 2014, 2014 IEEE Real-Time Systems Symposium.

[4]  Andy J. Wellings,et al.  Analysing real-time communications: controller area network (CAN) , 1994, 1994 Proceedings Real-Time Systems Symposium.

[5]  Robert Bosch,et al.  CAN with Flexible Data-Rate , 2012 .

[6]  D. K. Friesen,et al.  Variable Sized Bin Packing , 1986, SIAM J. Comput..

[7]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[8]  Wei Zheng,et al.  Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems , 2007, RTSS 2007.

[9]  Christer Norström,et al.  Frame packing in real-time communication , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[10]  Petru Eles,et al.  Reliability-Aware Frame Packing for the static segment of FlexRay , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[11]  Gökhan Urul,et al.  A FRAME PACKING METHOD TO IMPROVE THE SCHEDULABILITY ON CAN AND CAN-FD , 2015 .

[12]  Sungoh Kwon,et al.  Scheduling of Time Triggered Messages in Static Segment of FlexRay , 2014 .

[13]  Alan Burns,et al.  Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised , 2007, Real-Time Systems.

[14]  Petru Eles,et al.  Schedulability-driven frame packing for multicluster distributed embedded systems , 2005, TECS.

[15]  Kiejin Park,et al.  Frame Packing for Minimizing the Bandwidth Consumption of the FlexRay Static Segment , 2013, IEEE Transactions on Industrial Electronics.

[16]  Marco Di Natale,et al.  On the applicability of an MILP solution for signal packing in CAN-FD , 2016, 2016 IEEE 14th International Conference on Industrial Informatics (INDIN).

[17]  Neil C. Audsley,et al.  On priority assignment in fixed priority scheduling , 2001, Inf. Process. Lett..

[18]  Florian Pölzlbauer,et al.  Optimized Frame Packing for Embedded Systems , 2012, IEEE Embedded Systems Letters.

[19]  Nicolas Navet,et al.  Plasticity--Theory and Application , 1968 .

[20]  Frank D. Murgolo An Efficient Approximation Scheme for Variable-Sized Bin Packing , 1987, SIAM J. Comput..

[21]  Liliana Cucu-Grosjean,et al.  A review of priority assignment in real-time systems , 2016, J. Syst. Archit..

[22]  Inês Lynce,et al.  On Computing Minimum Unsatisfiable Cores , 2004, SAT.

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

[24]  Alberto L. Sangiovanni-Vincentelli,et al.  Optimizing Extensibility in Hard Real-Time Distributed Systems , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.