Adaptive Dynamic Scheduling on Multifunctional Mixed-Criticality Automotive Cyber-Physical Systems

A function model for the description of distributed end-to-end computations is called a task graph. Multiple functions with different criticality levels are supported by one electronic control unit (ECU), and one function is distributed over multiple ECUs in integrated automotive architecture. Considering the inherent heterogeneity, interaction, and diverse nature of such an architecture, automotive embedded systems have evolved to automotive cyber-physical systems (ACPS), which consist of multiple distributed automotive functions with different criticality levels. Efficient scheduling strategies can fully utilize ECUs in ACPS for high performance. However, ACPS should deal with joint challenges of heterogeneity, dynamics, parallelism, safety, and criticality, and these challenges are the key issues that will be solved in the next generation automotive open system architecture adaptive platform. This study first proposes a fairness-based dynamic scheduling algorithm FDS_MIMF to minimize the individual makespans (i.e., schedule lengths) of functions from a high performance perspective. FDS_MIMF can respond autonomously to the joint challenges of heterogeneity, dynamics, and parallelism of ACPS. To further respond autonomously to the joint challenges of heterogeneity, dynamics, parallelism, safety, and criticality of ACPS, we present an adaptive dynamic scheduling algorithm ADS_MIMF to achieve low deadline miss ratios (DMRs) of safety-critical functions from a timing constraint perspective while maintaining the acceptable overall makespan of ACPS from a high performance perspective. ADS_MIMF is implemented by changing up and down the criticality level of ACPS to adjust the execution of different functions on different criticality levels without increasing the time complexity. Experimental results indicate that FDS_MIMF can obtain short overall makespan, whereas ADS_MIMF can reduce the DMR values of high-criticality functions while still keeping satisfactory performance of ACPS.

[1]  Sanjoy K. Baruah,et al.  Uniprocessor EDF scheduling of AVR task systems , 2015, ICCPS.

[2]  Jae Wook Jeon,et al.  Gateway Framework for In-Vehicle Networks Based on CAN, FlexRay, and Ethernet , 2015, IEEE Transactions on Vehicular Technology.

[3]  Alberto Sangiovanni-Vincentelli,et al.  Stochastic Analysis of CAN-Based Real-Time Automotive Systems , 2009, IEEE Transactions on Industrial Informatics.

[4]  Weisong Shi,et al.  A Planner-Guided Scheduling Strategy for Multiple Workflow Applications , 2008, 2008 International Conference on Parallel Processing - Workshops.

[5]  Martin Lukasiewycz,et al.  Challenges in automotive cyber-physical systems design , 2012, 2012 International Conference on Embedded Computer Systems (SAMOS).

[6]  Giorgio C. Buttazzo,et al.  Response-time analysis for real-time tasks in engine control applications , 2015, ICCPS.

[7]  Lavinia Ferariu,et al.  OSEK-based gateway algorithm for multi-domain CAN systems , 2011, 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing.

[8]  Yang Wang,et al.  Holistic Scheduling of Real-Time Applications in Time-Triggered In-Vehicle Networks , 2014, IEEE Transactions on Industrial Informatics.

[9]  Samarjit Chakraborty,et al.  Multi-layered scheduling of mixed-criticality cyber-physical systems , 2013, J. Syst. Archit..

[10]  Ragunathan Rajkumar,et al.  Overload provisioning in mixed-criticality cyber-physical systems , 2012, TECS.

[11]  Edward A. Lee,et al.  Aspect-oriented modeling of attacks in automotive Cyber-Physical Systems , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[12]  Nicolas Navet,et al.  Timing verification of automotive communication architectures using quantile estimation , 2014 .

[13]  Steve Vestal,et al.  Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

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

[15]  Salim Hariri,et al.  Performance-Effective and Low-Complexity Task Scheduling for Heterogeneous Computing , 2002, IEEE Trans. Parallel Distributed Syst..

[16]  Kuo-Chan Huang,et al.  Online scheduling of workflow applications in grid environments , 2011, Future Gener. Comput. Syst..

[17]  Keqin Li,et al.  High performance real-time scheduling of multiple mixed-criticality functions in heterogeneous distributed embedded systems , 2016, J. Syst. Archit..

[18]  Hamid Arabnejad,et al.  Fairness Resource Sharing for Dynamic Workflow Scheduling on Heterogeneous Systems , 2012, 2012 IEEE 10th International Symposium on Parallel and Distributed Processing with Applications.

[19]  Hamid Arabnejad,et al.  List Scheduling Algorithm for Heterogeneous Systems by an Optimistic Cost Table , 2014, IEEE Transactions on Parallel and Distributed Systems.

[20]  Samarjit Chakraborty,et al.  Automotive Cyber–Physical Systems: A Tutorial Introduction , 2016, IEEE Design & Test.

[21]  Christian Prehofer,et al.  Towards Self-Adaptation in Real-Time, Networked Systems: Efficient Solving of System Constraints for Automotive Embedded Systems , 2011, 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems.

[22]  Alberto L. Sangiovanni-Vincentelli,et al.  Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools , 2010, Proceedings of the IEEE.

[23]  Seungwoo Seo,et al.  Design Optimization of Vehicle Control Networks , 2011, IEEE Transactions on Vehicular Technology.

[24]  Xi Chen,et al.  Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[25]  Rizos Sakellariou,et al.  Scheduling multiple DAGs onto heterogeneous systems , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[26]  Paul Pop,et al.  Design optimization of TTEthernet-based distributed real-time systems , 2014, Real-Time Systems.

[27]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[28]  Giorgio C. Buttazzo,et al.  Performance-Driven Design of Engine Control Tasks , 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).

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

[30]  Niraj K. Jha,et al.  COSYN: Hardware-software co-synthesis of heterogeneous distributed embedded systems , 1999, IEEE Trans. Very Large Scale Integr. Syst..

[31]  Paul Pop,et al.  Design Optimization of Mixed-Criticality Real-Time Embedded Systems , 2015, ACM Trans. Embed. Comput. Syst..

[32]  Simon Fürst,et al.  Challenges in the design of automotive software , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[33]  Simon Fürst,et al.  AUTOSAR for Connected and Autonomous Vehicles: The AUTOSAR Adaptive Platform , 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W).

[34]  Nuno Pereira,et al.  Static-Priority Scheduling over Wireless Networks with Multiple Broadcast Domains , 2007, RTSS 2007.

[35]  Jonas Fredriksson,et al.  Worst-Case Analysis of Automotive Collision Avoidance Systems , 2016, IEEE Transactions on Vehicular Technology.

[36]  Zdenek Hanzálek,et al.  Measurement automation and result processing in timing analysis of a Linux-based CAN-to-CAN gateway , 2011, Proceedings of the 6th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems.

[37]  Lothar Thiele,et al.  A hybrid approach to cyber-physical systems verification , 2012, DAC Design Automation Conference 2012.

[38]  Hiroaki Takada,et al.  Worst Case Response Time Analysis for Messages in Controller Area Network with Gateway , 2013, IEICE Trans. Inf. Syst..

[39]  Jeffrey D. Ullman,et al.  NP-Complete Scheduling Problems , 1975, J. Comput. Syst. Sci..

[40]  Suhaib A. Fahmy,et al.  Extensible FlexRay Communication Controller for FPGA-Based Automotive Systems , 2015, IEEE Transactions on Vehicular Technology.

[41]  Yang Wang,et al.  Scheduling periodic task graphs for safety-critical time-triggered avionic systems , 2015, IEEE Transactions on Aerospace and Electronic Systems.

[42]  Petru Eles,et al.  Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints , 2008, TECS.

[43]  Kang G. Shin,et al.  Combined Task and Message Scheduling in Distributed Real-Time Systems , 1999, IEEE Trans. Parallel Distributed Syst..

[44]  Hiroaki Takada,et al.  Gateway Modeling and Response Time Analysis on CAN Clusters of Automobiles , 2015, 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.

[45]  Keqin Li,et al.  Heterogeneity-driven end-to-end synchronized scheduling for precedence constrained tasks and messages on networked embedded systems , 2015, J. Parallel Distributed Comput..

[46]  Sanjoy K. Baruah,et al.  The Federated Scheduling of Systems of Mixed-Criticality Sporadic DAG Tasks , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

[47]  Minhaj Ahmad Khan,et al.  Scheduling for heterogeneous Systems using constrained critical paths , 2012, Parallel Comput..

[48]  Xenofon D. Koutsoukos,et al.  Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems , 2016, HSCC.

[49]  Chenyang Lu,et al.  Mixed-criticality federated scheduling for parallel real-time tasks , 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).