A.安全關(guān)鍵功能必須至少受控于兩個(gè)獨(dú)立的功能
B.安全關(guān)鍵模塊必須同其他模塊隔離；必須放在一起，以便對(duì)其進(jìn)行保護(hù)
C.安全關(guān)鍵功能必須具有強(qiáng)數(shù)據(jù)類型；不得使用一位的邏輯‘0’或‘1’來(lái)表示“安全”或“威脅”狀態(tài)；其判斷條件不得依賴于全“0”或全“1”的輸入
D.安全關(guān)鍵的計(jì)時(shí)功能必須由計(jì)算機(jī)控制，使操作人員不能隨意修改

A.軟件需求分析必須確保需求規(guī)格書的無(wú)歧義性、完整性、可驗(yàn)證性、一致性、可修改性、可追蹤性和易使用性
B.對(duì)安全關(guān)鍵軟件，必須列出可能的不期望事件，分析導(dǎo)致這些不期望事件的可能原因，提出相應(yīng)的軟件處理要求
C.對(duì)有可靠性指標(biāo)的軟件，在確定了軟件的功能性需求之后，應(yīng)考慮該軟件的可靠性指標(biāo)是否能夠達(dá)到以及是否能夠驗(yàn)證，還應(yīng)與用戶密切配合，確定軟件適用的功能剖面，并制定可靠性測(cè)試計(jì)劃
D.根據(jù)領(lǐng)導(dǎo)或客戶要求變更需求

A.優(yōu)先選用可靠性、維護(hù)性符合要求的成熟硬件，正確選擇和確定供貨單位
B.建議在同一系統(tǒng)內(nèi)采用優(yōu)選的、序列化的少數(shù)幾種MCU
C.所用的元器件必須經(jīng)過(guò)嚴(yán)格的檢測(cè)與篩選，并盡量采用自我糾錯(cuò)能力的元器件
D.選擇低價(jià)格的器件

A.故障檢測(cè)的優(yōu)先級(jí)結(jié)構(gòu)及安全性控制或校正邏輯
B.中斷處理程序、中斷優(yōu)先級(jí)模式、允許或禁止中斷的例行程序
C.測(cè)試對(duì)硬件進(jìn)行自主控制信號(hào)的軟件
D.產(chǎn)生直接允許硬件部件運(yùn)動(dòng)或啟動(dòng)安全關(guān)鍵功能的信號(hào)的軟件
E.其輸出是顯示安全關(guān)鍵硬件的狀態(tài)的軟件

A.系統(tǒng)方法
B.推導(dǎo)法
C.軟件工程
D.余量設(shè)計(jì)