多项选择题
安全关键功能的设计()
A.安全关键功能必须至少受控于两个独立的功能B.安全关键模块必须同其他模块隔离;必须放在一起,以便对其进行保护C.安全关键功能必须具有强数据类型;不得使用一位的逻辑‘0’或‘1’来表示“安全”或“威胁”状态;其判断条件不得依赖于全“0”或全“1”的输入D.安全关键的计时功能必须由计算机控制,使操作人员不能随意修改
多项选择题 软件需求分析的要求()
多项选择题 开发高可靠性软件产品的硬件选用()
多项选择题 全关键软件的标识原则:()