南京航空航天大学学报2015，Vol.47Issue(3)：403-411,9.DOI:10.16356/j.1005-2615.2015.03.014
基于模型转换的IMA系统可调度性验证方法
Schedulable Verification Framework for IMA System Based on Model-Transformation
摘要
关键词
综合模块化航电系统/可调度性验证/ARINC653/实时嵌入式系统与分析/模型驱动工程Key words
integrated modular avionics/schedulability verification/ARINC653/modeling and analysis of real-time and embedded system (MARTE)/model driven engineering分类
信息技术与安全科学引用本文复制引用
胡军,程桢,马金晶,刘雪,石姣洁..基于模型转换的IMA系统可调度性验证方法[J].南京航空航天大学学报,2015,47(3):403-411,9.基金项目
国家重点基础研究发展计划(“九七三”计划)(2014CB744903)资助项目 （“九七三”计划）
回国留学人员科研启动基金资助项目 （）
611航空科研基金资助项目 （）
南京航空航天大学青年科技创新基金(NS2014098)资助项目. （NS2014098）
