基于SCADE ARINC661 的座艙顯示應用軟件模型開發(fā)研究

魏石峰 程新滿 王柯云

（中國直升機設計研究所 江西省景德鎮(zhèn)市 333001）

1 引言

隨著綜合化航空電子技術的發(fā)展，航空電子系統(tǒng)的組成越來越多元化，綜合顯示系統(tǒng)的系統(tǒng)復雜度顯著增加。這使得綜合顯示軟件在添加新的子系統(tǒng)或子系統(tǒng)功能、維護更新時不得不面臨高難度高成本的問題，同時，隨著軟件規(guī)模的增加，測試難度也隨之增加，軟件安全難以保障。針對此問題，ARINC661 規(guī)范應運而生，它提出了一種CDS 軟件加UA 軟件的“客戶端-服務器”型的系統(tǒng)架構，能夠很好的解決上述問題。

在實際工程中應用該標準，必須考慮實際通訊鏈路復雜、通訊帶寬有限，從而引起的數(shù)據(jù)擁堵和丟失的問題。聶飛針對該問題提出了失效檢測算法，李回寶提出了一種基于檢測通訊數(shù)據(jù)的ARINC661 軟件測試方法。但是目前還沒有文章對初始化的過程展開過研究，ARINC661 畫面在初始化時是通訊帶寬需求的高峰，如果不進行合理的初始化管理，容易造成初始化消息丟失的風險。本文基于SCADE 建模對上述問題提出一種模型框架，可對消息發(fā)送進行有效管理，在初始化時控制發(fā)送消息長度，逐循環(huán)完成初始化消息的發(fā)送，避免造成擁堵，又能保證正常初始化功能，初始化完成后該機制也能應對顯示異常風險。

2 ARINC661軟件架構及其模型化開發(fā)方法

如圖1 所示，ARINC661 標準起源于2001 年ARINC 公司制定的“ARINC661 規(guī)范”，即：“座艙顯示系統(tǒng)到用戶系統(tǒng)的接口”規(guī)范。隨著該標準在波音、空客等公司的不斷使用和修訂，逐漸成為了行業(yè)規(guī)范。……