嵌入式軟件可靠性設(shè)計(jì)培訓(xùn)班
作者: 來源: 文字大小:[大][中][小]
課程簡介：
嵌入式軟件既是電子系統(tǒng)的核心，也是硬件系統(tǒng)的有效補(bǔ)充，需要具備
防錯、判錯、糾錯、容錯的功能，具備了這些功能，就能保證系統(tǒng)
可靠性要求在軟件分系統(tǒng)設(shè)計(jì)中的實(shí)現(xiàn)。但是軟件可靠性又不同于硬件電路，它不會隨時間的推移而降低，并且其可靠性保障全部在設(shè)計(jì)過程中實(shí)現(xiàn)。因此軟件工程的工作也是軟件可靠性所要關(guān)注的內(nèi)容。
為此，本培訓(xùn)主要從嵌入式軟件的系統(tǒng)設(shè)計(jì)、需求分析、接口、模塊、變量控制、軟件測試、安全性分析、硬件匹配設(shè)計(jì)等設(shè)計(jì)規(guī)范進(jìn)行總結(jié)和分析，深層次探討嵌入式軟件的可靠性設(shè)計(jì)技巧。
課程內(nèi)容介紹：
1.概述和定義
2.計(jì)算機(jī)系統(tǒng)設(shè)計(jì)準(zhǔn)則：
2.1、一般要求；
2.2、硬件與軟件功能的分配原則；
2.3、硬件與軟件可靠性指標(biāo)的分配原則；
2.4、安全關(guān)鍵功能的人工確認(rèn)；
2.5、安全性內(nèi)核；
2.6、自動記錄系統(tǒng)故障；
2.7、禁止回避檢測出的不安全狀態(tài)；
2.8、保密性設(shè)計(jì)；
2.9、容錯設(shè)計(jì)
3.硬件設(shè)計(jì)：
3.1、硬件選用；
3.2、總線檢測；
3.3、加電檢測；
3.4、電源失效的安全措施；
3.5、主控計(jì)算機(jī)失效的安全措施；
3.6、反饋回路傳感器失效的防護(hù)措施
3.7、電磁干擾的防護(hù)措施；
3.8、維修互鎖措施
4.軟件需求分析
5.軟件危險分析
6.安全關(guān)鍵功能設(shè)計(jì)
7.冗余設(shè)計(jì)準(zhǔn)則：
7.1、指令冗余設(shè)計(jì)；
7.2、軟件陷阱與軟件攔截技術(shù)；
7.3、軟件冗余
8.接口設(shè)計(jì)準(zhǔn)則：
8.1、硬件接口要求；
8.2、硬件接口的軟件設(shè)計(jì)；
8.3、人機(jī)界面設(shè)計(jì)；
8.4、報警設(shè)計(jì)；
8.5、軟件接口設(shè)計(jì)
9.軟件健壯性設(shè)計(jì)準(zhǔn)則：
9.1、電源失效防護(hù)；
9.2、加電檢測；
9.3、電磁干擾；
9.4、系統(tǒng)不穩(wěn)定；
9.5、接口故障
9.6、干擾信號
9.7、錯誤操作；
9.8、監(jiān)控定時器的設(shè)計(jì)
9.9、異常保護(hù)設(shè)計(jì)
10. 簡化設(shè)計(jì)準(zhǔn)則：
10.1、單入和單出；
10.2、模塊的獨(dú)立性；
10.3、模塊的扇入扇出；
10.4、模塊耦合方式；
10.5、模塊內(nèi)聚順方式；
10.6、其他特殊考慮
1.余量設(shè)計(jì)：
11.1、資源分配及余量要求
11.2、時序安排的余量要求
12. 數(shù)據(jù)要求:
12.1、數(shù)據(jù)需求;
12.2、屬性控制;
12.3、數(shù)值運(yùn)算范圍控制;
12.4、合理性檢查
13. 防錯程序設(shè)計(jì)準(zhǔn)則:
1、參數(shù)化;
2、公用數(shù)據(jù)和公共變量;
3、標(biāo)志;
4、文件;
5、非授權(quán)存取的限制
6、無意指令跳轉(zhuǎn)的處理;
7、程序檢測點(diǎn)的設(shè)置
8、尋址模式的選用;
9、數(shù)據(jù)區(qū)隔離;
10、安全關(guān)鍵信息的要求;
11、信息存儲要求
12、算法選擇要求
14. 編程要求:
1、語言要求;
2、匯編語言編程限制
3、高級語言的編程限制;
4、圈復(fù)雜度指數(shù)（McCabe）
5、軟件單元的規(guī)模;
6、命名要求;
7、程序格式要求;
8、程序注釋要求與方法;
8.1、注釋的一般要求
8.2、模塊頭注釋要求;
8.3、模塊內(nèi)注釋要求;
8.4、安全關(guān)鍵內(nèi)容注釋要求;
9程序設(shè)計(jì)風(fēng)格;
9.1、通用類;
9.2、結(jié)構(gòu)類;
9.3、說明類;
9.4、輸人輸出類;
9.5、語言類
15. 多余物的處理:
1、文檔中未記載特征的清除;
2、程序多余物的清除;
3、未使用內(nèi)存的處理;
4、覆蓋的處理
16. 版式
17. 注釋
18. 命名
19. 可讀性
20. 變量、結(jié)構(gòu)
21.函數(shù)、過程
22. 可測性與軟件測試:
1、需求遺漏或不明確
2、配置保存的生效
3、缺省配置的影響
4、報警和清除
5、菜單選項(xiàng)測試
6、缺省配置測試
7、系統(tǒng)測試注意事項(xiàng)
23. 程序效率
24. 質(zhì)量保證
25. 代碼編輯、編譯、審查
26. 代碼測試、維護(hù)
27. 宏
講師介紹：
武老師 電子工程碩士。曾任航天二院總體設(shè)計(jì)所主任設(shè)計(jì)師、高級項(xiàng)目經(jīng)理，機(jī)電制造企業(yè)研發(fā)總監(jiān)、事業(yè)部總監(jiān)，北京市級優(yōu)秀青年工程師，科協(xié)委員。有電子產(chǎn)品、軍工、通信等專業(yè)方向的設(shè)計(jì)、測評和技術(shù)管理經(jīng)歷，對產(chǎn)品系統(tǒng)設(shè)計(jì)、可靠性設(shè)計(jì)、技術(shù)管理有較深入研究，曾在學(xué)術(shù)會議及多家技術(shù)刊物發(fā)表專業(yè)文章。曾為比亞迪、中電30所、29所、松下電工、北京華峰測控、北京航天長峰、普析通用儀器、航天二院、航天五院、深圳普博、伯特利閥門集團(tuán)、北控高科、南車四方股份等企業(yè)提供專業(yè)技術(shù)和技術(shù)管理輔導(dǎo)、培訓(xùn)和咨詢。曾作為核心團(tuán)隊(duì)成員經(jīng)歷一個企業(yè)由零到幾個億、
研發(fā)團(tuán)隊(duì)由幾個人到近二百人的發(fā)展過程，深諳企業(yè)發(fā)展過程的產(chǎn)品可靠性問題和解決方法。