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

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

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

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

A.系統(tǒng)方法
B.推導法
C.軟件工程
D.余量設計