一种基于数据库的机载软件安全性分析方法和装置制造方法及图纸

本发明专利技术提供了一种基于数据库的机载软件安全性分析方法和装置，主要包括：机载软件安全性数据库、机载软件安全性建模工具、机载软件安全性实施工具；由机载软件安全性数据库提供的软件安全性标准、软件安全性准则以及软件安全性失效模式；由机载软件安全性建模工具提供的基于软件任务书和软件需求规格说明的建模方法；由机载软件安全性实施工具提供的机载软件失效模式识别及规范化的安全性分析方法；能够实现对机载软件功能失效模式的全覆盖分析，增强了机载软件的安全性设计，对机载系统安全性的提升有着十分重要的作用。

【技术实现步骤摘要】

本专利技术属于软件安全性领域，具体涉及一种基于数据库的机载软件安全性分析方法和装置。

技术介绍

1、在航空
内，由软件控制的机载系统功能占比逐年升高，据统计，目前国内外新型飞机的机载软件源代码均已超过600万行，仅主飞控部分代码就超过了25万行。由于现今机载软件的逻辑越来越复杂，因此，在开发过程中很容易出现对软件安全性考虑不足、软件安全设计缺失的情况，由此导致软件失效，进一步导致系统危险，从而引发系统事故。综上所述，软件安全性现今航空领域飞行安全至关重要。

2、目前，机载软件安全性分析工作主要依靠开发人员的工程经验，在软件开发过程中，由开发人员考虑可能出现的软件失效模式，并对相关功能模块加以保护，这种安全性分析模式存在三点弊端。

3、首先，缺乏失效模式组织资产库，失效模式的识别依赖于开发人员的经验，无法针对每一处接口、每一点功能模块进行系统全面地分析，尤其是对工程经验不足的开发人员而言，软件安全性分析工作无法展开。

4、其次，软件安全性分析工作不具备系统的分析方法，导致失效模式识别不完善，容易出现软件失效模式漏识别本文档来自技高网...

【技术保护点】

1.一种基于数据库的机载软件安全性分析方法，其特征在于，所述方法包括：

2.根据权利要求1所述方法，其特征在于，所述机载软件安全性数据库建立软件项目失效模式库，包括：

3.根据权利要求2所述方法，其特征在于，所述机载软件安全性建模工具搭建和配置软件模型，包括：

4.根据权利要求3所述方法，其特征在于，所述机载软件安全性实施工具基于所述软件项目失效模式库和软件模型对机载软件进行安全性分析，包括：

5.一种基于数据库的机载软件安全性分析装置，其特征在于，所述装置包括：

6.根据权利要求5所述装置，其特征在于，p>

7.根据权...

【技术特征摘要】

1.一种基于数据库的机载软件安全性分析方法，其特征在于，所述方法包括：

2.根据权利要求1所述方法，其特征在于，所述机载软件安全性数据库建立软件项目失效模式库，包括：

3.根据权利要求2所述方法，其特征在于，所述机载软件安全性建模工具搭建和配置软件模型，包括：

4.根据权利要求3所述方法，其特征在于，所...

【专利技术属性】
技术研发人员：张夫猷，刘海亮，姚龙辉，
申请(专利权)人：中国航空工业集团公司西安飞行自动控制研究所，
类型：发明
国别省市：