基于AADL的分布式综合模块化航电系统架构建模与分析 被引量：5

1

作者 邢亮 《电光与控制》 CSCD 北大核心 2020年第2期64-69,97,共7页

针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的... 针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的可调度性进行了分析,对模块间通信进行了模拟,验证了架构设计实例的可行性。 展开更多

关键词 分布式综合模块化航空电子 架构分析与设计语言 可调度性 架构设计

在线阅读 下载PDF 职称材料

基于AADL2SPN的飞行控制系统可靠性分析

2

作者 罗文斌 陆中 +1 位作者 程大炜 缪炜润 《航空工程进展》 CSCD 2024年第4期100-112,120,共14页

飞行控制系统是典型的安全关键系统,其可靠性对保证飞机安全运行具有重要作用。传统的可靠性分析方法过于依赖分析人员的经验,主观性强,极易导致可靠性模型与设计模型之间存在不一致性。综合利用架构分析设计语言(AADL)和随机Petri网(S... 飞行控制系统是典型的安全关键系统,其可靠性对保证飞机安全运行具有重要作用。传统的可靠性分析方法过于依赖分析人员的经验,主观性强,极易导致可靠性模型与设计模型之间存在不一致性。综合利用架构分析设计语言(AADL)和随机Petri网(SPN)描述系统的故障传播行为,提出一种基于模型的可靠性分析方法;利用AADL构建某横侧向电传飞控系统的名义模型和错误模型,提出AADL模型中错误传播相关信息的提取方法,利用所提取信息自动生成描述系统故障传播行为的SPN模型;在此基础上,通过蒙特卡洛仿真完成该横侧向电传飞控系统的可靠性评估。经与故障树分析方法对比,结果表明:最大相对误差小于0.018%,满足工程需要;所构建的可靠性模型由AADL模型自动生成,能够确保可靠性模型与设计模型的一致性,避免了对设计人员经验的依赖。 展开更多

关键词 系统可靠性 基于模型的设计 架构分析设计语言(aadl) 随机Petri网(SPN) 飞行控制系统

在线阅读 下载PDF 职称材料

基于AADL的综合模块化航空电子通信调度分析与建模 被引量：2

3

作者 孙毅刚 李浩 +1 位作者 赵珍 樊智勇 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第4期497-507,共11页

针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics,IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言... 针对具有最终配置信息的综合模块化航空电子(Integtated modular avionics,IMA)系统的通信调度问题,分析了IMA系统网络中通信调度流的产生、特性以及表示方式,并通过实例分析通信调度的生成表示过程。在此基础上,基于架构分析与设计语言(Architecture analysis and design language,AADL),对实例中的通信流进行建模,并进行实例化,得到端口连接一致性检测报告,验证了文中通信流模型的可行性和有效性。 展开更多

关键词 综合模块化航空电子 通信调度 通信流 架构分析与设计语言

在线阅读 下载PDF 职称材料

基于MDA的C^4ISR系统分析设计方法 被引量：1

4

作者 张耀鸿 吴旭 罗雪山 《火力与指挥控制》 CSCD 北大核心 2010年第11期29-32,共4页

先进的分析设计方法是提高C4ISR系统开发质量的有效手段。基于软件领域的MDA思想,提出了基于MDA的C4ISR系统分析设计方法,研究了其开发过程和关键技术。该方法实现以模型为基础的系统开发与优化,通过不同阶段模型的转化演进来推进系统... 先进的分析设计方法是提高C4ISR系统开发质量的有效手段。基于软件领域的MDA思想,提出了基于MDA的C4ISR系统分析设计方法,研究了其开发过程和关键技术。该方法实现以模型为基础的系统开发与优化,通过不同阶段模型的转化演进来推进系统的分析设计,有利于提高系统的设计质量,并支持模型重用。 展开更多

关键词 C4ISR系统 分析设计 模型驱动架构 系统建模语言

在线阅读 下载PDF 职称材料

基于时间自动机的AADL端到端流的延迟分析 被引量：1

5

作者 连小利 张莉 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第8期1451-1463,共13页

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流... 对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议. 展开更多

关键词 体系结构分析与设计语言(aadl) 实时性 延迟分析 端到端流 时间自动机

在线阅读 下载PDF 职称材料

基于AADL的RDC架构建模与关键特性仿真 被引量：1

6

作者 朱国锋 于乐 吉沛琦 《航空电子技术》 2019年第2期25-31,共7页

随着系统工程的发展,基于模型驱动的开发与设计方法在复杂系统软硬件设计中扮演了越来越重要的角色.对于航空电子这一涉及多学科、资源受限的强实时性混杂物理信息系统,通过在设计初期进行建模仿真验证,能够有效降低潜在的设计风险。针... 随着系统工程的发展,基于模型驱动的开发与设计方法在复杂系统软硬件设计中扮演了越来越重要的角色.对于航空电子这一涉及多学科、资源受限的强实时性混杂物理信息系统,通过在设计初期进行建模仿真验证,能够有效降低潜在的设计风险。针对远程数据集中器(RDC),通过结构分析与设计语言(AADL)建立其架构模型,并对调度性和流延迟等关键特性进行仿真分析与评估,从而支持设计方案的验证与优化,该方法具有较高的使用价值和指导意义。 展开更多

关键词 建模技术 远程数据集中器(RDC) 结构分析与设计语言(aadl) 调度性 流延迟

在线阅读 下载PDF 职称材料

模型驱动的开放式结构悬挂物管理系统设计方法 被引量：4

7

作者 冯金富 刘安 +1 位作者 左伟 梁晓龙 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2010年第4期1-5,共5页

开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了... 开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了基于UML Profile的UML模型到AADL模型的转换方法,最后,以一个设计实例描述了该方法的设计过程。结果表明:基于模型驱动的开发方法为开放式结构悬挂物管理系统的设计提供了有效的解决方案,实现了系统设计与平台实现的分离。 展开更多

关键词 模型驱动架构 开放式结构 统一建模语言 UML扩展机制 体系结构分析与设计语言

在线阅读 下载PDF 职称材料

AADL2ECPN模型转换方法及其在IMA上的应用 被引量：4

8

作者 刘畅 谷涛 +2 位作者 周庆 王世海 李泽林 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第9期1884-1891,共8页

在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,... 在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。 展开更多

关键词 架构分析和设计语言(aadl) 着色Petri网(CPN) 资源分配 综合模块化航空电子(IMA) 模型转换

在线阅读 下载PDF 职称材料

IMA系统管理功能的逻辑建模及性能分析 被引量：2

9

作者 肖寅 吴捷 屈国栋 《航空电子技术》 2015年第4期29-32,54,共5页

为保证IMA系统管理设计的正确性、高可靠性和实时性,本文使用AADL对IMA系统管理进行建模,通过对模型功能和性能的正确性分析,并在模型的基础上进行分析验证,从而保证了IMA系统管理设计的正确性,降低了设计风险。

关键词 分布式模块化综合航电(IMA) 系统管理 体系结构分析与设计语言(aadl)

在线阅读 下载PDF 职称材料

Arcadia建模方法与SysML建模方法比较研究 被引量：5

10

作者 鞠文煜 付昕 《民用飞机设计与研究》 2018年第3期92-96,共5页

基于模型的系统工程与传统系统工程相比,有着形象化、具体化、沟通效率高等多种优势。基于系统建模(System Modeling Language,简称SysML)语言进行建模用途广泛,但是通过实践,针对系统架构和系统运行场景分析,基于Sys ML的建模方法特点... 基于模型的系统工程与传统系统工程相比,有着形象化、具体化、沟通效率高等多种优势。基于系统建模(System Modeling Language,简称SysML)语言进行建模用途广泛,但是通过实践,针对系统架构和系统运行场景分析,基于Sys ML的建模方法特点并不突出。而Arcadia的基于模型系统工程建模有着简单、清晰等特点,对于系统架构和系统定义均有着Sys ML所不具备的特点。通过系统设计的目标与特点,对基于Sys ML的建模方法和Arcadia方法进行比较研究和实践,总结两种方法在基于模型的系统工程领域中的优劣。 展开更多

关键词 基于模型的系统工程 系统架构设计 系统运行理念分析 系统建模语言 系统建模方法

在线阅读 下载PDF 职称材料

基于数据流的SoC性能建模方法及实现 被引量：1

11

作者 孟昕 沈海斌 严晓浪 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第2期314-322,共9页

针对传统基于模块描述建模方法在性能估算和验证的精确性、灵活性和设计迭代方面的不足,围绕资源分配、性能参数标注和仲裁算法指定等,提出基于事务数据流的系统芯片(SoC)性能建模方法.该方法通过加入Sys-temC的时序控制机制的TDFLib的... 针对传统基于模块描述建模方法在性能估算和验证的精确性、灵活性和设计迭代方面的不足,围绕资源分配、性能参数标注和仲裁算法指定等,提出基于事务数据流的系统芯片(SoC)性能建模方法.该方法通过加入Sys-temC的时序控制机制的TDFLib的C++泛型库,以及描述SoC系统模型的性能建模语言(PML)的域特定语言来实现.PML源文件可生成包含TDFLib调用的C++代码,再经过编译并与可复用仿真程序框架链接得到可执行的系统性能分析模型.该模型在SystemC内核控制下进行周期精确的仿真,运行结果保存在MySQL数据库中.结果表明该性能建模方法能够提高架构设计与分析的效率. 展开更多

关键词 集成电路 事务数据流 性能分析建模 设计空间探查 架构设计 域特定语言

在线阅读 下载PDF 职称材料