基于ISO26262的汽車電子功能安全：方法與應用

郭建 王高翃 趙涌鑫 蒲戈光 著

機械工業出版社

由上海工業控制安全創新科技有限公司、華東師范大學、上海工業自動化儀表研究院有限公司聯合編著的《基于ISO26262的汽車電子功能安全：方法與應用》，正式出版上架啦！

ISO26262標準是從電子、電氣及可編程器件功能安全基本標準IEC61508派生出來的，主要定位在汽車行業中特定的電氣器件、電子設備、可編程電子器件等專門用于汽車領域的部件。安全在汽車研發中是關鍵要素之一，功能安全的研發和集成是加強安全系統研發過程的需求，同時，也為滿足所有預期的安全目的提供證據。隨著系統復雜性的提高，ISO 26262標準的制定使得人們對安全相關功能有一個更好的理解，并盡可能明確地對它們進行解釋，為避免這些風險提供了可行性的要求和流程。本書作者在對汽車電子功能安全進行研究的過程中，基于對ISO26262標準的理解，結合系統工程的方法論和開發應用的案例，對標準進行了解讀，以求讀者在對標準的應用過程中能夠獲得更明確的解釋和指導。

【適讀人群】

汽車研發人員

【圖書特色】

1.軟件開發的形式化方法、高可靠性的軟件開發功能安全驗證方法

2.結合實現開發案例對ISO26262標準應用進行了具體的分析

【圖書簡介】

《基于ISO26262的汽車電子功能安全：方法與應用》從開發方法和應用指南兩個部分對汽車電子的功能安全進行介紹，提供了從系統工程的角度整體地對汽車電子功能安全進行開發的方法，方便讀者理解功能安全開發過程中所遇到的問題。本書還介紹了軟件開發的形式化方法和一種高可靠性的軟件開發功能安全驗證方法。本書第二部分的應用指南，結合實現開發應用中的案例，對ISO26262標準的理解和應用進行了具體的分析。

《基于ISO26262的汽車電子功能安全：方法與應用》共14章，包括緒論、整體安全管理方法、概念階段、系統級開發、硬件級開發、軟件級開發、系統集成、形式化方法、故障容錯系統開發、ASIL等級分解、汽車油量估測與顯示系統（FLEDS）功能安全的開發與分析、ISO26262功能安全認證案例、形式化方法在發動機管理系統建模中的應用、基于ASIL等級的電子節氣門控制系統（ETC）軟件開發。本書可作為汽車電子功能安全的學習參考資料。

審核編輯：符乾江