首页> 中国专利> 一种面向需求表格模型的形式化语义分析与检查方法

一种面向需求表格模型的形式化语义分析与检查方法

摘要

本发明公开了一种面向需求表格模型的形式化语义分析与检查方法,将机载安全关键软件的需求映射为基于命题逻辑与关系理论的数学模型,对其语义进行严格数学定义,然后设计一系列自动化算法来对需求的多层语义约束进行验证。

著录项

  • 公开/公告号CN114741052A

    专利类型发明专利

  • 公开/公告日2022-07-12

    原文格式PDF

  • 申请/专利权人 中国航空无线电电子研究所;

    申请/专利号CN202210421720.X

  • 发明设计人 康介祥;王辉;崔杰;高忠杰;尹伟;

    申请日2022-04-21

  • 分类号G06F8/10;G06F40/30;G06F16/22;G06F40/211;G06F40/253;

  • 代理机构上海和跃知识产权代理事务所(普通合伙);

  • 代理人杨慧

  • 地址 200233 上海市徐汇区桂平路432号

  • 入库时间 2023-06-19 15:58:43

法律信息

  • 法律状态公告日

    法律状态信息

    法律状态

  • 2022-07-12

    公开

    发明专利申请公布

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号