智能家電軟件功能安全標準解析與實踐

本書是一本關於家用和類似用途電子控制器軟件安全設計與測評的工具書，
也是對 GB14536-1:2008附錄H中使用軟件控制器的安全要求的解讀，介紹了電子控制器的MCU故障、
存儲器故障、系統運行故障、外設I/O故障、中斷故障、時鐘故障、通信故障等常見故障產生機理，
結合標準的要求給出預防故障的軟件安全性設計和實現方法實例，
並通過實際工作積累實例介紹安全防護措施的測評驗證方法。

第1章  定義及要求 1
1.1  控制器相關定義 1
1.1.1  與斷開和切斷相關的定義 1
1.1.2  按結構分類的控制器類型定義 2
1.1.3  與防觸電保護相關的定義 3
1.1.4  與使用軟件的控制器結構相關的定義 4
1.1.5  與使用軟件的控制器中避免錯誤相關的定義 6
1.1.6  與使用軟件的控制器故障/錯誤控制技術相關的定義 10
1.1.7  與使用軟件的控制器的貯存測試相關的定義 21
1.2  軟件相關定義 27
1.2.1  軟件術語的定義——總則 27
1.2.2  與功能安全相關的定義 30
1.2.3  與軟件類別相關的定義 33
1.2.4  與數據交換相關的定義 34
1.3  相關要求 36
1.3.1  資料要求 36
1.3.2  控制器的結構要求 39
1.3.3  故障/錯誤的控制措施 40
1.3.4  控制器安全相關部件的常見故障及檢測處理措施 42
1.3.5  其他故障/錯誤的控制措施 47
第2章  控制器安全相關部件的常見故障及故障檢測方法 51
2.1  CPU（MCU）故障及故障檢測方法 51
2.1.1  寄存器故障及故障檢測方法 51
2.1.2  指令、譯碼與執行故障及故障檢測方法 69
2.1.3  程序計數器故障及故障檢測方法 71
2.1.4  尋址故障及故障檢測方法 78
2.1.5  數據路徑和指令譯碼故障及故障檢測方法 79
2.2  中斷處理與執行故障及故障檢測方法 80
2.2.1  中斷處理與執行故障及故障檢測方法 80
2.2.2  中斷的功能監測 82
2.2.3  中斷的時隙監測 83
2.3  Clock時鐘故障及故障檢測方法 86
2.3.1  Clock時鐘故障及其檢測措施 86
2.3.2  頻率監測 87
2.3.3  時隙監測 89
2.4  貯存器故障及故障檢測方法 91
2.4.1  不可變貯存器故障及故障檢測方法 92
2.4.2  可變貯存器故障及故障檢測方法 96
2.4.3  尋址故障及故障檢測方法 98
2.5  內部數據路徑故障及故障檢測方法 99
2.5.1  數據故障及故障檢測方法 99
2.5.2  尋址故障及故障檢測方法 101
2.6  外部通信故障及故障檢測方法 101
2.6.1  數據故障及故障檢測方法 102
2.6.2  尋址故障及故障檢測方法 110
2.6.3  計時故障及故障檢測方法 111
2.7  外圍I/O故障及故障檢測方法 118
2.7.1  數字I/O故障及故障檢測方法 118
2.7.2  模擬I/O故障及故障檢測方法 120
2.8  監測裝置和比較器故障及故障檢測方法 126
2.9  常規集成塊故障及故障檢測方法 127
2.9.1  常規集成塊故障檢測方法 127
2.9.2  週期性自檢 128
第3章  新標準的變動情況分析 129
3.1  局部改動內容 129
3.2  新增條款 130
3.2.1  預防缺陷的方法 130
3.2.2  遠程驅動控制相關條款 141
第4章  軟件生命週期要求解析 151
4.1  軟件安全需求 155
4.2  軟件結構設計 156
4.3  模塊設計 158
4.4  編碼 159
4.5  測試 160
4.5.1  模塊測試 160
4.5.2  集成測試 164
4.5.3  系統測試 165
4.5.4  驗收測試 167
4.5.5  其他測試 168
4.5.6  其他 175
附錄A  軟件配置項測試內容 177
A.1  功能性 177
A.2  可靠性 178
A.3  易用性 179
A.4  效率 180
A.5  維護性 180
A.6  可移植性 181
A.7  依從性 182
參考文獻 183