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

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

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

作 者： 许凌权 冯金富 左伟 胡俊华 XU Lingquan FENG Jinfu ZUO Wei HU Junhua   作者单位： 空军工程大学工程学院,西安,710038  刊 名： 电光与控制  ISTIC PKU 英文刊名： ELECTRONICS OPTICS & CONTROL  年，卷(期)： 2010 17(6)  分类号： V271.4 TP391.9  关键词： 武器控制   嵌入式实时系统   体系结构   调度算法  

【基于AADL的武器控制系统性能验证方法】相关文章：

基于性能的桥梁抗震设计方法04-27

基于非平稳时间序列的陀螺漂移性能建模与预测方法研究04-26

基于PLC的灌溉控制系统设计04-27

基于MATLAB的电传控制系统仿真与分析04-26

基于CFD的拖网渔船阻力计算及试验验证04-26

基于逆问题求解的汽车操纵性能分析04-26

基于随机Petri网的FMS建模及其性能分析04-27

基于TMS320F2407的主动振动控制系统12-04

基于MBR的医院污水处理模糊控制系统04-25

基于聚合物SBS对基质沥青性能改善的研究04-27