动态系统安全操作边界的识别和分析方法

动态系统安全操作边界的识别和分析方法(中文5000字,英文PDF)
摘要
在本文中，介绍了在安全关键系统中安全操作边界跟踪法的潜在应用。首先，根据一组不等式约束，一个通用的安全区被定义为建立一个安全的操作边界。安全操作边界和安全关键过程变量的峰值瞬态值之间的欧氏距离被用作安全指数，来确定与这些变量有关的潜在危险的状态。
由于安全操作边界是系统运行条件的函数，随着系统的状态演化，这个边界可以展开或收缩。因此，根据选定的安全操作边界，边界跟踪方法被用来识别系统中潜在的危险状态（漏洞）。这些危险状态对系统安全的影响通过FMEA（失效模式及影响分析）根据漏洞的程度来排名。
为了验证所提方法的有效性，一个物理核动力控制测试设备（npctf）为例进行了。安全区已建立，危险状态被认定为安全漏洞。本文对实验结果进行了分析。
关键词:安全操作边界;脆弱性识别;安全分析;失效模式及影响分析