科研之友
微信
新浪微博
Facebook
分享链接
摘要
随着工业系统规模和复杂性的增加,系统安全性建模和分析技术在关键安全系统中得到了广泛应用。Alta Rica是用于安全性分析的高级建模语言,现将Alta Rica与计算机可视化建模技术相结合,开发了支持Alta Rica语言的可视化分层建模工具原型,并基于此工具原型开展系统安全性建模和分析工作。结果表明,该工具原型可以很好地支持Alta Rica建模语言,建模过程正确,系统分层结构展示清晰,用户使用方便,可以有效地支持系统安全性的建模和分析工作。
-
单位中国电建集团华东勘测设计研究院有限公司
