软件冗余设计方法有（）

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

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