[发明专利]基于AltaRica的航电系统动态重构建模方法

摘要

本发明是一种基于AltaRica的航电系统动态重构建模方法，用于航电系统任务可靠性建模。本发明在分析航电系统特征的基础上，提出以有限状态机为理论基础，基于AltaRica模型对系统的任务可靠性进行建模。该方法可以实现系统功能与故障逻辑一体化建模，通过故障状态和触发事件的扩展定义,以完整描述系统在故障发生与容错设计条件下各组件工作状态的跳变与影响关系,真实地反映出航电系统的设计特征。本发明使复杂的动态重构过程模型化，便于分析动态重构过程的任务可靠性，将AltaRica模型与航电系统动态重构过程结合，创立了全新的过程建模方法。

主权项

1.一种基于AltaRica的航电系统动态重构建模方法，其特征在于，具体实现步骤如下：步骤一：系统动态重构设计特性分析；以系统架构以及容错设计实现过程的文档或模型为基础，梳理当前系统中采用动态容错设计手段的故障容错过程，明确容错设计工作原理，所述容错设计工作原理包括故障检测与控制对象、故障切换触发条件、组件工作模式；航电系统动态重构机制包括切换单元的冷备份、温备份或热备份架构和IMA架构；步骤二：构建系统功能模型；以AltaRica语言的图形化建模手段为基础来构建系统功能模型，系统功能模型包括系统架构、组件交互关系以及组件正常工作模式及状态，描述系统在正常工作模式下的功能交互关系，与系统正向设计方案保持一致；步骤三：构建系统故障逻辑模型；在系统功能模型基础上，通过故障状态以及触发事件的扩展定义，以完整描述系统在故障发生与容错设计条件下各组件工作状态的跳变与影响关系，实现系统动态容错设计的系统故障逻辑模型的建模；步骤四：构建系统任务可靠性模型；在系统故障逻辑建模的基础上，依据任务剖面及系统任务失效判据，构建表示为“顶层任务失败‑阶段任务失败‑系统功能失效状态‑单元功能失效状态”逻辑关系的系统任务可靠性模型。