计算机应用与软件2019，Vol.36Issue(7)：69-75,127,8.DOI:10.3969/j.issn.1000-386x.2019.07.013
基于体系结构模型的综合化航电分区可调度性验证
SCHEDULABILITY VERIFICATION OF INTEGRATED MODULAR AVIONICS PARTITIONING BASED ON ARCHITECTURE MODEL
摘要
关键词
综合模块化航电/软件分区/体系结构模型/可调度性分类
信息技术与安全科学引用本文复制引用
Liu Zhexu,Fan Zhiyong,Zhao Zhen..基于体系结构模型的综合化航电分区可调度性验证[J].计算机应用与软件,2019,36(7):69-75,127,8.基金项目
天津市自然科学基金项目(18JCQNJC05000) （18JCQNJC05000）
中国民航大学科研启动基金项目(2014QD10X). （2014QD10X）
