期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
AADL测试模型的构造研究 被引量:2
1
作者 马春燕 董云卫 +1 位作者 朱宇峰 陆伟 《西北工业大学学报》 EI CAS CSCD 北大核心 2010年第6期968-973,共6页
目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式... 目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果。 展开更多
关键词 aadl aadl设计模型 aadl测试模型
在线阅读 下载PDF
用AADL的即插即用武器管理系统建模研究 被引量:1
2
作者 刘安 冯金富 +2 位作者 杨啸天 梁晓龙 胡杰 《电光与控制》 北大核心 2010年第2期55-58,67,共5页
分析了即插即用武器系统,采用AADL对其进行建模,以武器管理计算机系统为例对分系统建模进行了描述。结合AADL建模的特点,详细研究了任务数据交换的格式和结构、周期性任务调度算法、非周期性任务调度算法及基于服务器的混合任务调度算... 分析了即插即用武器系统,采用AADL对其进行建模,以武器管理计算机系统为例对分系统建模进行了描述。结合AADL建模的特点,详细研究了任务数据交换的格式和结构、周期性任务调度算法、非周期性任务调度算法及基于服务器的混合任务调度算法。采用OSATE软件对系统进行了建模和分析。结果表明:该方案能很好地对即插即用武器系统进行建模。 展开更多
关键词 即插即用武器系统 体系结构分析和设计语言 任务数据交换格式 实时调度算法
在线阅读 下载PDF
一种基于AADL错误模型的软件安全性分析技术研究 被引量:2
3
作者 成静 朱怡安 +3 位作者 屈华敏 罗文波 江叶春 张涛 《西北工业大学学报》 EI CAS CSCD 北大核心 2014年第6期1007-1010,共4页
针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率... 针对软件安全性问题,提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型,计算组件处于不同危害级别状态概率,分析组件安全性。并且进一步,根据AADL错误模型组合实现定义,由其内部组件安全状态概率计算分析软件系统的安全性,避免状态爆炸问题。最后,以飞控系统软件为例,对算法进行实例验证。 展开更多
关键词 aadl模型 错误模型 软件安全性 马尔科夫链
在线阅读 下载PDF
基于时间自动机的嵌入式系统AADL模型可调度性验证 被引量:2
4
作者 李静 沈宁敏 +1 位作者 白海洋 周培云 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2015年第6期1032-1037,共6页
采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了A... 采用时间自动机形式化模型检验方法建立了结构分析与设计语言(AADL)调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换与验证.首先,设计了周期、非周期的线程时间自动机模板及抢占、非可抢占的调度器时间自动机模板,建立了AADL调度模型到时间自动机模型的语义映射法则.然后,设计了自动化模型转换插件,并将其集成到OSATE建模工具中,实现了建模、转换、验证的集成开发环境.最后,利用UPPAAL工具对时间自动机模型进行模拟与验证.仿真实验结果表明,所建立的模型转换方法能够有效、实时地将AADL模型转换为时间自动机模型,并可在UPPAAL中分析原模型的可调度性. 展开更多
关键词 结构分析与设计语言 时间自动机模型 可调度性 仿真验证
在线阅读 下载PDF
基于时间自动机的AADL端到端流的延迟分析 被引量:1
5
作者 连小利 张莉 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第8期1451-1463,共13页
对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流... 对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议. 展开更多
关键词 体系结构分析与设计语言(aadl) 实时性 延迟分析 端到端流 时间自动机
在线阅读 下载PDF
基于AADL的分布式综合模块化航电系统架构建模与分析 被引量:5
6
作者 邢亮 《电光与控制》 CSCD 北大核心 2020年第2期64-69,97,共7页
针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的... 针对分布式综合模块化航空电子(DIMA)系统设计的早期验证问题,分析了架构分析与设计语言(AADL)和DIMA架构特征,以项目架构设计实例为输入,对DIMA系统进行了架构和模块间通信建模。在此基础上,对实例中的处理器资源利用率、分区/任务的可调度性进行了分析,对模块间通信进行了模拟,验证了架构设计实例的可行性。 展开更多
关键词 分布式综合模块化航空电子 架构分析与设计语言 可调度性 架构设计
在线阅读 下载PDF
AADL2ECPN模型转换方法及其在IMA上的应用 被引量:4
7
作者 刘畅 谷涛 +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
基于AADL的RDC架构建模与关键特性仿真 被引量:1
8
作者 朱国锋 于乐 吉沛琦 《航空电子技术》 2019年第2期25-31,共7页
随着系统工程的发展,基于模型驱动的开发与设计方法在复杂系统软硬件设计中扮演了越来越重要的角色.对于航空电子这一涉及多学科、资源受限的强实时性混杂物理信息系统,通过在设计初期进行建模仿真验证,能够有效降低潜在的设计风险。针... 随着系统工程的发展,基于模型驱动的开发与设计方法在复杂系统软硬件设计中扮演了越来越重要的角色.对于航空电子这一涉及多学科、资源受限的强实时性混杂物理信息系统,通过在设计初期进行建模仿真验证,能够有效降低潜在的设计风险。针对远程数据集中器(RDC),通过结构分析与设计语言(AADL)建立其架构模型,并对调度性和流延迟等关键特性进行仿真分析与评估,从而支持设计方案的验证与优化,该方法具有较高的使用价值和指导意义。 展开更多
关键词 建模技术 远程数据集中器(RDC) 结构分析与设计语言(aadl) 调度性 流延迟
在线阅读 下载PDF
一种基于AADL的航空电子系统仿真和验证技术 被引量:1
9
作者 李铁颖 王科翔 戴苏榕 《航空电子技术》 2019年第4期23-28,共6页
飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航... 飞机系统集成化程度的提高增加了对航空电子系统设计和分析的难度,同时也对安全性需求等系统特性的验证提出了更高的技术要求。对基于结构化分析和设计语言(AADL)的系统建模和仿真流程及相应的评估分析能力进行了介绍,并在基于AADL的航空电子系统建模框架下,提出基于AADL的航空电子系统仿真评估和验证方法,利用结构化分析和设计语言AADL构建航空电子系统典型子系统的正常模型和错误模型,并以此建立系统的扩展模型。在此基础上,利用形式化方法对系统模型进行描述并转化为Kripke结构。最后对系统模型进行模型仿真和特性验证,验证所构建的系统架构和设计逻辑是否符合系统设计特性需求。 展开更多
关键词 基于模型的系统评估 结构化分析和设计语言 形式化方法
在线阅读 下载PDF
AADL流模型与实时演算模型的转换方法研究
10
作者 唐家强 王星皓 +1 位作者 安品臣 胡宾洋 《无线互联科技》 2020年第4期125-126,共2页
在分布式综合航空电子信息流时延分析的过程中,时间触发(TT)流量可以直接在体系结构分析与设计语言的流时延分析框架下进行分析,而对速率约束(RC)流量的分析必须借助其他专用的分析模型,即实时演算(RTC)模型。因此,必须实现基于模型意... 在分布式综合航空电子信息流时延分析的过程中,时间触发(TT)流量可以直接在体系结构分析与设计语言的流时延分析框架下进行分析,而对速率约束(RC)流量的分析必须借助其他专用的分析模型,即实时演算(RTC)模型。因此,必须实现基于模型意义一致性的从AADL模型向RTC模型的转换,并且使转换后的模型可以利用RTC分析工具快速获取必要的时延参数,文章对此进行了研究。 展开更多
关键词 综合模块化航电 信息流 建模 体系结构分析和设计语言
在线阅读 下载PDF
面向国产机载操作系统的IMA软件代码生成方法
11
作者 凌仕翔 杨志斌 +1 位作者 郭鹏 周勇 《航空计算技术》 2024年第4期84-88,93,共6页
随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首... 随着航空电子系统复杂化的发展趋势及自主可控的要求,对这类复杂系统建模后如何自动生成面向国产机载操作系统的软件代码并验证模型/代码语义一致性具有重要研究意义。文章提出面向国产机载操作系统的航空电子软件代码自动生成方法。首先,使用AADL对综合化航空电子系统进行建模,设计AADL模型到源代码的转换规则,自动生成面向国产机载操作系统的平台相关代码及配置文件;其次,通过AGREE Annex和BLESS Annex契约对AADL模型进行形式化验证,并提出契约到C语言验证代码的转换规则,将验证代码与模型生成的源代码进行结合,部署在国产机载操作系统上进行仿真执行;最后,基于AADL开源建模环境OSATE设计并实现了代码自动生成工具,实验结果验证了方法和工具的有效性。 展开更多
关键词 综合模块化航空电子系统 国产机载操作系统 aadl 代码生成 模型/代码语义一致性
在线阅读 下载PDF
综合模块化航空电子系统可靠性评估方法研究 被引量:13
12
作者 王鹏 刘锐 +1 位作者 刘万和 阎芳 《电光与控制》 北大核心 2015年第10期56-61,共6页
综合模块化航空电子(IMA)系统采用资源共享的系统架构,在提供更加复杂强大的航电功能的同时也带来了更复杂的故障增殖模式,针对此问题提出了基于AADL和GSPN的可靠性评估方法。首先采用AADL语言对系统的架构及故障信息进行描述,建立其AAD... 综合模块化航空电子(IMA)系统采用资源共享的系统架构,在提供更加复杂强大的航电功能的同时也带来了更复杂的故障增殖模式,针对此问题提出了基于AADL和GSPN的可靠性评估方法。首先采用AADL语言对系统的架构及故障信息进行描述,建立其AADL可靠性模型,为了进一步分析其故障动态行为,研究了AADL可靠性模型向GSPN模型转化规则,通过对GSPN模型的分析来评估IMA系统可靠性。最后以IMA系统显示功能为例进行了可靠性评估,验证了该方法的有效性,并且通过实验对比的方式给出了显示功能架构的选择建议。 展开更多
关键词 综合模块化航空电子 体系结构分析及设计语言 广义随机PETRI网 可靠性
在线阅读 下载PDF
模型驱动的开放式结构悬挂物管理系统设计方法 被引量:4
13
作者 冯金富 刘安 +1 位作者 左伟 梁晓龙 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2010年第4期1-5,共5页
开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了... 开放式结构悬挂物管理系统是机载悬挂物管理系统的发展方向,可以将武器的设计与具体实现相分离,实现武器集成的松耦合。提出基于模型驱动的开放式结构悬挂物管理系统设计方法,采用UML设计平台无关模型,采用AADL设计平台相关模型,论述了基于UML Profile的UML模型到AADL模型的转换方法,最后,以一个设计实例描述了该方法的设计过程。结果表明:基于模型驱动的开发方法为开放式结构悬挂物管理系统的设计提供了有效的解决方案,实现了系统设计与平台实现的分离。 展开更多
关键词 模型驱动架构 开放式结构 统一建模语言 UML扩展机制 体系结构分析与设计语言
在线阅读 下载PDF
航空电子互连网络的顶层设计架构与实现平台 被引量:3
14
作者 王昊天 李峭 熊华钢 《电讯技术》 北大核心 2010年第3期1-5,共5页
提出一种顶层设计架构,采取数据驱动的方式,自顶向下、逐步完成针对航空电子互连网络的设计。基于这种架构,给出一种使用SAEAADL规范的实现平台,该平台为航空电子互连网络动态地生成最终的解决方案,并且统一管理仿真、归档和测试。具体... 提出一种顶层设计架构,采取数据驱动的方式,自顶向下、逐步完成针对航空电子互连网络的设计。基于这种架构,给出一种使用SAEAADL规范的实现平台,该平台为航空电子互连网络动态地生成最终的解决方案,并且统一管理仿真、归档和测试。具体的工程实践表明,提出的架构可以提高航空电子互连网络设计的效率,从而降低系统设计的全生命周期成本。 展开更多
关键词 航空电子 互连网络 顶层设计 体系结构分析与设计语言
在线阅读 下载PDF
基于MDA的C^4ISR系统分析设计方法 被引量:1
15
作者 张耀鸿 吴旭 罗雪山 《火力与指挥控制》 CSCD 北大核心 2010年第11期29-32,共4页
先进的分析设计方法是提高C4ISR系统开发质量的有效手段。基于软件领域的MDA思想,提出了基于MDA的C4ISR系统分析设计方法,研究了其开发过程和关键技术。该方法实现以模型为基础的系统开发与优化,通过不同阶段模型的转化演进来推进系统... 先进的分析设计方法是提高C4ISR系统开发质量的有效手段。基于软件领域的MDA思想,提出了基于MDA的C4ISR系统分析设计方法,研究了其开发过程和关键技术。该方法实现以模型为基础的系统开发与优化,通过不同阶段模型的转化演进来推进系统的分析设计,有利于提高系统的设计质量,并支持模型重用。 展开更多
关键词 C4ISR系统 分析设计 模型驱动架构 系统建模语言
在线阅读 下载PDF
基于数据流的SoC性能建模方法及实现 被引量:1
16
作者 孟昕 沈海斌 严晓浪 《浙江大学学报(工学版)》 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
IMA系统管理功能的逻辑建模及性能分析 被引量:2
17
作者 肖寅 吴捷 屈国栋 《航空电子技术》 2015年第4期29-32,54,共5页
为保证IMA系统管理设计的正确性、高可靠性和实时性,本文使用AADL对IMA系统管理进行建模,通过对模型功能和性能的正确性分析,并在模型的基础上进行分析验证,从而保证了IMA系统管理设计的正确性,降低了设计风险。
关键词 分布式模块化综合航电(IMA) 系统管理 体系结构分析与设计语言(aadl)
在线阅读 下载PDF
Business Process Dynamic Reengineering Technology Based on Mode
18
作者 Ming Ding Shuling Zhang Chen Zhang 《Journal of Beijing Institute of Technology》 EI CAS 2019年第2期344-355,共12页
To ensure the efficiency and quality of complex business process design,a mode-based dynamic business process reengineering approach is proposed in this paper.Firstly,the composition of business process is divided int... To ensure the efficiency and quality of complex business process design,a mode-based dynamic business process reengineering approach is proposed in this paper.Firstly,the composition of business process is divided into five levels.Business process modes from three levels of mission,content and resource are defined,and the transition relationships between modes are given.Secondly,the architecture model of business process is defined based on the architecture analysis and design language(AADL).The dynamic reengineering framework and implementation procedure are designed.Finally,the AADL architecture models are analyzed and verified to evaluate the business process performance,and a blueprint for reengineering is formulated.Under the guidance of the blueprint,the detailed design and development of attributes such as business processes,activities,resources and cost are completed.Case studies are presented to validate that the mode analysis and dynamic reengineering approach based on the AADL architecture is able to improve the efficiency,reliability and reusability of business process design. 展开更多
关键词 BUSINESS process MODE architecture analysis and design language DYNAMIC REENGINEERING
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部