嵌入式軟件可靠性設計

嵌入式軟件可靠性設計(武老師)課程介紹：

    嵌入式軟件既是電子系統的核心，也是硬件系統的有效補充，需要具備防錯、判錯、糾錯、容錯的功能，具備了這些功能，就能保證系統可靠性要求在軟件分系統設計中的實現。但是軟件可靠性又不同于硬件電路，它不會隨時間的推移而降低，并且其可靠性保障全部在設計過程中實現。因此軟件工程的工作也是軟件可靠性所要關注的內容。
    為此，決定組織召開《嵌入式軟件可靠性設計》講座，本講座主要從嵌入式軟件的系統設計、需求分析、接口、模塊、變量控制、軟件測試、安全性分析、硬件匹配設計等設計規范進行總結和分析，深層次探討嵌入式軟件的可靠性設計技巧。現具體事宜通知如下：

● 課程提綱：
課程大綱以根據學員要求，上課時會有所調整，具體以報到時的講義為準。
1.概述和定義
2.計算機系統設計準則：
2.1、一般要求；2.2、硬件與軟件功能的分配原則；2.3、硬件與軟件可靠性指標的分配原則；2.4、安全關鍵功能的人工確認；2.5、安全性內核；2.6、自動記錄系統故障；2.7、禁止回避檢測出的不安全狀態；2.8、保密性設計；2.9、容錯設計
3.硬件設計：
3.1、硬件選用；3.2、總線檢測；3.3、加電檢測；3.4、電源失效的安全措施；3.5、主控計算機失效的安全措施；3.6、反饋回路傳感器失效的防護措施3.7、電磁干擾的防護措施；3.8、維修互鎖措施
4.軟件需求分析
5.軟件危險分析
6.安全關鍵功能設計
7.冗余設計準則：
7.1、指令冗余設計；7.2、軟件陷阱與軟件攔截技術；7.3、軟件冗余
8.接口設計準則：
8.1、硬件接口要求；8.2、硬件接口的軟件設計；8.3、人機界面設計；8.4、報警設計；8.5、軟件接口設計
9.軟件健壯性設計準則：9.1、電源失效防護；9.2、加電檢測；9.3、電磁干擾；9.4、系統不穩定；9.5、接口故障9.6、干擾信號9.7、錯誤操作；9.8、監控定時器的設計9.9、異常保護設計
10. 簡化設計準則：
10.1、單入和單出；10.2、模塊的獨立性；10.3、模塊的扇入扇出；10.4、模塊耦合方式；10.5、模塊內聚順方式；10.6、其他特殊考慮
11.余量設計：
11.1、資源分配及余量要求11.2、時序安排的余量要求
12. 數據要求:
12.1、數據需求;12.2、屬性控制;12.3、數值運算范圍控制;12.4、合理性檢查 
13. 防錯程序設計準則:
13.1、參數化;13.2、公用數據和公共變量;13.3、標志;13.4、文件;13.5、非授權存取的限制13.6、無意指令跳轉的處理;13.7、程序檢測點的設置13.8、尋址模式的選用;13.9、數據區隔離;13.10、安全關鍵信息的要求;13.11、信息存儲要求;13.12、算法選擇要求
14. 編程要求:
14.1、語言要求;14.2、匯編語言編程限制14.3、高級語言的編程限制;14.4、圈復雜度指數（McCabe）14.5、軟件單元的規模;14.6、命名要求;14.7、程序格式要求;14.8、程序注釋要求與方法;14.8.1、注釋的一般要求14.8.2、模塊頭注釋要求; 14.8.3、模塊內注釋要求; 14.8.4、安全關鍵內容注釋要求;14.9程序設計風格;14.9.1、通用類;14.9.2、結構類;14.9.3、說明類;14.9.4、輸人輸出類;14.9.5、語言類
15. 多余物的處理:
15.1、文檔中未記載特征的清除;15.2、程序多余物的清除;15.3、未使用內存的處理;15.4、覆蓋的處理
16. 版式
17. 注釋
18. 命名
19. 可讀性
20. 變量、結構
21.函數、過程
22. 可測性與軟件測試:
22.1、需求遺漏或不明確22.2、配置保存的生效22.3、缺省配置的影響22.4、報警和清除
22.5、菜單選項測試 22.6、缺省配置測試22.7、系統測試注意事項
23. 程序效率
24. 質量保證
25. 代碼編輯、編譯、審查
26. 代碼測試、維護
27. 宏

● 師資介紹：
    武老師 特聘專家，某公司總經理，研究領域：電子產品系統可靠性技術。曾任航天二院總體設計所主任設計師、高級項目經理，機電制造企業研發總監、事業部總監，北京市級優秀青年工程師，科協委員。有電子產品、軍工、通信等專業方向的設計、測評和技術管理經歷，對產品系統設計、可靠性設計、技術管理有較深入研究，曾在學術會議及多家技術刊物發表專業文章。曾為比亞迪、中電30所、29所、松下電工、北京華峰測控、北京航天長峰、普析通用儀器、航天二院、航天五院、深圳普博、伯特利閥門集團、北控高科、南車四方股份等企業提供專業技術和技術管理輔導、培訓和咨詢。曾作為核心團隊成員經歷一個企業由零到幾個億、研發團隊由幾個人到近二百人的發展過程，深諳企業發展過程的產品可靠性問題和解決方法。

更多嵌入式軟件可靠性設計相關課程：