基于模型的IMA时间资源配置验证方法研究

• 作者: 张维珺 李宛倩 王明明 胡军
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 综合航电系统 模型驱动工程 MARTE 系统资源配置 MAST
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 32-37
• 页数: 6页
• 分类号: TP316.2
• 字数: 6450字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2018.05.008

摘要

综合模块化航空电子系统(IMA)在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势.IMA具有高安全性,资源共享和高度模块化综合化的特征,模块或组件间以AFDX网络连接.在IMA系统开发的过程中,为确保系统的可靠性和安全性,IMA资源配置必须是正确的和安全有效的.所以对IMA进行有效的系统资源配置并保证配置的正确性和安全性成为航电领域一项重要的研究内容.结合IMA系统的特征,提出了一种基于模型的IMA系统时间资源配置的验证方法.建立IMA系统时间行为的MARTE模型,使用可调度分析工具MAST,分析系统时间资源的可调度性,仿真分析、验证IMA配置与需求之间的满足性.并结合IMA系统中的一个水处理系统的实例来进行分析验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
2	王明明	南京航空航天大学计算机科学与技术学院	9	16	2.0	3.0
3	张维珺	南京航空航天大学计算机科学与技术学院	4	3	1.0	1.0
4	李宛倩	南京航空航天大学计算机科学与技术学院	4	3	1.0	1.0