您的位置： 专家智库 > >

连航

作品数：1 被引量：11H指数：1
供职机构：北京航空航天大学更多>>
发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇有限状态自动...
  • 1篇状态自动机
  • 1篇子系统
  • 1篇自动机
  • 1篇航空电子
  • 1篇航空电子系统

机构

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

作者

  • 1篇马世龙
  • 1篇黎涛
  • 1篇李睿
  • 1篇连航

传媒

  • 1篇软件学报

年份

  • 1篇2015
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于形式化方法的航空电子系统检测被引量：11
2015年
随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.
李睿连航马世龙黎涛
关键词：航空电子系统有限状态自动机
全选 清除 导出
共1页<1>
聚类工具0