用于验证因果矩阵的安全逻辑的系统和方法

摘要

用于确定过程工厂的过程控制系统的配置的系统和方法，该过程控制系统被实现为功能块集合，该系统和方法包括：针对功能块集合中的每一个功能块，基于以下项来确定功能块的配置：(i)功能块的输出集合，(ii)功能块的逻辑，以及(iii)功能块的输入集合。该系统和方法还包括：基于功能块集合的配置集合来生成具有测试原因集合和测试结果集合的测试因果矩阵(CEM)。该系统和方法还包括：访问具有原因集合和结果集合的要求定义的CEM。该系统和方法还可以包括：将测试CEM与要求定义的CEM进行比较以确定是否存在差异集合。