Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods

Reliability is the most important design issue for current autonomous vehicles. How to guarantee reliability and reduce hardware cost is key for the design of such complex control systems intertwined with scenario-related multi-period timing behaviors. The paper presents a reliability and resource-aware design framework for embedded implementation of such autonomous applications, where each scenario may have its own timing constraints. The constraints are formalized with the consideration of different redundancy based fault-tolerant techniques and software to hardware allocation choices, which capture the static and various causality relations of such systems. Both exact and heuristic-based methods have been implemented to derive the lower bound of hardware usage, in terms of processor, for the given reliability requirement. The case study on a realistic autonomous vehicle controller demonstrates the effectiveness and feasibility of the framework.

[1]  Bowen Zheng,et al.  Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving , 2016, 2016 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

[2]  Bruno Dutertre,et al.  Yices 2.2 , 2014, CAV.

[3]  Martin Lukasiewycz,et al.  Reliability-Aware System Synthesis , 2007 .

[4]  Alois Knoll,et al.  A framework for reliability-aware embedded system design on multiprocessor platforms , 2014, Microprocess. Microsystems.

[5]  Alberto L. Sangiovanni-Vincentelli,et al.  Embedded System Design for Automotive Applications , 2007, Computer.

[6]  Samarjit Chakraborty,et al.  Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach , 2016, Found. Trends Electron. Des. Autom..

[7]  David Broman,et al.  Relaxing the synchronous approach for mixed-criticality systems , 2014, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[8]  Christel Baier,et al.  Principles of model checking , 2008 .

[9]  Jin Jiang,et al.  Fault-tolerant control systems: A comparative study between active and passive approaches , 2012, Annu. Rev. Control..

[10]  Zonghua Gu,et al.  Design optimization for AUTOSAR models with preemption thresholds and mixed-criticality scheduling , 2017, J. Syst. Archit..

[11]  Robert I. Davis,et al.  Mixed Criticality Systems - A Review , 2015 .

[12]  Frédéric Boniol,et al.  Multi-task Implementation of Multi-periodic Synchronous Programs , 2011, Discret. Event Dyn. Syst..

[13]  Rolf Ernst,et al.  Reliability analysis for MPSoCs with mixed-critical, hard real-time constraints , 2011, 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[14]  Sujan Pandey,et al.  Transient errors resiliency analysis technique for automotive safety critical applications , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[15]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..