软件冗余设计方法有（）

多项选择题安全关键功能的设计（）

A.安全关键功能必须至少受控于两个独立的功能
B.安全关键模块必须同其他模块隔离；必须放在一起，以便对其进行保护
C.安全关键功能必须具有强数据类型；不得使用一位的逻辑‘0’或‘1’来表示“安全”或“威胁”状态；其判断条件不得依赖于全“0”或全“1”的输入
D.安全关键的计时功能必须由计算机控制，使操作人员不能随意修改

多项选择题软件需求分析的要求（）

A.软件需求分析必须确保需求规格书的无歧义性、完整性、可验证性、一致性、可修改性、可追踪性和易使用性
B.对安全关键软件，必须列出可能的不期望事件，分析导致这些不期望事件的可能原因，提出相应的软件处理要求
C.对有可靠性指标的软件，在确定了软件的功能性需求之后，应考虑该软件的可靠性指标是否能够达到以及是否能够验证，还应与用户密切配合，确定软件适用的功能剖面，并制定可靠性测试计划
D.根据领导或客户要求变更需求

多项选择题开发高可靠性软件产品的硬件选用（）

A.优先选用可靠性、维护性符合要求的成熟硬件，正确选择和确定供货单位
B.建议在同一系统内采用优选的、序列化的少数几种MCU
C.所用的元器件必须经过严格的检测与筛选，并尽量采用自我纠错能力的元器件
D.选择低价格的器件

多项选择题全关键软件的标识原则：（）

A.故障检测的优先级结构及安全性控制或校正逻辑
B.中断处理程序、中断优先级模式、允许或禁止中断的例行程序
C.测试对硬件进行自主控制信号的软件
D.产生直接允许硬件部件运动或启动安全关键功能的信号的软件
E.其输出是显示安全关键硬件的状态的软件

单项选择题开发高可靠性软件首先必须采用（）方法？

A.系统方法
B.推导法
C.软件工程
D.余量设计