基于AltaRica的故障自动化建模和分析

摘要：

随着系统规模和复杂性的增加,系统安全性建模和分析技术在关键安全系统中得到了广泛应用.AltaRica是用于安全性分析的高级建模语言,AltaRica模型能够更好地反映系统功能和逻辑结构,消除传统安全性分析手段与系统设计的隔阂,提高安全性模型的可维护性和重用性.文章将AltaRica与计算机可视化建模技术相结合,开发了支持AltaRica语言的可视化建模工具原型,并基于此工具原型开展安全性建模和分析工作,结果表明该工具原型可以很好地支持AltaRica建模语言,建模过程正确、用户使用方便,可以有效地支持系统安全性的建模和分析工作.

关键词：系统安全性、AltaRica、建模、故障、开发工具

所属期刊栏目：49

分类号：F407.67(工业经济理论)

在线出版日期：2021-03-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：75-78,121