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

摘要：

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

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

所属期刊栏目：29

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金面上项目61572253;航空基金XXX专项20128052064

在线出版日期：2019-12-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：21-26