合规红线与避坑实操手册(2026)《GBT 37691-2019可编程逻辑器件软件安全性设计指南》.pptxVIP

;目录;;;;;;行业血泪教训：某型号飞控PLD因“未隔离测试逻辑”导致空中误切备份系统;;;;2;;;;;遗漏点二：忽略时序相关的隐含需求——时钟抖动、异步接口亚稳态处理策略;遗漏点三：未规定“故障静默”与“故障报告”的优先级和仲裁逻辑;遗漏点四：遗漏“上电初始化序列”的安全性约束——默认输出必须为安全值;遗漏点五：未将“外部看门狗交互协议”作为显式需求写入规格书;;1;;;STEP2;;;红色标注：所有单点故障可能导致安全功能丧失的组合逻辑与路径;黄色标注：存在潜在竞争与险象的异步复位网络及多驱动源;;;实操演练：一个真实三模冗余投票器的错误标注与修正全过程;;;;AI建议