基于AADL的武器控制系统性能验证方法

• 作者: 冯金富 左伟 胡俊华 许凌权
• 来源期刊: 电光与控制
• 学科: 工学
• 关键词: 武器控制 嵌入式实时系统 体系结构 调度算法
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 工程应用
• 页码范围: 77-80,96
• 分类号: V271.4|TP391.9
• 字数: 3457字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-637X.2010.06.019

摘要

武器控制系统作为一种典型的嵌入式实时系统,其性能属性与功能属性同等重要.针对系统在设计早期性能验证困难的问题,将体系结构分析与设计语言(AADL)应用于武器控制系统的建模和性能验证.建立了系统控制导弹发射流程的AADL模型,并基于该模型对系统任务的调度性和端-端流程的延迟两个性能属性进行了分析和验证.结果表明该方法可有效解决这一问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯金富	空军工程大学工程学院	131	535	11.0	15.0
2	左伟	空军工程大学工程学院	11	42	4.0	5.0
3	胡俊华	空军工程大学工程学院	27	63	5.0	6.0
4	许凌权	空军工程大学工程学院	10	28	3.0	4.0