袁翔
- 作品数:2 被引量:6H指数:1
- 供职机构:南京航空航天大学计算机科学与技术学院更多>>
- 发文基金:江苏省普通高校研究生科研创新计划项目国家自然科学基金中国航空科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于AADL的IMA系统配置信息的正确性检测方法被引量:1
- 2014年
- 综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。
- 胡军马金晶袁翔刘雪
- 关键词:软件可靠性测试AADLREAL
- 基于AADL的综合航电分区系统可调度性判定被引量:5
- 2014年
- 综合模块化航电(IMA)系统中的分区系统提高了其可靠性和安全性,但在系统设计和实现过程中,应采用各种分析和验证方法确保系统的时间需求得到满足。为此,针对符合ARINC653规范的IMA系统,根据分区系统层级调度的特性,提出一种基于仿真的分区任务集可调度性判定方法。借助Cheddar工具及其自定义调度策略功能,使架构分析和设计语言(AADL)具有对分区系统进行建模的能力,并利用该工具对AADL模型进行仿真以判定系统的可调度性。实例分析结果表明,该方法能自动、准确、快速地进行可调度性判定,并以甘特图的方式绘制任务调度过程,得到直观、详细的结果。
- 袁翔胡军马金晶刘雪
- 关键词:ARINC653可调度性判定仿真方法