Guoqi Xie is currently a Professor with Hunan University. He received the Ph.D. degree in computer science and engineering from Hunan University, China, in 2014. He was a postdoctoral research fellow with Nagoya University, Japan. His current research interests include real-time systems, embedded system safety and security, and automotive software. He received the 2018 IEEE TCSC Early Career Researcher Award. He is an IEEE senior member and ACM senior member.Yawen Zhang is currently pursuing a master’s degree in electronic information with Hunan University, China. She is a member of the Key Laboratory for Embedded and Network Computing of Hunan Province, China. Her current research interests include embedded and cyber-physical systems, parallel and distributed systems, and functional safety of automotive embedded systems.Renfa Li is a Professor of computer science and electronic engineering with Hunan University, Changsha, China. He is the Director of the Key Laboratory for Embedded and Network Computing of Hunan Province, China. He is also an expert committee member of the National Supercomputing Center, Changsha. His major interests include computer architectures, embedded computing systems, cyber-physical systems, and Internet of things. Dr. Li is a member of the council of the China Computer Federation and a senior member of the Association for Computing Machinery.Kenli Li is currently the dean and a full professor of computer science and technology with Hunan University and the director of National Supercomputing Center in Changsha. His major research areas include parallel and distributed computing, edge computing, high-performance computing, grid, and cloud computing. He has published over 160 research papers in international conferences and journals. He is also a senior member of the IEEE.Keqin Li is a SUNY Distinguished Professor of computer science with the State University of New York. He is also a National Distinguished Professor with Hunan University, China. His current research interests include cloud computing, fog computing and mobile edge computing, energy-efficient computing and communication, embedded systems, and cyber-physical systems. He is among the world’s top five most influential scientists in parallel and distributed computing based on a composite indicator of the Scopus citation database. He is also an IEEE senior member.

• 1. Introduction Section I: FUNCTIONAL SAFETY ASSURANCE 2. Functional Safety Verification 3. Functional Safety Enhancement 4. Functional Safety Validation Section II SAFETY-AWARE COST OPTIMIZATION 5. Hardware Cost Optimization 6. Development Cost Optimization 7. Summary and Future Research

Guoqi Xie is currently a Professor with Hunan University. He received the Ph.D. degree in computer science and engineering from Hunan University, China, in 2014. He was a postdoctoral research fellow with Nagoya University, Japan. His current research interests include real-time systems, embedded system safety and security, and automotive software. He received the 2018 IEEE TCSC Early Career Researcher Award. He is an IEEE senior member and ACM senior member.Yawen Zhang is currently pursuing a master’s degree in electronic information with Hunan University, China. She is a member of the Key Laboratory for Embedded and Network Computing of Hunan Province, China. Her current research interests include embedded and cyber-physical systems, parallel and distributed systems, and functional safety of automotive embedded systems.Renfa Li is a Professor of computer science and electronic engineering with Hunan University, Changsha, China. He is the Director of the Key Laboratory for Embedded and Network Computing of Hunan Province, China. He is also an expert committee member of the National Supercomputing Center, Changsha. His major interests include computer architectures, embedded computing systems, cyber-physical systems, and Internet of things. Dr. Li is a member of the council of the China Computer Federation and a senior member of the Association for Computing Machinery.Kenli Li is currently the dean and a full professor of computer science and technology with Hunan University and the director of National Supercomputing Center in Changsha. His major research areas include parallel and distributed computing, edge computing, high-performance computing, grid, and cloud computing. He has published over 160 research papers in international conferences and journals. He is also a senior member of the IEEE.Keqin Li is a SUNY Distinguished Professor of computer science with the State University of New York. He is also a National Distinguished Professor with Hunan University, China. His current research interests include cloud computing, fog computing and mobile edge computing, energy-efficient computing and communication, embedded systems, and cyber-physical systems. He is among the world’s top five most influential scientists in parallel and distributed computing based on a composite indicator of the Scopus citation database. He is also an IEEE senior member.

• 1. Introduction Section I: FUNCTIONAL SAFETY ASSURANCE 2. Functional Safety Verification 3. Functional Safety Enhancement 4. Functional Safety Validation Section II SAFETY-AWARE COST OPTIMIZATION 5. Hardware Cost Optimization 6. Development Cost Optimization 7. Summary and Future Research

Guoqi Xie is currently a Professor with Hunan University. He received the Ph.D. degree in computer science and engineering from Hunan University, China, in 2014. He was a postdoctoral research fellow with Nagoya University, Japan. His current research interests include real-time systems, embedded system safety and security, and automotive software. He received the 2018 IEEE TCSC Early Career Researcher Award. He is an IEEE senior member and ACM senior member.Yawen Zhang is currently pursuing a master’s degree in electronic information with Hunan University, China. She is a member of the Key Laboratory for Embedded and Network Computing of Hunan Province, China. Her current research interests include embedded and cyber-physical systems, parallel and distributed systems, and functional safety of automotive embedded systems.Renfa Li is a Professor of computer science and electronic engineering with Hunan University, Changsha, China. He is the Director of the Key Laboratory for Embedded and Network Computing of Hunan Province, China. He is also an expert committee member of the National Supercomputing Center, Changsha. His major interests include computer architectures, embedded computing systems, cyber-physical systems, and Internet of things. Dr. Li is a member of the council of the China Computer Federation and a senior member of the Association for Computing Machinery.Kenli Li is currently the dean and a full professor of computer science and technology with Hunan University and the director of National Supercomputing Center in Changsha. His major research areas include parallel and distributed computing, edge computing, high-performance computing, grid, and cloud computing. He has published over 160 research papers in international conferences and journals. He is also a senior member of the IEEE.Keqin Li is a SUNY Distinguished Professor of computer science with the State University of New York. He is also a National Distinguished Professor with Hunan University, China. His current research interests include cloud computing, fog computing and mobile edge computing, energy-efficient computing and communication, embedded systems, and cyber-physical systems. He is among the world’s top five most influential scientists in parallel and distributed computing based on a composite indicator of the Scopus citation database. He is also an IEEE senior member.

• 1. Introduction Section I: FUNCTIONAL SAFETY ASSURANCE 2. Functional Safety Verification 3. Functional Safety Enhancement 4. Functional Safety Validation Section II SAFETY-AWARE COST OPTIMIZATION 5. Hardware Cost Optimization 6. Development Cost Optimization 7. Summary and Future Research