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

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

Fault Automated Modeling and Analysis Based on AltaRica

With the increase of system scale and complexity,system safety modeling and analysis technology has been widely used in key safety systems.AltaRica is a high-level modeling language for security analysis.The AltaRica model can better reflect system functions and logical structures,eliminate the gap between traditional safety analysis methods and system design,and im?prove the maintainability and reusability of safety models.The article combines AltaRica with computer visualization modeling tech?nology,develops a prototype of visual modeling tools supporting AltaRica language,and conducts safety modeling and analysis based on this tool prototype.The results show that the tool prototype can support AltaRica construction well.The modular language and the modeling process are correct,and the user is convenient to use,which can effectively support the modeling and analysis of system safety.