首页> 中国专利> 一种嵌入式软件安全性分析充分性检查方法

一种嵌入式软件安全性分析充分性检查方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明属于计算机技术领域，涉及一种嵌入式软件安全性分析充分性检查方法，尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查，给出了对PHA、FHA和FMEA分析结果进行独立和交叉检查的详细过程和检查策略，能有效识别机载嵌入式软件安全性分析工作各阶段产品中存在的缺陷和不足，既可用于提升机载嵌入式软件安全性分析工作项目的质量和效率，也可用于软件安全性分析工作项目的验收和评价，有效解决了当前机载嵌入式软件安全性分析中工作效果人为影响因素过大、充分性有效性难以保证的问题，为机载嵌入式软件达到高安全性和质量要求提供技术支撑。

著录项

公开/公告号CN103605608B

专利类型发明专利
公开/公告日2016-04-20

原文格式PDF
申请/专利权人中国航空综合技术研究所;
展开▼

申请/专利号CN201310648088.3
发明设计人刘畅;李海峰;蔡玉华;谢许扬;郑军;
展开▼

申请日2013-12-04
分类号
代理机构中国航空专利中心;
代理人李建英
地址 100028 北京市朝阳区京顺路7号
入库时间 2022-08-23 09:39:02

法律信息

法律状态公告日

法律状态信息

法律状态
2016-04-20

授权

授权
2014-03-26

实质审查的生效 IPC(主分类):G06F 11/36 申请日:20131204

实质审查的生效
2014-02-26

公开

公开

相似文献

专利
中文文献
外文文献

1. 一种嵌入式软件安全性分析充分性检查方法 [P] . 中国专利： CN103605608B . 2016.04.20
2. 一种嵌入式软件需求规格说明书的检查方法及检查装置 [P] . 中国专利： CN107741843A . 2018-02-27
3. Method and apparatus for safety analysis for embedded software [P] . 韩国专利： KR100316246B1 . 2001-12-12

机译：嵌入式软件安全性分析的方法和装置
4. EMBEDDED SOFTWARE INSPECTING DEVICE AND EMBEDDED SOFTWARE INSPECTING METHOD [P] . 韩国专利： KR101517893B1 . 2015-05-06

机译：嵌入式软件检查装置及嵌入式软件检查方法
5. A METHOD FOR CONFIRMING THE VOLUMETRIC SUFFICIENTLY OF A SAMPLE LIQUID APPLIED TO AN ELECTROCHEMICAL MEASURING DEVICE ON A TEST STRIP. [P] . IN210378B . 2007-10-05

机译：一种用于确定在测试条带上电化学测量设备上的样品液体的体积充分性的方法。