本發明涉及一種基于形式化規則的飛行引導控制軟件可靠性分析系統,它包括飛行引導控制軟件需求建模模塊、飛行引導控制軟件可靠性分析規則管理模塊、飛行引導控制軟件可靠性分析規則形式化描述模塊和基于形式化規則的飛行引導控制軟件可靠性自動分析模塊,本發明圍繞需求模型進行自動化遍歷失效模式分析,充分識別需求中尚未明確或考慮的潛在邏輯分支,分析存在的安全隱患。提升軟件可靠性分析工作的效率和質量,確保需求質量與完整性,保障軟件可靠性水平滿足飛行引導控制系統的研制要求。
聲明:
“基于形式化規則的飛行引導控制軟件可靠性分析系統與方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)