10.3969/j.issn.1672-9722.2021.01.016
基于AltaRica的故障自动化建模和分析
随着系统规模和复杂性的增加,系统安全性建模和分析技术在关键安全系统中得到了广泛应用.AltaRica是用于安全性分析的高级建模语言,AltaRica模型能够更好地反映系统功能和逻辑结构,消除传统安全性分析手段与系统设计的隔阂,提高安全性模型的可维护性和重用性.文章将AltaRica与计算机可视化建模技术相结合,开发了支持AltaRica语言的可视化建模工具原型,并基于此工具原型开展安全性建模和分析工作,结果表明该工具原型可以很好地支持AltaRica建模语言,建模过程正确、用户使用方便,可以有效地支持系统安全性的建模和分析工作.
系统安全性、AltaRica、建模、故障、开发工具
49
F407.67(工业经济理论)
2021-03-02(万方平台首次上网日期,不代表论文的发表时间)
共5页
75-78,121