Print

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

论文摘要

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

论文目录

  • 0 引 言
  • 1 AADL到Z的转换规则
  •   1.1 AADL与Z
  •   1.2 转换规则
  •     1.2.1 单个组件的转换
  •     1.2.2 故障传播的转换
  • 2 基于XSLT的自动模型转换
  • 3 实例研究
  •   3.1 实例描述
  •   3.2 自动转换过程
  • 4 结束语

    • 文章来源

    类型: 期刊论文

    作者: 李蜜,庄毅

    关键词: 语言,可靠性,模型转换

    来源: 计算机技术与发展 2019年12期

    年度: 2019

    分类: 信息科技

    专业: 计算机软件及计算机应用

    单位: 南京航空航天大学计算机科学与技术学院

    基金: 国家自然科学基金面上项目(61572253),航空基金XXX专项(20128052064)

    分类号: TP311.52

    页码: 21-26

    总页数: 6

    文件大小: 772K

    下载量: 41

    相关论文文献

    本文来源: https://www.lunwen66.cn/article/8995adf3ea76ab41182cf6c3.html