相關主題
商品描述
This book uses automotive embedded systems as an example to introduce functional safety assurance and safety-aware cost optimization. The book explores functional safety assurance from the perspectives of verification, enhancement, and validation.
The functional safety assurance methods implement a safe and efficient assurance system that integrates safety verification, enhancement, and validation. The assurance methods offered in this book could provide a reasonable and scientific theoretical basis for the subsequent formulation of automotive functional safety standards. The safety-aware cost optimization methods divide cost types according to the essential differences of various costs in system design and establish reasonable models based on different costs. The cost optimization methods provided in this book could give appropriate cost optimization solutions for the cost-sensitive automotive industry, thereby achieving effective cost management and control. Functional safety assurance methods and safety-aware cost optimization support each other and jointly build the architecture of functional safety design methodologies for automotive embedded systems.
The work aspires to provide a relevant reference for students, researchers, engineers, and professionals working in this area or those interested in hardware cost optimization and development cost optimization design methods based on ensuring functional safety in general.
商品描述(中文翻譯)
本書以汽車嵌入式系統為例，介紹功能安全保證及安全意識成本優化。書中從驗證、增強和驗證的角度探討功能安全保證。
功能安全保證方法實現了一個安全且高效的保證系統，該系統整合了安全驗證、增強和驗證。本書提供的保證方法可為後續制定汽車功能安全標準提供合理且科學的理論基礎。安全意識成本優化方法根據系統設計中各種成本的本質差異劃分成本類型，並基於不同成本建立合理模型。本書提供的成本優化方法能為對成本敏感的汽車產業提供適當的成本優化解決方案，從而實現有效的成本管理和控制。功能安全保證方法與安全意識成本優化相互支持，共同構建汽車嵌入式系統功能安全設計方法論的架構。
本書旨在為在此領域工作的學生、研究人員、工程師及專業人士，或對基於確保功能安全的硬體成本優化和開發成本優化設計方法感興趣的人士提供相關參考。
作者簡介
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.
作者簡介(中文翻譯)
Guoqi Xie 目前是湖南大學的教授。他於2014年在中國湖南大學獲得計算機科學與工程的博士學位。他曾在日本名古屋大學擔任博士後研究員。他目前的研究興趣包括即時系統、嵌入式系統的安全性與保安，以及汽車軟體。他獲得了2018年IEEE TCSC早期職業研究者獎。他是IEEE的資深會員及ACM的資深會員。
Yawen Zhang 目前在中國湖南大學攻讀電子信息碩士學位。她是湖南省嵌入式與網路計算重點實驗室的成員。她目前的研究興趣包括嵌入式與網路物理系統、平行與分散系統，以及汽車嵌入式系統的功能安全。
Renfa Li 是中國湖南大學計算機科學與電子工程的教授。他是湖南省嵌入式與網路計算重點實驗室的主任，也是長沙國家超級計算中心的專家委員會成員。他的主要研究興趣包括計算機架構、嵌入式計算系統、網路物理系統以及物聯網。李博士是中國計算機學會的理事會成員，也是計算機協會的資深會員。
Kenli Li 目前是湖南大學計算機科學與技術的院長及全職教授，同時也是長沙國家超級計算中心的主任。他的主要研究領域包括平行與分散計算、邊緣計算、高效能計算、網格計算及雲計算。他在國際會議和期刊上發表了超過160篇研究論文。他也是IEEE的資深會員。
Keqin Li 是美國紐約州立大學的傑出教授，同時也是中國湖南大學的國家傑出教授。他目前的研究興趣包括雲計算、霧計算和移動邊緣計算、能源高效計算與通信、嵌入式系統以及網路物理系統。他在平行與分散計算領域的影響力位居全球前五，根據Scopus引用數據庫的綜合指標。他也是IEEE的資深會員。
