一种基于smartIflow的AADL模型的安全性分析方法技术

本申请公开了一种基于smartIflow的AADL模型的安全性分析方法，通过根据系统需求和设计文档，采用AADL建立系统架构模型、错误模型和行为模型；组合系统中构件的错误模型和行为模型为构件模型，表示构件发生故障时构件行为的变化；将各构件模型转换为smartIflow模型，用以分析系统的安全性；根据系统需求和设计文档，描述所述系统需要满足的安全性属性，将smartIflow模型和安全性属性描述输入到smartIflow安全性分析平台，验证系统的安全性属性，得到系统的安全性分析结果。能够对构件的故障行为描述更全面、系统的安全性分析结果更准确，有利于根据系统的安全性分析结果改进系统的设计。

A security analysis method of AADL model based on smartflow

【技术实现步骤摘要】
一种基于smartIflow的AADL模型的安全性分析方法
本专利技术属于计算机软件
，特别涉及一种基于smartIflow的AADL模型的安全性分析方法。
技术介绍
在航空航天、交通运输等安全关键系统领域，为了防止发生人身伤亡、财产损失、环境破坏等情况，需要对系统的安全性进行分析。目前，基于模型的安全性分析具有与系统设计相融合、安全性分析效率高等优点，是安全性分析领域的研究热点。AADL(ArchitectureAnalysis&DesignLanguage，架构分析与设计语言)是针对安全关键系统领域的体系结构建模语言，对系统的关键属性有较强的描述能力，同时提供错误附件和行为附件分别用来描述系统的故障情况和运行行为，可以较全面地建模安全性的影响因素。为了更紧密地融合安全性分析过程与系统设计过程，很多研究将AADL与基于模型的安全性分析技术相结合来分析安全关键系统的安全性。如图1所示为AADL与基于模型的安全性分析技术相结合分析安全性的流程。首先，设计人员通过系统需求和设计说明建立AADL模型，同时建立系统要满足的本文档来自技高网...

【技术保护点】
1.一种基于smartIflow的AADL模型的安全性分析方法，其特征在于，所述方法包括：/nS1：根据系统需求和设计文档，采用AADL建立所述系统的架构模型、错误模型和行为模型；其中，将所述AADL架构模型、错误模型和行为模型组合在一起，得到带有系统构件错误信息和行为信息的AADL安全性模型；/nS2：组合所述系统中构件的错误模型和行为模型为所述构件模型，表示构件发生故障时构件行为的变化；/nS3：将所述构件模型转换为smartIflow模型，用以分析系统的安全性；/nS4：根据系统需求和设计文档，描述所述系统需要满足的安全性属性，将所述smartIflow模型和安全性属性描述输入到smar...

【技术特征摘要】
1.一种基于smartIflow的AADL模型的安全性分析方法，其特征在于，所述方法包括：
S1：根据系统需求和设计文档，采用AADL建立所述系统的架构模型、错误模型和行为模型；其中，将所述AADL架构模型、错误模型和行为模型组合在一起，得到带有系统构件错误信息和行为信息的AADL安全性模型；
S2：组合所述系统中构件的错误模型和行为模型为所述构件模型，表示构件发生故障时构件行为的变化；
S3：将所述构件模型转换为smartIflow模型，用以分析系统的安全性；
S4：根据系统需求和设计文档，描述所述系统需要满足的安全性属性，将所述smartIflow模型和安全性属性描述输入到smartIflow安全性分析平台，验证所述系统的安全性属性，得到所述系统的安全性分析结果。


2.根据权利要求1所述的安全性分析方法，其特征在于，所述组合所述系统中构件的错误模型和行为模型为构件模型，组合方法包括：
组合所述错误模型的错误状态和行为模型中的状态；
关联所述错误模型中的错误事件或传入错误与所述行为模型中的状态转换行为条件；
根据所述错误事件和所述传入错误触发的所述错误模型的状态转换，将所述错误模型的状态转换表示所述行为模型中的状态转换，将所述错误模型中的传出错误表示为所述行为模型中的状态转换时的动作；
在所述构件模型中保留所述错误模型的错误事件属性描述。


3.根据权利要求1所述的安全性分析方法，其特征在于，所述将所述构件模型转换为smartIflow模型，包括：
将所述AADL安全性模型的每个系统构件转换为smartIflow中的类，将所述每个系统构件的数据子构件转换为smartIflow中的类的...

【专利技术属性】
技术研发人员：原仓周，何航宇，
申请(专利权)人：北京航空航天大学，
类型：发明
国别省市：北京;11