您的位置： 专家智库 > >

刘俊波

作品数：2 被引量：0H指数：0
供职机构：西安电子科技大学计算机学院更多>>
发文基金：中国航空科学基金更多>>
相关领域：自动化与计算机技术电气工程更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇自动化与计算...
  • 1篇电气工程

主题

  • 2篇AADL
  • 2篇GSPN

机构

  • 2篇电子科技大学
  • 2篇西安电子科技...
  • 2篇西安飞行自动...

作者

  • 2篇谯婷婷
  • 2篇刘俊波
  • 2篇任飞
  • 1篇邵杨锋

传媒

  • 1篇计算机科学
  • 1篇中国计算机学...

年份

  • 1篇2013
  • 1篇2012
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
AADL在中断控制系统建模中的应用
任飞谯婷婷刘俊波邵杨锋
关键词：AADLGSPN
文献传递
AADL在中断控制系统建模中的应用
2013年
随着中断控制在嵌入式实时系统中的不断广泛应用,中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言(AADL)的形式化方法为这一问题的解决提供了思路,但AADL自身缺少有效的元素和方法来描述和建模中断。为此,提出一种结合AADL与中断控制器的中断控制系统设计方法,并运用GSPN可靠性计算模型对可靠性进行分析,从而为AADL在航电系统中的应用提供了思路。
任飞谯婷婷刘俊波邵杨锋
关键词：AADLGSPN
全选 清除 导出
共1页<1>
聚类工具0