基于 XSLT 的可靠性模型的自动转换方法

来源：计算机技术与发展杂志2019年第12期北京时间：

作者：李蜜;庄毅

摘要：AADL 已经广泛应用于嵌入式软件体系结构的建模与分析,并且已有开源平台 OSATE 为 AADL 提供建模、验证与分析工具。 但 AADL 作为一种半形式化建模语言,不能满足严格分析评估软件可靠性、安全性等非功能属性的要求。 因此需要将 AADL 可靠性模型转换为形式化模型。 Z 语言是一种严格的形式化建模语言,在进行严格可靠性评估时具有很好的支持能力,并且已有工具提供 Z 模型的检测功能。 为实现 AADL 可靠性模型到 Z 形式化模型的自动转换,文中设计了AADL 到形式化语言 Z 的模型转换规则,并基于 XSLT 实现了 AADL 到 Z 的自动转换工具。 最后通过一个自动驾驶子系统的实例,证明了所提出的自动转换方法的有效性,并且通过将 AADL 模型与转换结果进行对比,说明了转换方法的正确性。

关键词：AADL;Z 语言;可靠性;模型转换;XSLT