- 相關(guān)推薦
基于AADL的武器控制系統(tǒng)性能驗(yàn)證方法
武器控制系統(tǒng)作為一種典型的嵌入式實(shí)時(shí)系統(tǒng),其性能屬性與功能屬性同等重要.針對(duì)系統(tǒng)在設(shè)計(jì)早期性能驗(yàn)證困難的問(wèn)題,將體系結(jié)構(gòu)分析與設(shè)計(jì)語(yǔ)言(AADL)應(yīng)用于武器控制系統(tǒng)的建模和性能驗(yàn)證.建立了系統(tǒng)控制導(dǎo)彈發(fā)射流程的AADL模型,并基于該模型對(duì)系統(tǒng)任務(wù)的調(diào)度性和端-端流程的延遲兩個(gè)性能屬性進(jìn)行了分析和驗(yàn)證.結(jié)果表明該方法可有效解決這一問(wèn)題.
作 者: 許凌權(quán) 馮金富 左偉 胡俊華 XU Lingquan FENG Jinfu ZUO Wei HU Junhua 作者單位: 空軍工程大學(xué)工程學(xué)院,西安,710038 刊 名: 電光與控制 ISTIC PKU 英文刊名: ELECTRONICS OPTICS & CONTROL 年,卷(期): 2010 17(6) 分類號(hào): V271.4 TP391.9 關(guān)鍵詞: 武器控制 嵌入式實(shí)時(shí)系統(tǒng) 體系結(jié)構(gòu) 調(diào)度算法【基于AADL的武器控制系統(tǒng)性能驗(yàn)證方法】相關(guān)文章:
基于非平穩(wěn)時(shí)間序列的陀螺漂移性能建模與預(yù)測(cè)方法研究04-26
基于PLC的灌溉控制系統(tǒng)設(shè)計(jì)04-27
基于MATLAB的電傳控制系統(tǒng)仿真與分析04-26
基于CFD的拖網(wǎng)漁船阻力計(jì)算及試驗(yàn)驗(yàn)證04-26
基于隨機(jī)Petri網(wǎng)的FMS建模及其性能分析04-27
基于TMS320F2407的主動(dòng)振動(dòng)控制系統(tǒng)12-04