基于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)文章：

基于性能的橋梁抗震設(shè)計(jì)方法04-27

基于非平穩(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

基于逆問(wèn)題求解的汽車操縱性能分析04-26

基于隨機(jī)Petri網(wǎng)的FMS建模及其性能分析04-27

基于TMS320F2407的主動(dòng)振動(dòng)控制系統(tǒng)12-04

基于MBR的醫(yī)院污水處理模糊控制系統(tǒng)04-25

基于聚合物SBS對(duì)基質(zhì)瀝青性能改善的研究04-27