摘要:随着现代技术的不断发展,关键安全系统和装备的层次变得越来越复杂,系统故 障导致的安全性事故后果越来越严重,系统的安全性问题受到了高度重视,系统安全 性建模和分析技术在关键安全系统中得到了广泛应用。

AltaRica 语言是一种面向故障逻辑的建模语言,采用 Altarica 模型可以真实反应 系统的结构或系统运行机制,AltaRica 模型自身易于修改和维护,使得故障建模和分 析也易于修改和维护,给系统的建模和分析带来了极大的方便,但 AltaRica 代码不能 很好的反映系统的物理结构并缺乏结构上的层次感。而计算机可视化建模技术使用户 可以方便的通过计算机界面对系统进行可视化的图形建模,系统结构描述清楚,系统 建模过程展示清晰,系统建模和系统分析过程合二为一,方便模型和安全性分析的修 改和维护,提高安全性工作的效率。

基于以上内容,文章将 AltaRica 与计算机可视化建模技术相结合,开发了支持 AltaRica 语言的可视化分层建模工具原型,并基于此工具原型开展系统安全性建模和 分析工作,主要包括:基于 Visual C++ 6.0 开发环境使用 ToolKit 实现可视化的框架 建模,利用 AddFlow 控件实现图形化的交互式建模,通过鼠标点击、拖放等常用动 作来实现开发域建模、类建模、系统分层建模等功能。最后,文章使用该工具原型对 泵系统开展了基于 AltaRica 的系统安全性建模和分析,结果表明该工具原型可以很好 的支持 AltaRica 建模语言,建模过程正确、系统分层结构展示清晰、用户使用方便, 可以有效的支持系统安全性的建模和分析工作。

关键词:AltaRica;建模;故障;开发工具

Abstract:With the continuous development of modern technology, the level of critical systems and equipment become more and more complicated, the consequences of safety accidents caused by system failures are more and more serious, and the security problems of the system are highly valued. System security modeling And analytical techniques have been widely used in critical safety systems.

AltaRica language is a modeling language for fault Logicality. Altarica model can be used to reflect the structure or system operation mechanism of the system. The AltaRica model itself is easy to modify and maintain, so that fault modeling and analysis are easy to modify and maintain , which brings great convenience to the modeling and analysis of the system.However, the AltaRica code is a language, can not be a good reflection of the physical structure of the system and the lack of structural sense of hierarchy, a change in the code may affect the system changes and so on. Computer visual modeling technology allows users to easily visualize the system through the computer interface graphical modeling. the user can achieve interactive system modeling. the system structure described clearly, and the system modeling process is clear, besides, the system modeling and the system analysis process are combined, and the model modification and analysis are synchronized, the user experience is good, and the modification and maintenance of the model and the security analysis are facilitated to improve the efficiency of the security work.

Based on the above, this paper has combined AltaRica with computer visual modeling technology and developed a prototype of the visualization of the AltaRica language, and this paper has carried out system security modeling and analysis work based on this prototype work, including Visual C ++ 6.0 development environment using ToolKit to achieve visualization of the framework of modeling , and Using AddFlow control to achieve graphical interactive modeling, development domain modeling, class modeling, system hierarchical modeling and other functions by clicking, draging and other common mouse movements. Finally, the article uses this tool prototype to carry out the AltaRica system security modeling and analysis based on AltaRica. The results show that the tool prototype can support AltaRica modeling language well, the modeling process is correct, the system hierarchical structure is clear, Users easy to use, can effectively support the system security modeling and analysis work.

上一篇:传输矩阵微环谐振器WDM系统的模拟OptiFDTD仿真
下一篇:等波纹最佳逼近FIR数字滤波器设计

基于QT的图像处理系统设计

基于LBG算法的语音信号的矢量量化方法设计

传输矩阵微环谐振器WDM系统的模拟OptiFDTD仿真

基于神经网络的E型微带天线设计

LABVIEW虚拟FIR数字滤波器的设计

波形发生技术的比较研究...

基于LabVIEW的虚拟信号发生器设计

开个2元店一年能挣多少钱...

PCA算法Matlab的人脸识别的设计与仿真

小學音乐課堂教學的思考与创新【2294字】

昆明市拳击俱乐部发展现状及对策研究

论电影阿甘正传的存茬主义维度【3863字】

水瓶座和巨蟹座配吗,被...

异化的社会论嘉莉妹妹里的价值观

Fluent液压式主动横向稳定...

试析公立医院改革新旧會...

任务型教学法在初中英语语法教学中应用