一种基于AADL建模的航电系统架构实时性分析方法技术方案

本发明专利技术公开了一种基于AADL建模的航电系统架构实时性分析方法，包含以下步骤：1)、建立AADL航电系统架构模型；2)、在航电系统架构模型上构建实时性分析模型；3)、将系统实时性分析模型转换为时间分析Petri网模型；4)、根据给出的任务起点和终点位置，结合Petri网的路径算法进行实时性分析，将需要分析的任务路径中组件的时间属性累加得到实时性分析结果。本发明专利技术可应用于航电系统架构设计中的特性仿真评估，能有效降低架构设计时特性分析评估的耗费和周期。

【技术实现步骤摘要】

本方法涉及军用飞机航空电子系统架构设计中的特性研究评估，属于架构总体设计、实时性特性评估技术范畴。
技术介绍
随着飞机任务能力的增长、飞机系统的多电化和航空电子软、硬件技术的发展，飞机航电系统的新功能被不断开发出来。这些功能在增加新性能的同时也增加了系统的复杂程度。为了满足不断增加的需求，同时解决系统的扩展性、可信性和复杂性等问题,航空电子界已经在分离式系统、联合式系统的基础上发展了综合模块化航空电子系统(IMA)和分布式综合模块化航空电子系统(DIMA)。IMA是指一组由标准格式处理模块和标准格式连接器构成的系统结构，是一个由实时计算机网络组成的机载系统，该网络由许多支持不同用途和重要性的计算模块组成。IMA结构是建立于多个航电系统之间计算、通信和I/O资源共享概念的基础上，它提供了更加有效的解决方案，即通过共享资源将资源浪费降到最低。多个系统可以在分区的平台资源上被构建和覆盖，以形成高度综合的系统。一个IMA平台为多个航空电子系统提供了可共享的计算、通信和I/O服务。本文档来自技高网...

【技术保护点】
一种基于AADL建模的航电系统架构实时性分析方法，包含以下步骤：步骤1)、采用AADL建模语言，建立AADL航电系统架构模型；步骤2)、在航电系统架构模型上构建实时性分析模型，主要包含以下步骤：步骤201)、分析任务流程；步骤202)、分析任务流程中需要用到的构件及连接件时间特性，通过AADL模型添加的方式将时间特性参数加入到构件属性中，形成基于AADL的系统实时性分析模型；步骤3)、将系统实时性分析模型转换为时间分析Petri网模型，主要包含以下步骤：步骤301)、确定转换规则，将系统实时性分析模型中的构件转换为时间分析Petri网模型的位置，将系统实时性分析模型中的带outdate的构件转...

【技术特征摘要】
1.一种基于AADL建模的航电系统架构实时性分析方法，包含以下步
骤：
步骤1)、采用AADL建模语言，建立AADL航电系统架构模型；
步骤2)、在航电系统架构模型上构建实时性分析模型，主要包含以下步骤：
步骤201)、分析任务流程；
步骤202)、分析任务流程中需要用到的构件及连接件时间特性，通过AADL
模型添加的方式将时间特性参数加入到构件属性中，形成基于AADL的系统实
时性分析模型；
步骤3)、将系统实时性分析模型转换为时间分析Petri网模型，主要包含以
下步骤：
步骤301)、确定转换规则，将系统实时性分析模型中的构件转换为时间分
析Petri网模型的位置，将系统实时性分析模型中的带outdate的构件转换为时间
分析Petri网模型的带token的位置，将系统实时性分析模型中的连接构件转换
为时间分析Petri网模型的迁移，将系统实时性分析模型中的AADL的connection
组件转换为时间分析Petri网模型的连接位置和迁移的弧；
步骤302)、根据确定的转换规则把系统实时性分析模型进行转化，转化成
Petri网模型；
步骤4)、根据给出的任务起点和终点位置，结合Petri网的路径算法进行实
时性分析，将需要分析的任务路径中组件的时间属性累加得到实时性分析结果。
2.根据权利要求1所述的航电系统架构实时性...

【专利技术属性】
技术研发人员：王硕，刘畅，
申请(专利权)人：中国航空无线电电子研究所，
类型：发明
国别省市：上海;31