【技术实现步骤摘要】
一种基于AltaRica的系统故障树自动生成方法
本专利技术涉及系统安全性建模分析方法
，具体地说，是一种基于AltaRica的系统故障树自动生成方法。
技术介绍
AltaRica是一种面向故障的安全建模语言。它以卫式转换系统(GTS)为核心，用一种可重用的面向对象语言来描述节点和故障，并通过节点和嵌套系统之间的接口连接来描述节点和系统之间的交互信息。AltaRica模型能够更好的反映系统功能和物理结构，消除传统安全性分析手段与系统设计的隔阂，提高安全性模型的可维护性和可重用性。在安全关键系统中采用AltaRica语言建模，可以真实地反映系统物理架构和运行机制。在对系统的安全性分析中，研究人员广泛采用系统安全性建模和分析技术。传统的系统安全性分析技术主要有：马尔科夫过程分析、故障树分析和失效模式影响分析。但如今这些形式设计的模型已经无法匹配规模越来越大，复杂度越来越高的系统。为了解决这个问题，创建了高级建模语言AltaRica。AltaRica模型的数据流元素支持组件间的交互，组件之间还存在着依赖关系，用线性时...
【技术保护点】
1.一种基于AltaRica的系统故障树自动生成方法，其特征在于，首先判断当前系统类型，/n当前系统是单类节点系统，则故障树生成算法分为两个步骤：/n第一步是记录从断言中扫描和剪切出的有效的字符串并计算其括号深度，其中包括：/n1.1扫描、剪切、记录单类节点断言字符串；/n1.2记录每个字符串的括号深度；/n1.3添加到CAltaRicaAnalyser类中由函数MakeAssertionToAssertionArray()实现的名为AssertionNodeArray的数组中；/n第二步是递归生成表达式的前序位置，用于在故障树中绘制逻辑操作节点，/n包括：/n2.1扫描A...
【技术特征摘要】
1.一种基于AltaRica的系统故障树自动生成方法，其特征在于，首先判断当前系统类型，
当前系统是单类节点系统，则故障树生成算法分为两个步骤：
第一步是记录从断言中扫描和剪切出的有效的字符串并计算其括号深度，其中包括：
1.1扫描、剪切、记录单类节点断言字符串；
1.2记录每个字符串的括号深度；
1.3添加到CAltaRicaAnalyser类中由函数MakeAssertionToAssertionArray()实现的名为AssertionNodeArray的数组中；
第二步是递归生成表达式的前序位置，用于在故障树中绘制逻辑操作节点，
包括：
2.1扫描AssertionNodeArray，由最深的括号深度得到当前根节点的位置，并将第一次得到的根节点前序位置设为-1，其他情况下当前根节点的前序位置为递归算法执行前根节点的位置；
2.2以当前根节点为中心位置将AssertionNodeArray切割成左右两部分；
2.3如果左侧只有一个表达式节点，则获取该节点的位置，并将根节点的位置设置为其前序位置，否则将AssertionNodeArrayLeft数组清空，将左侧部分的所有节点依次加入AssertionNodeArrayLeft数组中，在AssertionNodeArrayLeft数组中递归运行该算法作为步骤2.1；
2.4如果右侧只有一个表达式节点，则获取该节点的位置，并将根节点的位置设置为其前序位置，否则将AssertionNodeArrayRight数组清空，将右侧部分的所有节点依次加入AssertionNodeArrayRight数组中，在AssertionNodeArrayRight数组中递归运行该算法作为步骤2.1；
当前系统是多节点系统或具有子系统的多节点系统，其故障树生成算法可分为以下步骤：
3.1在当前视图中查找“out”节点；
3.2初始化Anal...
【专利技术属性】
技术研发人员：李震，蒋征骐，王浩陈，魏海峰，
申请(专利权)人：江苏科技大学，
类型：发明
国别省市：江苏;32
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。