本发明涉及一种基于形式化规则的飞行引导控制软件可靠性分析系统,它包括飞行引导控制软件需求建模模块、飞行引导控制软件可靠性分析规则管理模块、飞行引导控制软件可靠性分析规则形式化描述模块和基于形式化规则的飞行引导控制软件可靠性自动分析模块,本发明围绕需求模型进行自动化遍历失效模式分析,充分识别需求中尚未明确或考虑的潜在逻辑分支,分析存在的安全隐患。提升软件可靠性分析工作的效率和质量,确保需求质量与完整性,保障软件可靠性水平满足飞行引导控制系统的研制要求。
声明:
“基于形式化规则的飞行引导控制软件可靠性分析系统与方法” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)