skip to main content
research-article

Resource-Cost-Aware Fault-Tolerant Design Methodology for End-to-End Functional Safety Computation on Automotive Cyber-Physical Systems

Published: 05 September 2018 Publication History

Abstract

Automotive functional safety standard ISO 26262 aims to avoid unreasonable risks due to systematic failures and random hardware failures caused by malfunctioning behavior. Automotive functions involve distributed end-to-end computation in automotive cyber-physical systems (ACPSs). The automotive industry is highly cost-sensitive to the mass market. This study presents a resource-cost-aware fault-tolerant design methodology for end-to-end functional safety computation on ACPSs. The proposed design methodology involves early functional safety requirement verification and late resource cost design optimization. We first propose the functional safety requirement verification (FSRV) method to verify the functional safety requirement consisting of reliability and response time requirements of the distributed automotive function during the early design phase. We then propose the resource-cost-aware fault-tolerant optimization (RCFO) method to reduce the resource cost while satisfying the functional safety requirement of the function during the late design phase. Finally, we perform experiments with real-life automotive and synthetic automotive functions. Findings reveal that the proposed RCFO and VFSR methods demonstrate satisfactory resource cost reduction compared with other methods while satisfying the functional safety requirement.

References

[1]
Saeid Abrishami, Mahmoud Naghibzadeh, and Dick H. J Epema. 2013. Deadline-constrained workflow scheduling algorithms for infrastructure as a service clouds. Future Generation Computer Systems 29, 1 (2013), 158--169.
[2]
Gerd Behrmann, Kim G. Larsen, and Jacob I. Rasmussen. 2005. Optimal scheduling using priced timed automata. ACM SIGMETRICS Performance Evaluation Review 32, 4 (2005), 34--40.
[3]
Guillem Bernat, Antoine Colin, and Stefan M. Petters. 2002. WCET analysis of probabilistic hard real-time systems. In Proc. 23rd IEEE Real-Time Systems Symposium. IEEE, 279--288.
[4]
Samarjit Chakraborty, Mohammad Abdullah Al Faruque, Wanli Chang, Dip Goswami, Marilyn Wolf, and Qi Zhu. 2016. Automotive cyber--physical systems: A tutorial introduction. IEEE Design and Test 33, 4 (2016), 92--108.
[5]
Moïse W. Convolbo and Jerry Chou. 2016. Cost-aware DAG scheduling algorithms for minimizing execution cost on cloud resources. Journal of Supercomputing 72, 3 (2016), 985--1012.
[6]
Marco Di Natale and Alberto Luigi Sangiovanni-Vincentelli. 2010. Moving from federated to integrated architectures in automotive: The role of standards, methods and tools. Proceedings of the IEEE 98, 4 (2010), 603--620.
[7]
Junhe Gan, Paul Pop, and Jan Madsen. 2014. Tradeoff Analysis for Dependable Real-Time Embedded Systems during the Early Design Phases. Ph.D. Dissertation. Technical University of Denmark, Danmarks Tekniske Universitet, Department of Informatics and Mathematical Modeling, Institut for Informatik og Matematisk Modellering.
[8]
Alain Girault and Hamoudi Kalla. 2009. A novel bicriteria scheduling heuristics providing a guaranteed global system failure rate. IEEE Transactions on Dependable and Secure Computing 6, 4 (2009), 241--254.
[9]
Dip Goswami, Reinhard Schneider, Alejandro Masrur, Martin Lukasiewycz, Samarjit Chakraborty, Harald Voit, and Anuradha Annaswamy. 2012. Challenges in automotive cyber-physical systems design. In International Conference on Embedded Computer Systems. IEEE, 346--354.
[10]
Task Graph Generator. 2015. Retrieved from https://sourceforge.net/projects/taskgraphgen/.
[11]
Zonghua Gu, Gang Han, Haibo Zeng, and Qingling Zhao. 2016. Security-aware mapping and scheduling with hardware co-processors for flexray-based distributed embedded systems. IEEE Transactions on Parallel and Distributed Systems 27, 10 (2016), 3044--3057.
[12]
ISO. 2011. ISO 26262--Road vehicles-functional safety. International Organization for Standardization in ISO 26262.
[13]
Jing Liu, Kenli Li, Dakai Zhu, Jianjun Han, and Keqin Li. 2016. Minimizing cost of scheduling tasks on heterogeneous multicore embedded systems. ACM Transactions on Embedded Computing Systems 16, 2 (2016), 36.
[14]
Jing Liu, Qingfeng Zhuge, Shouzhen Gu, Jingtong Hu, Guanyu Zhu, and Edwin Hsing-Mean Sha. 2014. Minimizing system cost with efficient task assignment on heterogeneous multicore processors considering time constraint. IEEE Transactions on Parallel and Distributed Systems 25, 8 (2014), 2101--2113.
[15]
Tolga Ovatman, Aske W. Brekling, and Michael R. Hansen. 2010. Cost analysis for embedded systems: Experiments with priced timed automata. Electronic Notes in Theoretical Computer Science 238, 6 (2010), 81--95.
[16]
Meikang Qiu and H. M. Sha. 2009. Cost minimization while satisfying hard/soft timing constraints for heterogeneous embedded systems. ACM Transactions on Design Automation of Electronic Systems 14, 2 (2009), 1--30.
[17]
Sol M. Shatz and Jia-Ping Wang. 1989. Models and algorithms for reliability-oriented task-allocation in redundant distributed-computer systems. IEEE Transactions on Reliability 38, 1 (1989), 16--27.
[18]
Domiţian Tămaş-Selicean and Paul Pop. May 2015. Design optimization of mixed-criticality real-time embedded systems. ACM Transactions on Embedded Computing Systems 14, 3 (May 2015), 50.
[19]
Haluk Topcuoglu, Salim Hariri, and Min-you Wu. 2002. Performance-effective and low-complexity task scheduling for heterogeneous computing. IEEE Transactions on Parallel and Distributed Systems 13, 3 (2002), 260--274.
[20]
J. D. Ullman. 1975. NP-complete scheduling problems. Journal of Computer and System Science 10, 3 (June 1975), 384--393.
[21]
Armin Wasicek, Patricia Derler, and Edward A. Lee. 2014. Aspect-oriented modeling of attacks in automotive cyber-physical systems. In 51st ACM/EDAC/IEEE Design Automation Conference (DAC’14). IEEE, 1--6.
[22]
Chase Qishi Wu, Xiangyu Lin, Dantong Yu, and Wei Xu. 2015. End-to-end delay minimization for scientific workflows in clouds under budget constraint. IEEE Transactions on Cloud Computing 3, 2 (2015), 169--181.
[23]
Guoqi Xie, Yuekun Chen, Yan Liu, Yehua Wei, Renfa Li, and Keqin Li. Aug. 2017. Resource consumption cost minimization of reliable parallel applications on heterogeneous embedded systems. IEEE Transactions on Industrial Informatics 13, 4 (Aug. 2017), 1629--1640.
[24]
Guoqi Xie, Gang Zeng, Yuekun Chen, Yang Bai, Zhili Zhou, Renfa Li, and Keqin Li. 2017. Minimizing redundancy to satisfy reliability requirement for a parallel application on heterogeneous service-oriented systems. IEEE Transactions on Services Computing (2017).
[25]
Guoqi Xie, Gang Zeng, Ryo Kurachi, Hiroaki Takada, Zhetao Li, Renfa Li, and Keqin Li. 2017. WCRT analysis of CAN messages in gateway-integrated in-vehicle networks. IEEE Transactions on Vehicular Technology 66, 11 (2017), 9623--9637.
[26]
Guoqi Xie, Gang Zeng, Zhetao Li, Yang Bai, Renfa Li, and Keqin Li. Feb. 2017. Adaptive dynamic scheduling on multi-functional mixed-criticality automotive cyber-physical systems. IEEE Transactions on Vehicular Technology 66, 8 (Aug. 2017), 6676--6692.
[27]
Guoqi Xie, Gang Zeng, Yan Liu, Jia Zhou, Renfa Li, and Keqin Li. 2017. Fast functional safety verification for distributed automotive applications during early design phase. IEEE Transactions on Industrial Electronics 65, 5 (May 2018), 4378--4391.
[28]
Ye Xu, Israel Koren, and C. Mani Krishna. 2017. AdaFT: A framework for adaptive fault tolerance for cyber-physical systems. ACM Transactions on Embedded Computing Systems 16, 3 (2017), 79.
[29]
Yingchun Yuan, Xiaoping Li, Qian Wang, and Xia Zhu. 2009. Deadline division-based heuristic for cost optimization in workflow scheduling. Information Sciences 179, 15 (2009), 2562--2575.
[30]
Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, and Alberto Sangiovanni-Vincentelli. 2011. Schedule optimization of time-triggered systems communicating over the FlexRay static segment. IEEE Transactions on Industrial Informatics 7, 1 (2011), 1--17.
[31]
Haibo Zeng, Marco Di Natale, Paolo Giusto, and Alberto Sangiovanni-Vincentelli. 2009. Stochastic analysis of CAN-based real-time automotive systems. IEEE Transactions on Industrial Informatics 5, 4 (2009), 388--401.
[32]
Laiping Zhao, Yizhi Ren, and Kouichi Sakurai. 2013. Reliable workflow scheduling with less resource redundancy. Parallel Computing 39, 10 (2013), 567--585.
[33]
Laiping Zhao, Yizhi Ren, Yang Xiang, and Kouichi Sakurai. 2010. Fault-tolerant scheduling with dynamic number of replicas in heterogeneous systems. In 2010 12th IEEE International Conference on High Performance Computing and Communications (HPCC’10). IEEE, 434--441.

Cited By

View all
  • (2023)Hybrid Modular Redundancy: Exploring Modular Redundancy Approaches in RISC-V Multi-core Computing Clusters for Reliable Processing in SpaceACM Transactions on Cyber-Physical Systems10.1145/36351619:1(1-29)Online publication date: 30-Nov-2023
  • (2022)Contention Cognizant Scheduling of Task Graphs on Shared Bus-Based Heterogeneous PlatformsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2021.305956941:2(281-293)Online publication date: Feb-2022
  • (2021)An Open-Source Wireless Sensor Node Platform with Active Node-Level Reliability for Monitoring ApplicationsSensors10.3390/s2122761321:22(7613)Online publication date: 16-Nov-2021
  • Show More Cited By

Index Terms

  1. Resource-Cost-Aware Fault-Tolerant Design Methodology for End-to-End Functional Safety Computation on Automotive Cyber-Physical Systems

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Transactions on Cyber-Physical Systems
      ACM Transactions on Cyber-Physical Systems  Volume 3, Issue 1
      Special Issue on Dependability in CPS
      January 2019
      256 pages
      ISSN:2378-962X
      EISSN:2378-9638
      DOI:10.1145/3274532
      • Editor:
      • Tei-Wei Kuo
      Issue’s Table of Contents
      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Journal Family

      Publication History

      Published: 05 September 2018
      Accepted: 01 November 2017
      Revised: 01 October 2017
      Received: 01 April 2017
      Published in TCPS Volume 3, Issue 1

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. Automotive cyber-physical systems (ACPSs)
      2. functional safety
      3. reliability
      4. resource cost
      5. response time

      Qualifiers

      • Research-article
      • Research
      • Refereed

      Funding Sources

      • Open Research Project of the State Key Laboratory of Synthetical Automation for Process Industries (SAPI)
      • CCF-Venustech Open Research Fund
      • National Natural Science Foundation of China
      • Natural Science Foundation of Hunan Province
      • National Key R8D Program of China
      • Fundamental Re-search Funds for the Central Universities
      • Northeastern University, China

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)12
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 30 Jan 2025

      Other Metrics

      Citations

      Cited By

      View all
      • (2023)Hybrid Modular Redundancy: Exploring Modular Redundancy Approaches in RISC-V Multi-core Computing Clusters for Reliable Processing in SpaceACM Transactions on Cyber-Physical Systems10.1145/36351619:1(1-29)Online publication date: 30-Nov-2023
      • (2022)Contention Cognizant Scheduling of Task Graphs on Shared Bus-Based Heterogeneous PlatformsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2021.305956941:2(281-293)Online publication date: Feb-2022
      • (2021)An Open-Source Wireless Sensor Node Platform with Active Node-Level Reliability for Monitoring ApplicationsSensors10.3390/s2122761321:22(7613)Online publication date: 16-Nov-2021
      • (2021)Cost-aware reliability task scheduling of automotive cyber-physical systemsMicroprocessors & Microsystems10.1016/j.micpro.2020.10350787:COnline publication date: 1-Nov-2021
      • (2020)Minimizing Resource Consumption Cost of DAG Applications With Reliability Requirement on Heterogeneous Processor SystemsIEEE Transactions on Industrial Informatics10.1109/TII.2019.295907016:12(7437-7447)Online publication date: Dec-2020
      • (2019)Human-Interaction-aware Adaptive Functional Safety Processing for Multi-Functional Automotive Cyber-Physical SystemsACM Transactions on Cyber-Physical Systems10.1145/33379313:4(1-25)Online publication date: 9-Aug-2019

      View Options

      Login options

      Full Access

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      HTML Format

      View this article in HTML Format.

      HTML Format

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media