首页> 中国专利> 基于形式化规则的飞行引导控制软件可靠性分析系统与方法

基于形式化规则的飞行引导控制软件可靠性分析系统与方法

摘要

本发明涉及一种基于形式化规则的飞行引导控制软件可靠性分析系统,它包括飞行引导控制软件需求建模模块、飞行引导控制软件可靠性分析规则管理模块、飞行引导控制软件可靠性分析规则形式化描述模块和基于形式化规则的飞行引导控制软件可靠性自动分析模块,本发明围绕需求模型进行自动化遍历失效模式分析,充分识别需求中尚未明确或考虑的潜在逻辑分支,分析存在的安全隐患。提升软件可靠性分析工作的效率和质量,确保需求质量与完整性,保障软件可靠性水平满足飞行引导控制系统的研制要求。

著录项

  • 公开/公告号CN108897676B

    专利类型发明专利

  • 公开/公告日2021-05-07

    原文格式PDF

  • 申请/专利权人 中国人民解放军海军工程大学;

    申请/专利号CN201810572904.X

  • 发明设计人 马良荔;张浩然;李海峰;刘畅;

    申请日2018-06-06

  • 分类号G06F11/36(20060101);G06F8/10(20180101);

  • 代理机构42104 武汉开元知识产权代理有限公司;

  • 代理人李满;黄行军

  • 地址 430033 湖北省武汉市解放大道717号

  • 入库时间 2022-08-23 11:45:37

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号