基于MARTE的IMA系统时间资源可调度配置验证

• 作者: 程桢
• 来源期刊: 电子世界
• 关键词: 综合航电系统 模型驱动工程 MARTE 系统资源配置
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 技术交流
• 页码范围: 183-184
• 页数: 2页
• 字数: 1716字
• 语种: 中文

摘要

目前综合模块化航空电子系统(IMA)在资源配置方面有非常高的安全可靠性需求,其中时间资源的可调度性配置验证也显得至关重要.本文在AFDX网络架构下提出了一种IMA系统时间相关概念的MARTE建模和时间资源可调度配置的正确性验证方法.建立了IMA系统通信虚拟链路、AFDX终端、分区以及进程等相关元素到MARTE模型元素的建模规则,并设计了基于可调度分析工具MAST的时间资源可调度配置验证框架,最后利用相关实例进行仿真和分析得到验证结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程桢	南京航空航天大学计算机科学与技术学院	5	21	3.0	4.0