基于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