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

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

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
随着系统规模和复杂性的增加,系统安全性建模和分析技术在关键安全系统中得到了广泛应用.AltaRica是用于安全性分析的高级建模语言,AltaRica模型能够更好地反映系统功能和逻辑结构,消除传统安全性分析手段与系统设计的隔阂,提高安全性模型的可维护性和重用性.文章将AltaRica与计算机可视化建模技术相结合,开发了支持AltaRica语言的可视化建模工具原型,并基于此工具原型开展安全性建模和分析工作,结果表明该工具原型可以很好地支持AltaRica建模语言,建模过程正确、用户使用方便,可以有效地支持系统安全性的建模和分析工作.
Fault Automated Modeling and Analysis Based on AltaRica

吴梦杰、朱兵、李震、李阳

展开 >

江苏科技大学电信学院 镇江 212003

上海船舶设计研究院 上海 201203

系统安全性 AltaRica 建模 故障 开发工具

2021

10.3969/j.issn.1672-9722.2021.01.016

计算机与数字工程
中国船舶重工集团公司第七0九研究所

计算机与数字工程

CSTPCD
影响因子：0.355
ISSN：1672-9722
年,卷(期)：2021.49(1)
  • 1
  • 1