【技术实现步骤摘要】
FADEC软件安全性分析方法及装置
本专利技术实施例属于航空机载软件安全
，更具体地，涉及一种FADEC软件安全性分析方法及装置。
技术介绍
FADEC(FullAuthorityDigitalEngineControl，全权限数字发动机控制)软件用于负责启动、运转和关闭的控制、监控、指示和数据提取，还记录存储APU(AcceleratedProcessingUnit，加速处理器)每次启动的参数和故障信息。因此，在使用FADEC软件前，对FADEC软件进行安全性分析具有重要意义。目前，有使用NuSMV检测工具对FADEC软件的逻辑安全性进行分析，有使用FHA(FunctionHazardAnalysis，功能危险分析)、FTA(FaultTreeAnalysis，故障树分析)、CMA(CommonModeAnalysis，共模分析)或FMEA(FailureModeandEffectAnalysis，失效模式影响分析)方法对FADEC软件的事故链安全性进行分析。其中，事故链是指由底层的事件逐层向上影响导致高层事件的路径。NuSMV检测工具进行主要系统的逻辑安...
【技术保护点】
1.一种FADEC软件安全性分析方法，其特征在于，包括：基于FHA方法对FADEC软件进行分析，获取所述FADEC软件的高层危险事件和高层危险事件安全性要求；基于FTA方法根据所述高层危险事件和所述高层危险事件安全性要求，获取所述FADEC软件的中间层危险事件、底层危险事件、中间层危险事件安全性要求和底层危险事件安全性要求，根据所述高层危险事件、高层危险事件安全性要求、中间层危险事件、中间层危险事件安全性要求、底层危险事件和底层危险事件安全性要求，构建所述FADEC软件的故障树；基于CMA方法对所述故障树中的与门事件进行分析，若所述故障树中的所有与门事件满足预设独立性要求，...
【技术特征摘要】
1.一种FADEC软件安全性分析方法，其特征在于，包括：基于FHA方法对FADEC软件进行分析，获取所述FADEC软件的高层危险事件和高层危险事件安全性要求；基于FTA方法根据所述高层危险事件和所述高层危险事件安全性要求，获取所述FADEC软件的中间层危险事件、底层危险事件、中间层危险事件安全性要求和底层危险事件安全性要求，根据所述高层危险事件、高层危险事件安全性要求、中间层危险事件、中间层危险事件安全性要求、底层危险事件和底层危险事件安全性要求，构建所述FADEC软件的故障树；基于CMA方法对所述故障树中的与门事件进行分析，若所述故障树中的所有与门事件满足预设独立性要求，则基于FMEA方法对各所述底层危险事件进行分析；根据各所述底层危险事件的分析结果，判断所述FADEC软件是否满足预设安全性要求。2.根据权利要求1所述的方法，其特征在于，基于FHA方法对FADEC软件进行分析，获取所述FADEC软件的高层危险事件和高层危险事件安全性要求的步骤具体包括：基于FHA方法对FADEC软件的需求规格说明书进行分析，获取所述FADEC软件的高层危险事件；基于所述FHA方法对所述高层危险事件的影响进行分析，获取所述高层危险事件的影响等级；基于所述FHA方法对所述影响等级进行分析，获取所述FADEC软件的高层危险安全性要求。3.根据权利要求1所述的方法，其特征在于，基于FTA方法根据所述高层危险事件和所述高层危险事件安全性要求，获取所述FADEC软件的中间层危险事件、底层危险事件、中间层危险事件安全性要求和底层危险事件安全性要求，根据所述高层危险事件、高层危险事件安全性要求、中间层危险事件、中间层危险事件安全性要求、底层危险事件和底层危险事件安全性要求，构建所述FADEC软件的故障树的步骤具体包括：根据所述FADEC软件的概要设计说明书，基于FTA方法获取导致所述高层危险事件的中间层危险事件、底层危险事件、中间层危险事件安全性要求和底层危险事件安全性要求；基于所述高层危险事件与各所述中间层危险事件之间的关联关系、各所述中间层危险事件之间的关联关系，以及各所述中间层危险事件与各所述底层危险事件之间的关联关系，将所述高层危险事件安全性要求向下分解到所述中间层危险事件和所述底层危险事件，构建所述FADEC软件的故障树。4.根据权利要求1所述的方法，其特征在于，所述预设独立性要求为所述与门事件的发...
【专利技术属性】
技术研发人员：钟德明，丁玉新，孙睿，
申请(专利权)人：北京航空航天大学，
类型：发明
国别省市：北京,11
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。