關(guān)于舉辦“嵌入式軟件可靠性設計及需求分析高級講座咨詢(xún)會(huì )”的通知

　　各有關(guān)單位:

　　嵌入式軟件既是電子系統的核心，也是硬件系統的有效補充，需要具備防錯、判錯、糾錯、容錯的功能，具備了這些功能，就能保證系統可靠性要求在軟件分系統設計中的實(shí)現。但是軟件可靠性又不同于硬件電路，它雖然不受環(huán)境條件的影響，但軟件不能完成獨立的功能，它的可靠性問(wèn)題與硬件、代碼架構、變量和存儲、人機接口、編譯器、開(kāi)發(fā)過(guò)程管理等有關(guān)。為了幫助廣大從業(yè)人員系統全面掌握嵌入式軟件系統設計、測試、需求分析等設計規范及方法。我會(huì )定于6月21-23日在杭州舉辦“嵌入式軟件可靠性設計及需求分析高級講座咨詢(xún)會(huì )”

　　參加對象

　　本課程適于電子工程師、軟件工程師、系統工程師、可靠性工程師、測試工程師、項目經(jīng)理等。

　　課程特色：本課程從嵌入式軟件的系統設計、需求分析、接口、模塊、變量控制、軟件測試、安全性分析、硬件匹配設計等設計規范進(jìn)行了總結和分析。結合標準規范及案例進(jìn)行現場(chǎng)答疑

　　二、課程大綱：

　　1.嵌入式軟件可靠性基礎

　　軟件與電子的失效率特性區別

　　影響嵌入式軟件可靠性的因素

　　2.編譯器

　　3.代碼

　　語(yǔ)句通用設計規范

　　冗余設計

　　睡眠設置抗干擾

　　軟件、結構、電路相結合的電磁兼容解決方法

　　軟件架構的設計方法

　　安全性?xún)群?/p>

　　設計更改規則

　　防跑飛的軟件陷阱

　　強制類(lèi)型轉換的對策

　　圈復雜度與軟件測試

　　循環(huán)冗余校驗

　　4.硬件

　　時(shí)間受控

　　空間受控

　　IO吞吐能力

　　執行時(shí)間

　　串并聯(lián)接法導致的信號波動(dòng)

　　數據傳輸速率限制

　　上電時(shí)序引起的硬件故障及軟件初始化對策

　　死機的機理及對策

　　顯示處理措施

　　SFC下，輸出保證安全

　　5.變量與存儲

　　防止過(guò)程中存儲被刷

　　變量命名方法

　　塊存儲特性

　　備份技巧

　　寄存器防刷處理

　　強數據類(lèi)型

　　存儲成功提示

　　6.人機接口

　　對人工誤操作的防護措施

　　參數設置控制策略

　　界面數據設置和布局方法

　　7.報警

　　報警分類(lèi)設置

　　報警編程處理

　　報警頻率、聲音、占空比要求

　　附錄：嵌入式軟件可靠性設計規范

　　1、計算機系統設計準則

　　1.1、一般要求

　　1.2、硬件與軟件功能的分配原則

　　1.3、硬件與軟件可靠性指標的分配原則

　　1.4、安全關(guān)鍵功能的人工確認

　　1.5、安全性?xún)群?/p>

　　1.6、自動(dòng)記錄系統故障

　　1.7、禁止回避檢測出的不安全狀態(tài)

　　1.8、保密性設計

　　1.9、容錯設計

　　2、硬件設計

　　2.1、硬件選用

　　2.2、總線(xiàn)檢測

　　2.3、加電檢測

　　2.4、電源失效的安全措施

　　2.5、主控計算機失效的安全措施

　　2.6、反饋回路傳感器失效的防護措施

　　2.7、電磁干擾的防護措施

　　2.8、維修互鎖措施

　　3、 軟件需求分析

　　3.1、軟件危險分析

　　3.2、安全關(guān)鍵功能設計

　　4、冗余設計準則

　　4.1、指令冗余設計

　　4.2、軟件陷阱與軟件攔截技術(shù)

　　4.3、軟件冗余

　　5、接口設計準則

　　5.1、硬件接口要求

　　5.2、硬件接口的軟件設計

　　5.3、人機界面設計

　　5.4、報警設計

　　5.5、軟件接口設計

　　6、軟件健壯性設計準則

　　6.1、電源失效防護

　　6.2、加電檢測

　　6.3、電磁干擾

　　6.4、系統不穩定

　　6.5、接口故障

　　6.6、干擾信號

　　6.7、錯誤操作

　　6.8、監控定時(shí)器的設計

　　6.9、異常保護設計

　　7、簡(jiǎn)化設計準則

　　7.1、單入和單出

　　7.2、模塊的獨立性

　　7.3、模塊的扇入扇出

　　7.4、模塊耦合方式

　　7.5、模塊內聚順?lè )绞?/p>

　　7.6、其他特殊考慮

　　8、余量設計

　　8.1、資源分配及余量要求

　　8.2、時(shí)序安排的余量要求

　　9、數據要求

　　9.1、數據需求

　　9.2、屬性控制

　　9.3、數值運算范圍控制

　　9.4、合理性檢查

　　10、防錯程序設計準則

　　10.1、參數化

　　10.2、公用數據和公共變量

　　10.3、標志

　　10.4、文件

　　10.5、非授權存取的限制

　　10.6、無(wú)意指令跳轉的處理

　　10.7、程序檢測點(diǎn)的設置

　　10.8、尋址模式的選用

　　10.9、數據區隔離

　　10.10、安全關(guān)鍵信息的要求

　　10.11、信息存儲要求

　　10.12、算法選擇要求

　　11、編程要求

　　11.1、語(yǔ)言要求

　　11.2、匯編語(yǔ)言編程限制

　　11.3、高級語(yǔ)言的編程限制

　　11.4、圈復雜度指數(McCabe)

　　11.5、軟件單元的規模

　　11.6、命名要求

　　11.7、程序格式要求

　　11.8、程序注釋要求與方法

　　11.8.1 、注釋的一般要求

　　11.8.2 、模塊頭注釋要求

　　11.8.3 、模塊內注釋要求

　　11.8.4 、安全關(guān)鍵內容注釋要求

　　11.9程序設計風(fēng)格

　　11.9.1 、通用類(lèi)

　　11.9.2 、結構類(lèi)

　　11.9.3 、說(shuō)明類(lèi)

　　11.9.4 、輸人輸出類(lèi)

　　11.9.4 、語(yǔ)言類(lèi)

　　12、多余物的處理

　　12.1、文檔中未記載特征的清除

　　12.2、程序多余物的清除

　　12.3、未使用內存的處理

　　12.4、覆蓋的處理

　　13、可測性與軟件測試

　　13.1、需求遺漏或不明確

　　13.2、配置保存的生效

　　13.3、缺省配置的影響

　　13.4、報警和清除

　　13.5、菜單選項測試

　　13.6、缺省配置測試

　　13.7、系統測試注意事項

　　三、培訓時(shí)間地點(diǎn)：

　　杭州 2014年6月21日6月23日

　　四、培訓費用：

　　1.會(huì )務(wù)費2200元/人(含會(huì )議場(chǎng)地、師資、專(zhuān)業(yè)理論、教材資料費)

　　2.食宿統一安排，費用自理

　　五、報名方式：參加會(huì )議的學(xué)員認真填寫(xiě)報名回執表，請于 6月20日前將報名回執回傳至會(huì )務(wù)組。

　　報名聯(lián)系人：何 明(13366844564)

　　電話(huà): 010-59506931 傳真：010-52633863

　　咨詢(xún) QQ：1668045831　   (昵稱(chēng):北京歡迎您)

　　指定專(zhuān)用報名郵箱：cesiheming@126.com

　　中國電子節能技術(shù)協(xié)會(huì )

　　二零一四年五月十二日

　　嵌入式軟件可靠性設計及需求分析高級講座咨詢(xún)會(huì )報名回執表

　　注：請認真填寫(xiě)后將回執傳真至會(huì )務(wù)組，此表復印有效；

　　報名聯(lián)系人：何 明(13366844564) 電話(huà): 010-59506931 傳真：010-52633863

　　咨詢(xún) QQ：1668045831

　　(昵稱(chēng):北京歡迎您) 指定專(zhuān)用報名郵箱：cesiheming@126.com