基于AltaRica的故障自动化建模和分析
吴梦杰1
朱兵2
李震1
李阳1
1.江苏科技大学电信学院 镇江 2120032.上海船舶设计研究院 上海 201203
摘要：随着系统规模和复杂性的增加,系统安全性建模和分析技术在关键安全系统中得到了广泛应用.AltaRica是用于安全性分析的高级建模语言,AltaRica模型能够更好地反映系统功能和逻辑结构,消除传统安全性分析手段与系统设计的隔阂,提高安全性模型的可维护性和重用性.文章将AltaRica与计算机可视化建模技术相结合,开发了支持AltaRica语言的可视化建模工具原型,并基于此工具原型开展安全性建模和分析工作,结果表明该工具原型可以很好地支持AltaRica建模语言,建模过程正确、用户使用方便,可以有效地支持系统安全性的建模和分析工作.
关键词：系统安全性AltaRica建模故障开发工具
分类号：F407.67(工业经济理论)
论文发表日期：2021-01-20
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 75-78,121 )
英文信息