如需要完整文档点击下方 "点击下载文档" 按钮

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

如需要完整文档点击下方 "点击下载文档" 按钮

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

将 完整文档 下载到本地，方便收藏和查阅

文件号：062368

点击下载文档