嵌入式軟件可靠性設(shè)計(jì)

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

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

● 課程提綱：
課程大綱以根據(jù)學(xué)員要求，上課時會有所調(diào)整，具體以報到時的講義為準(zhǔn)。
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、其他特殊考慮
11.余量設(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)則:
13.1、參數(shù)化;13.2、公用數(shù)據(jù)和公共變量;13.3、標(biāo)志;13.4、文件;13.5、非授權(quán)存取的限制13.6、無意指令跳轉(zhuǎn)的處理;13.7、程序檢測點(diǎn)的設(shè)置13.8、尋址模式的選用;13.9、數(shù)據(jù)區(qū)隔離;13.10、安全關(guān)鍵信息的要求;13.11、信息存儲要求;13.12、算法選擇要求
14. 編程要求:
14.1、語言要求;14.2、匯編語言編程限制14.3、高級語言的編程限制;14.4、圈復(fù)雜度指數(shù)（McCabe）14.5、軟件單元的規(guī)模;14.6、命名要求;14.7、程序格式要求;14.8、程序注釋要求與方法;14.8.1、注釋的一般要求14.8.2、模塊頭注釋要求; 14.8.3、模塊內(nèi)注釋要求; 14.8.4、安全關(guān)鍵內(nèi)容注釋要求;14.9程序設(shè)計(jì)風(fēng)格;14.9.1、通用類;14.9.2、結(jié)構(gòu)類;14.9.3、說明類;14.9.4、輸人輸出類;14.9.5、語言類
15. 多余物的處理:
15.1、文檔中未記載特征的清除;15.2、程序多余物的清除;15.3、未使用內(nèi)存的處理;15.4、覆蓋的處理
16. 版式
17. 注釋
18. 命名
19. 可讀性
20. 變量、結(jié)構(gòu)
21.函數(shù)、過程
22. 可測性與軟件測試:
22.1、需求遺漏或不明確22.2、配置保存的生效22.3、缺省配置的影響22.4、報警和清除
22.5、菜單選項(xiàng)測試 22.6、缺省配置測試22.7、系統(tǒng)測試注意事項(xiàng)
23. 程序效率
24. 質(zhì)量保證
25. 代碼編輯、編譯、審查
26. 代碼測試、維護(hù)
27. 宏

● 師資介紹：
    武老師 特聘專家，某公司總經(jīng)理，研究領(lǐng)域：電子產(chǎn)品系統(tǒng)可靠性技術(shù)。曾任航天二院總體設(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)品可靠性問題和解決方法。

更多嵌入式軟件可靠性設(shè)計(jì)相關(guān)課程：