您的位置： 专家智库 > >

程亦涵

作品数：1 被引量：5H指数：1
供职机构：南京航空航天大学计算机科学与技术学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇系统可靠性
  • 1篇可靠性
  • 1篇建模方法
  • 1篇AADL
  • 1篇IMC

机构

  • 1篇南京航空航天...

作者

  • 1篇阚双龙
  • 1篇黄志球
  • 1篇程亦涵

传媒

  • 1篇计算机工程与...

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种结合AADL和IMC的系统可靠性建模方法被引量：5
2015年
随着嵌入式软件在安全关键领域广泛应用,系统可靠性随着其规模、复杂度和性能需求的不断提升而愈显重要。结构分析设计语言AADL是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。由于AADL是一种半形式化模型,需要精确描述其语义才能进行定量分析。提出一种基于AADL的系统可靠性建模方法。首先,结合AADL模型和AADL错误模型附件,得到AADL可靠性模型;然后,提出一种模型转换方法,将AADL可靠性模型的基本元素和错误传播等特殊元素转换到交互式马尔科夫链模型IMC,进行可靠性定量分析;最后,结合法国空中交通控制系统的实例,证明该方法的可行性和有效性。
程亦涵黄志球阚双龙
关键词：AADL形式化方法
全选 清除 导出
共1页<1>
聚类工具0