技術編號：11868484
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術詳細信息。一種符合DO-178B/CA級軟件的模型驗證方法技術領域本發(fā)明屬于計算機軟件設計技術領域，涉及一種模型自動化驗證方法，具體涉及一種符合DO-178B/CA級軟件的模型驗證方法。背景技術DO-178B/C《機載系統(tǒng)和設備合格審定中的軟件考慮》是美國航空無線電委員會(TheRadioTechnicalCommissionforAeronautics,RTCA)提出的航空適航認證標準，A級是機載軟件開發(fā)要求的最高級別。1992年RTCA發(fā)布了DO-178B《機載系統(tǒng)和設備合格審定中的軟件考慮》。DO-...
注意：該技術已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術研究參考不得用于商業(yè)用途。
該專利適合技術人員進行技術研發(fā)參考以及查看自身技術是否侵權(quán)，增加技術思路，做技術知識儲備，不適合論文引用。
請注意，此類技術沒有源代碼，用于學習研究技術思路。