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

作     者：吴梦杰 朱兵 李震 李阳 WU Mengjie;ZHU Bing;LI Zhen;LI Yang

作者机构：江苏科技大学电信学院镇江212003 上海船舶设计研究院上海201203 

出 版 物：《计算机与数字工程》 (Computer & Digital Engineering)

年 卷 期：2021年第49卷第1期

页      码：75-78,121页

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

主 题 词：系统安全性 AltaRica 建模 故障 开发工具 

学科分类：0202[经济学-财政学类] 02[经济学] 020205[020205] 

D　O　I：10.3969/j.issn.1672-9722.2021.01.016

馆 藏 号：203102038...