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