袁翔

作品数：2被引量：7H指数：2
导出分析报告
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文主题：ARINC653AADLCHEDDAR仿真方法可调度性判定更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《南京航空航天大学学报（自然科学版）》《计算机工程》更多>>
所获基金：江苏省普通高校研究生科研创新计划项目国家自然科学基金中国航空科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于AADL的IMA系统配置信息的正确性检测方法被引量：2
《南京航空航天大学学报》2014年第6期920-930,共11页胡军 马金晶 袁翔 刘雪 
国家重点基础研究发展计划("九七三"计划)(2014CB744904)资助项目;回国留学人员科研启动基金(2012)资助项目;611航空科研基金(2012)资助项目;南京航空航天大学青年科技创新基金(NS2014098)资助项目
综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC65...
关键词：软件可靠性测试 综合模块化航电系统 ARINC653配置信息 AADL REAL OSATE 
基于AADL的综合航电分区系统可调度性判定被引量：5
《计算机工程》2014年第10期52-60,共9页袁翔 胡军 马金晶 刘雪 
国家自然科学基金资助项目(61272083);江苏省普通高校研究生科研创新计划基金资助项目(CXZZ11_0218)
综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的...
关键词：综合模块化航电 ARINC653 系统 分区系统 架构分析和设计语言 Cheddar工具 可调度性判定 仿真方法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部