Fast Functional Safety Verification for Distributed Automotive Applications during Early Design Phase

IEEE Transactions on Industrial Electronics

Volumn 65, Issue 5, 2018, Pages 4378-4391

  Xie, Guoqi ^a,b   Zeng, Gang ^c   Liu, Yan ^a,b   Zhou, Jia ^a,b   Li, Renfa ^a,b   Li, Keqin ^a,d  

^a HUNAN UNIVERSITY   (China)

^b Key Laboratory for Micro Nano Physics and Technology of Hunan Province   (China)

^c NAGOYA UNIVERSITY   (Japan)

^d STATE UNIVERSITY OF NEW YORK   (United States)

Author keywords

Automotive functional safety; ISO 26262; verification

Indexed keywords

AUTOMOBILES; SAFETY ENGINEERING; VERIFICATION;

AUTOMOTIVE APPLICATIONS; AUTOMOTIVE FUNCTIONAL SAFETIES; DESIGN OPTIMIZATION; DESIGN SPECIFICATION; ISO 26262; MAXIMUM RELIABILITY; RELIABILITY REQUIREMENTS; SAFETY VERIFICATION;

RELIABILITY;

EID: 85031775347     PISSN: 02780046     EISSN: None     Source Type: Journal    
DOI: 10.1109/TIE.2017.2762621     Document Type: Article

References (25)

1. G. Xie, G. Zeng, Z. Li, R. Li, and K. Li, "Adaptive dynamic scheduling on multi-functional mixed-criticality automotive cyber-physical systems," IEEE Trans. Veh. Technol., vol. 66, no. 8, pp. 6676-6692, Aug. 2017.
2. Road Vehicles-Functional Safety, ISO Std. 26262, 2011.
3. S. S. Williamson, A. K. Rathore, and F. Musavi, "Industrial electronics for electric transportation: Current state-of-the-art and future challenges," IEEE Trans. Ind. Electron., vol. 62, no. 5, pp. 3021-3032, May 2015.
4. A. Monot, N. Navet, B. Bavoux, and F. Simonot-Lion, "Multisource software on multicore automotive ECUs-Combining runnable sequencing with task scheduling," IEEE Trans. Ind. Electron., vol. 59, no. 10, pp. 3934-3942, Oct. 2012.
5. J. Gan, P. Pop, and J. Madsen, "Tradeoff analysis for dependable real-time embedded systems during the early design phases," Ph.D. dissertation, Dept. Informat. Math. Model., Tech. Univ. Denmark, Kongens Lyngby, Denmark, 2014.
6. D. Tǎmaş-Selicean and P. Pop, "Design optimization of mixed-criticality real-time embedded systems," ACM Trans. Embedded Comput. Syst., vol. 14, no. 3, May 2015, Art. no. 50.
7. Z. Gu, G. Han, H. Zeng, and Q. Zhao, "Security-aware mapping and scheduling with hardware co-processors for flexray-based distributed embedded systems," IEEE Trans. Parallel Distrib. Syst., vol. 27, no. 10, pp. 3044-3057, Oct. 2016.
8. G. Xie, Y. Chen, Y. Liu, Y. Wei, R. Li, and K. Li, "Resource consumption cost minimization of reliable parallel applications on heterogeneous embedded systems," IEEE Trans. Ind. Informat., vol. 13, no. 4, pp. 1629- 1640, Aug. 2017.
9. M. Glinz, "On non-functional requirements," in Proc. 15th IEEE Int. Requirements Eng. Conf., 2007, pp. 21-26.
10. A. Girault and H. Kalla, "A novel bicriteria scheduling heuristics providing a guaranteed global system failure rate," IEEE Trans. Dependable Secure Comput., vol. 6, no. 4, pp. 241-254, Oct./Dec. 2009.
11. G. Xie et al., "Minimizing redundancy to satisfy reliability requirement for a parallel application on heterogeneous service-oriented systems," IEEE Trans. Serv. Comput., vol. PP, no. 99, pp. 1-l1, 2017, doi: 10.1109/TSC.2017.2665552.
12. H. Zeng, M. Di Natale, P. Giusto, and A. Sangiovanni-Vincentelli, "Stochastic analysis of can-based real-time automotive systems," IEEE Trans. Ind. Informat., vol. 5, no. 4, pp. 388-401, Sep. 2009.
13. O. Ciftcioglu, "Verification and validation in the life-cycle of real-time software development," in Real Time Computing. New York, NY, USA: Springer, 1994, pp. 678-679.
14. N. Doddappa, D. Oreper, and J. D. Vincent, "Method and system for feature automation," U.S. Patent 20 100 235 807 A1, Sep. 16 2010.
15. V. Vyatkin, "Software engineering in industrial automation: State-of-theart review," IEEE Trans. Ind. Informat., vol. 9, no. 3, pp. 1234-1249, Aug. 2013.
16. S. M. Shatz and J. P. Wang, "Models and algorithms for reliability-oriented task-allocation in redundant distributed-computer systems," IEEE Trans. Rel., vol. 38, no. 1, pp. 16-27, Apr. 1989.
17. B. Zhao, H. Aydin, and D. Zhu, "Shared recovery for energy efficiency and reliability enhancements in real-time applications with precedence constraints," ACM Trans. Des. Autom. Electron. Syst., vol. 18, no. 2, pp. 99-109, Mar. 2013.
18. R. Obermaisser, C. El Salloum, B. Huber, and H. Kopetz, "From a federated to an integrated automotive architecture," IEEE Trans.Comput.-Aided Des. Integr. Circuits Syst., vol. 28, no. 7, pp. 956-965, Jul. 2009.
19. M. D. Natale and A. Sangiovanni-Vincentelli, "Moving from federated to integrated architectures in automotive: The role of standards, methods and tools," Proc. IEEE, vol. 98, no. 4, pp. 603-620, Mar. 2010.
20. H. Topcuoglu, S. Hariri, and M.-Y. Wu, "Performance-effective and lowcomplexity task scheduling for heterogeneous computing," IEEE Trans. Parallel Distrib. Syst., vol. 13, no. 3, pp. 260-274, Mar. 2002.
21. Z. Gu, C. Wang, M. Zhang, and Z. Wu, "WCET-aware partial control-flow checking for resource-constrained real-time embedded systems," IEEE Trans. Ind. Electron., vol. 61, no. 10, pp. 5652-5661, Oct. 2014.
22. J. D. Ullman, "NP-complete scheduling problems," J. Comput. Syst. Sci., vol. 10, no. 3, pp. 384-393, Jun. 1975.
23. A. Brandsater, "Risk assessment in the offshore industry," Saf. Sci., vol. 40, nos. 1-4, pp. 231-269, Jul. 2002.
24. J. D. Sime, "An occupant response shelter escape time (ORSET) model," Saf. Sci., vol. 38, no. 2, pp. 109-125, Jul. 2001.
25. I. Linkov, A. Varghese, S. Jamil, T. P. Seager, G. Kiker, and T. Bridges, Multi-Criteria Decision Analysis: A Framework for Structuring Remedial Decisions at Contaminated Sites. Dordrecht, The Netherlands: Springer, 2004.