[发明专利]用于验证因果矩阵的安全逻辑的系统和方法

权利要求书

1.一种计算机实现的方法，其确定过程工厂的过程控制系统的配置，所述过程控制系统被实现为多个互连的功能块，所述方法包括：

针对所述多个互连的功能块中的每一个功能块，基于以下项来确定功能块配置：(i)所述功能块的输出的集合，(ii)所述功能块的逻辑，以及(iii)所述功能块的输入的集合；

基于所述功能块配置来生成定义所述多个互连的功能块的操作的测试因果矩阵，所述测试因果矩阵具有作为输入的测试原因集合和作为输出的测试结果集合，其中，所述测试原因集合和所述测试结果集合中的至少一些是在所述测试因果矩阵内作为测试因果对而相关的，其中，生成所述测试因果矩阵包括：

识别表示所述多个互连的功能块的所述功能块配置的逻辑表达式集合，以及

使用所述逻辑表达式集合来确定所述测试因果矩阵的一个或多个测试因果对；

访问具有作为输入的原因集合和作为输出的结果集合的要求定义的因果矩阵，其中，所述原因集合中的每一个原因表示所述过程工厂内的状况，并且所述结果集合中的每一个结果表示将在所述过程工厂内执行的结果，并且其中，所述原因集合和所述结果集合中的至少一些是作为因果对而相关的，由此对应的结果响应于一个或多个对应的原因的发生而激活；以及

将所述测试因果矩阵与所述要求定义的因果矩阵进行比较以确定是否存在差异集合。

2.根据权利要求1所述的计算机实现的方法，其中，当存在所述差异集合时，所述方法还包括：

在用户界面中显示所述差异集合。

3.根据权利要求2所述的计算机实现的方法，还包括：

经由所述用户界面接收对所述差异集合中的差异的选择；

确定所述多个互连的功能块中的与所述差异相对应的功能块；以及

在所述用户界面中显示对所确定的功能块的指示。

4.根据权利要求1所述的计算机实现的方法，其中，确定所述功能块配置包括：

识别所述功能块的所述输出的集合；

识别所述功能块的所述输入的集合；以及

确定所述功能块的所述逻辑，所述逻辑将所述功能块的所述输入转换到所述输出。

5.根据权利要求1所述的计算机实现的方法，其中，所述多个互连的功能块包括监控块集合和结果块集合。

6.根据权利要求1所述的计算机实现的方法，其中，确定所述功能块配置包括：

确定将所述功能块的所述输入转换到所述输出的布尔逻辑。

7.根据权利要求6所述的计算机实现的方法，其中，生成所述测试因果矩阵包括：

用所述测试因果对填充所述测试因果矩阵。

8.根据权利要求1所述的计算机实现的方法，其中，基于所述功能块配置来生成所述测试因果矩阵包括：

识别所述多个互连的功能块中的第一功能块的输入的集合；

识别所述多个互连的功能块中的第二功能块的输出的集合，其中，所述多个互连的功能块中的第二功能块的输出的集合中的一个输出是到所述多个互连的功能块中的第一功能块的输入；

组合所述多个互连的功能块中的第一功能块和第二功能块的逻辑以确定将所述多个互连的功能块中的第二功能块的输入中的一个或多个与所述多个互连的功能块中的第一功能块的输出中的一个或多个进行相关的逻辑表达式；以及

使用经组合的逻辑来确定所述测试因果矩阵的一个或多个因果对。

9.根据权利要求5所述的计算机实现的方法，其中，所述监控块集合和所述结果块集合被互连。

10.根据权利要求1所述的计算机实现的方法，其中，所述功能块的逻辑被实现为数值表示，所述数值表示指示所述功能块的输入的集合中的至少一个输入与所述功能块的输出的集合中的至少一个输出之间的关系。

11.根据权利要求10所述的计算机实现的方法，其中，所述数值表示是十六进制数。