嵌入式軟件既是電子系統的核心,也是硬件系統的有效補充,需要具備防錯、判錯、糾錯、容錯的功能,具備了這些功能,就能保證系統可靠性要求在軟件分系統設計中的實現。但是軟件可靠性又不同于硬件電路,它不會隨時間的推移而降低,并且其可靠性保障全部在設計過程中實現。因此軟件工程的工作也是軟件可靠性所要關注的內容。 為此,中國電子標準協會將分期舉辦《嵌入式軟件可靠性設計技巧》講座,本講座主要從嵌入式軟件的系統設計、需求分析、接口、模塊、變量控制、軟件測試、安全性分析、硬件匹配設計等設計規范進行總結和分析,深層次探討嵌入式軟件的可靠性設計技巧。
培訓安排:2013年9月11-12日(深圳) 12月18-19日(深圳) 收費標準:3000元/人(含資料、課時、午餐、證書費) 參加對象:電子工程師、軟件工程師、系統工程師、可靠性工程師、測試工程師、項目經理等。 講課內容: 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.宏 28.可使用性要求 29.報警要求
授課專家:武老師 曾任航天二院總體設計所主任設計師、高級項目經理,機電制造企業研發總監、事業部總監,北京市級優秀青年工程師,科協委員。有電子產品、軍工、通信等專業方向的設計、測評和技術管理經歷,對產品系統設計、可靠性設計、技術管理有較深入研究,曾在學術會議及多家技術刊物發表專業文章。曾為比亞迪、中電30所、29所、松下電工、北京華峰測控、北京航天長峰、普析通用儀器、航天二院、航天五院、深圳普博、伯特利閥門集團、北控高科、南車四方股份等企業提供專業技術和技術管理輔導、培訓和咨詢。曾作為核心團隊成員經歷一個企業由零到幾個億、研發團隊由幾個人到近二百人的發展過程,深諳企業發展過程的產品可靠性問題和解決方法。 |