CN114676047B 一种基于故障模式库的无人机软件安全性质分析验证方法 （北京航空航天大学）_第1页
CN114676047B 一种基于故障模式库的无人机软件安全性质分析验证方法 （北京航空航天大学）_第2页
CN114676047B 一种基于故障模式库的无人机软件安全性质分析验证方法 （北京航空航天大学）_第3页
CN114676047B 一种基于故障模式库的无人机软件安全性质分析验证方法 （北京航空航天大学）_第4页
CN114676047B 一种基于故障模式库的无人机软件安全性质分析验证方法 （北京航空航天大学）_第5页
已阅读5页，还剩13页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

一种基于故障模式库的无人机软件安全性本申请提供了一种基于故障模式库的无人项目需求筛选适用软件运行的目标系统的软件设计适用于软件运行的目标系统的静态分析模块，结合故障数据库对软件目标系统进静态分取安全性质规约中至少部分信息生成安全性质2参照软件故障模式数据库，结合实际项目需求筛选适用软件运参考故障模式库设计适用于软件运行的目标系统的静态分析模建立形成包括无人机、监控器和控制台的分布式系统，监控器接收建立所述软件故障模式数据库的步骤包括软件故障机理分析、软件故障模式特征识所述软件故障机理分析包括提取多种软件故障模式的共性特点和个性通过不同的特征分析活动对已识别的特征进行不断细化，发现相关2.根据权利要求1所述的基于故障模式库的无人机软件安全性质分析验证方法，其特3.根据权利要求1所述的基于故障模式库的无人机软件安全性质分析验证方法，其特建立软件故障模式属性与软件需求模型元素之间映射，为基于模型的在选取的软件故障模式特征子集基础上，按照特征子集中各4.根据权利要求1所述的基于故障模式库的无人机软件安全性质分析验证方法，其特所述监控器生成信息包括要监控的事件与期望满足的性质，用于生成安全性质监控35.根据权利要求4所述的基于故障模式库的无人机软件安全性质分析验证方法，其特4[0005]有鉴于此，本申请提供一种基于故障模式库的无人机软件安全性质分析验证方5[0015]可选的，所述故障机理分析包括提取多种软件故障模式系统在触发监控事件时发送的数据，监控器在本体计算设备上分析数据并得到分析结果，6了本文中所阐述的方面中的一或多者之外的其它结构及/或功能性实施此设备及/或实践7[0053]所述软件故障模式特征表征包括针对不同软件故障模式特征分别设计不同特征8范化的客观语言表达以描述各属性中故障数据所具[0056]所述读取安全性质规约，提取安全性质规约中至少部分信息生成安全性质监控中又比较常见，因此有必要参考目标系统的故障模式库为目标系统计专门的静态分析模9

人人文库> 全部分类> 行业资料 > 信息产业

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论