吴梦杰 朱 兵 李 震 李 阳

（1.江苏科技大学电信学院 镇江 212003）（2.上海船舶设计研究院 上海 201203）

1 引言

随着计算机与软件技术的不断发展，系统故障导致的安全性事故后果越来越严重，系统的安全性问题受到了高度重视，系统安全性建模和分析技术在关键安全系统中得到了广泛应用［1］。

AltaRica 语言是一门面向故障逻辑的建模语言，具有面向对象的可复用的特点，采用AltaRica模型可以真实反应系统的功能结构和系统运行机制。因此，国内外学者对其做了大量深入的研究，文献［2］主要介绍了基于AltaRica 的系统安全性评估方法，文中详细介绍了AltaRica 的语法结构和建模过程，体现了AltaRica 数据流在不牺牲评估算法效率的情况下能够显著提高模型设计功能的特点。文献［3］介绍了如何使用AltaRica语言及相关工具对电气和液压系统建模并分析。文献［4］介绍了AltaRica的关键，即卫士转换系统（Guarded Transition System，GTS），文中描述了从GTS 模型转换为故障树的过程。可由GTS模型生成相应的故障树，也就是由状态/转换模型转换为一组布尔公式，从而利用故障分析工具进行相关的安全性验证工作。AltaRica 自诞生以来一直在发展，目前已经发展到第三个版本AltaRica3.0。文献［5］详细描述了AltaRica3.0 的新特性，与前两个版本的区别，以及AltaRica 的语法。关于AltaRica 模型向其它模型转换，文献［6］详细介绍了AltaRica 数据流模型向NuSMV 模型的转换，并且给出了详细的形式化证明。

但是AltaRica 代码缺乏结构层次，还不能直观地展示系统的物理结构，以及功能和故障在系统物理结构上的连接和传播。……