Addressing extensibility and fault tolerance in can-based automotive systems: Special session paper

The design of automotive electronic systems needs to address a variety of important objectives, including safety, performance, fault tolerance, reliability, security, extensibility, etc. To obtain a feasible design, timing constraints must be satisfied and latencies of certain functional paths should not exceed their deadlines. From functionality perspective, soft errors caused by transient or intermittent faults need to be detected and recovered with fault tolerance techniques. Moreover, during the lifetime of a vehicle design or even the same car, updates are often needed to add new features or fix bugs in existing ones. It is therefore critical to improve the design extensibility for accommodating such updates without incurring major redesign and re-verification cost. In this work, we discuss the metrics for measuring latency, fault tolerance and extensibility, and present a simulated annealing based algorithm to search the design space with respect to them. Experimental results on industrial and synthetic examples demonstrate clear trade-offs among these objectives, and hence the importance of quantitatively analyzing such trade-offs and exploring the design space with automation tools.

[1]  Alan Burns,et al.  An effective schedulability analysis for fault-tolerant hard real-time systems , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[2]  Wolfgang Hohl,et al.  Watchdog processors in parallel systems , 1993, Microprocess. Microprogramming.

[3]  Ina Schaefer,et al.  Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates , 2016, PrePost@IFM.

[4]  Iain Bate,et al.  Incorporating Scenarios And Heuristics To Improve Flexibility In Real-Time Embedded Systems , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[5]  Ramesh Yerraballi,et al.  Scalability in real-time systems with end-to-end requirements , 1996, J. Syst. Archit..

[6]  Wayne H. Wolf,et al.  TGFF: task graphs for free , 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

[7]  Alan Burns,et al.  An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems , 2003, IEEE Trans. Computers.

[8]  Johan Karlsson,et al.  Two software techniques for on-line error detection , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

[9]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[10]  R. Makowitz,et al.  Flexray - A communication network for automotive control systems , 2006, 2006 IEEE International Workshop on Factory Communication Systems.

[11]  Alberto L. Sangiovanni-Vincentelli,et al.  Optimization of task allocation and priority assignment in hard real-time distributed systems , 2012, TECS.

[12]  M. Gribaudo,et al.  2002 , 2001, Cell and Tissue Research.

[13]  Alberto L. Sangiovanni-Vincentelli,et al.  Optimizing the Software Architecture for Extensibility in Hard Real-Time Distributed Systems , 2010, IEEE Transactions on Industrial Informatics.

[14]  Yue Gao,et al.  Using explicit output comparisons for fault tolerant scheduling (FTS) on modern high-performance processors , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[15]  John P. Lehoczky,et al.  Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems , 1994, IEEE Trans. Software Eng..

[16]  Petru Eles,et al.  Analysis and optimization of fault-tolerant embedded systems with hardened processors , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[17]  Joel S. Emer,et al.  Techniques to reduce the soft error rate of a high-performance microprocessor , 2004, Proceedings. 31st Annual International Symposium on Computer Architecture, 2004..

[18]  Petru Eles,et al.  On the quantification of sustainability and extensibility of FlexRay schedules , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

[19]  Yue Gao,et al.  Analysis and optimization of soft error tolerance strategies for real-time systems , 2015, 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[20]  R.C. Baumann,et al.  Radiation-induced soft errors in advanced semiconductor technologies , 2005, IEEE Transactions on Device and Materials Reliability.

[21]  Lars-Berno Fredriksson,et al.  CAN for Critical Embedded Automotive Networks , 2002, IEEE Micro.

[22]  Petru Eles,et al.  Design optimization of time- and cost-constrained fault-tolerant distributed embedded systems , 2005, Design, Automation and Test in Europe.

[23]  Petru Eles,et al.  Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems With Checkpointing and Replication , 2009, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[24]  Edward J. McCluskey,et al.  Control-flow checking by software signatures , 2002, IEEE Trans. Reliab..

[25]  Edward A. Lee,et al.  A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[26]  Donal Heffernan,et al.  Expanding Automotive Electronic Systems , 2002, Computer.