知搜-全球专利检索

  1. 登录
  2. 注册
发明公开
CN109145607A 一种卫星安全关键软件系统性验证方法 有权

一种卫星安全关键软件系统性验证方法
摘要：
一种卫星安全关键软件系统性验证方法，首先构建安全关键软件多维影响要素模型，然后根据安全关键软件多维影响要素模型构建安全关键软件需求约束集，最后使用得到的安全关键软件需求约束集对安全关键软件进行验证。本发明结合安全关键软件的运行处理过程，通过抽象安全关键软件的控制过程处理模型，提炼形成了软件系统层面的安全约束集，并在此基础上设计了安全关键软件的验证集，实现了建立于软件处理过程模型上的安全性影响要素覆盖分析，以及从安全关键软件安全性影响要素到安全关键软件的验证集的无缝映射，与传统的测试验证方法相比，所验证的系统性问题数量提高大概20％以上，具有很好的使用价值。
摘要（英）：

A method for systematically verifying satellite safety critical software includes constructing a safety critical software multi-dimensional influence element model, constructing a safety critical software requirement constraint set according to that safety critical software multi-dimensional influence element model, and finally verifying the safety critical software by use the obtained safety critical software requirement constraint set. The invention combines the running process of the safety key software with the operation process of the safety key software, by abstracting the control process processing model of safety critical software, the refinement forms a set of security constraints at the software system level, based on this, the verification set of safety critical software is designed, which is based on the software process model, and the seamless mapping from the security impact factors of safety critical software to the verification set of safety critical software. Comparedwith the traditional test verification method, the number of verified systematic problems is increased by more than 20%, which has good use value.

公开/授权文献
0/0