[发明专利]一种基于AltaRica的系统故障树自动生成方法

摘要

本发明涉及系统安全性建模分析方法技术领域，具体地说，是一种基于AltaRica的系统故障树自动生成方法，本发明基于AltaRica的语言规范，通过研究AltaRica语言的语法和语义，将可视化建模和AltaRica语言相结合，提出了一种基于AltaRica的单类节点、多节点和子系统节点的自动系统建模与故障分析方法。不仅提高了系统模型的安全性建模能力，还实现了将系统安全性建模和可视化建模和分析结合起来。在对系统进行AltaRica建模时加入了安全性描述，便于对系统和故障模型进行同步修改和维护。同时，系统建模、故障建模和故障树分析的工作的同步对接，极大地提高了安全关键系统的系统和故障建模分析工作的准确性和效率。

主权项

1.一种基于AltaRica的系统故障树自动生成方法，其特征在于，首先判断当前系统类型，/n当前系统是单类节点系统，则故障树生成算法分为两个步骤：/n第一步是记录从断言中扫描和剪切出的有效的字符串并计算其括号深度，其中包括：/n1.1扫描、剪切、记录单类节点断言字符串；/n1.2记录每个字符串的括号深度；/n1.3添加到CAltaRicaAnalyser类中由函数MakeAssertionToAssertionArray()实现的名为AssertionNodeArray的数组中；/n第二步是递归生成表达式的前序位置，用于在故障树中绘制逻辑操作节点，/n包括：/n2.1扫描AssertionNodeArray，由最深的括号深度得到当前根节点的位置，并将第一次得到的根节点前序位置设为-1，其他情况下当前根节点的前序位置为递归算法执行前根节点的位置；/n2.2以当前根节点为中心位置将AssertionNodeArray切割成左右两部分；/n2.3如果左侧只有一个表达式节点，则获取该节点的位置，并将根节点的位置设置为其前序位置，否则将AssertionNodeArrayLeft数组清空，将左侧部分的所有节点依次加入AssertionNodeArrayLeft数组中，在AssertionNodeArrayLeft数组中递归运行该算法作为步骤2.1；/n2.4如果右侧只有一个表达式节点，则获取该节点的位置，并将根节点的位置设置为其前序位置，否则将AssertionNodeArrayRight数组清空，将右侧部分的所有节点依次加入AssertionNodeArrayRight数组中，在AssertionNodeArrayRight数组中递归运行该算法作为步骤2.1；/n当前系统是多节点系统或具有子系统的多节点系统，其故障树生成算法可分为以下步骤：/n3.1在当前视图中查找“out”节点；/n3.2初始化Analyser类，Analyser具有单类节点故障树生成算法中描述的功能；/n3.3遍历LinkInfoArray以获取和剪切与当前视图中“out”节点连接的连线绑定的断言；/n3.4将断言赋给Analyser进行分析并切割，得到与连线相连的类节点信息；/n3.5判断节点类型，如果节点为当前视图的节点，则执行步骤3.6，如果为子系统内的节点，执行步骤3.7；/n3.6通过节点输入流信息和视图信息得到线条的前序断言，通过前序断言得到前序节点，执行步骤3.5；/n3.7先将视图信息更新为子系统视图信息，然后从步骤3.1重新开始执行；/n3.8当前视图内无前序节点时，视图信息更新为上一级视图信息；/n3.9在当前视图无前序视图且无前序节点时，生成故障树图。/n