AADL相关论文
安全关键系统广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类系统具有高安全、资源受限、实时响应等特点。近年来,......
随着计算技术、通信技术、传感技术和控制技术的快速发展与突破,使信息物理系统（Cyber Physical System,CPS）追求物理世界和计算资源......
在航天、汽车、航空等领域,安全关键系统有很强的实时需求,因此验证数据流的端到端延迟尤其重要。端到端延迟的变化是受到处理时间......
随着一些高科技的进步,无人驾驶技术逐渐成熟,已经成为一种未来趋势。无人驾驶技术的安全性和可靠性非常重要,也一直是汽车研发团......
根据美国国防部赛博安全过程的要求,研究人员提出了基于AADL的跨域信息系统的设计方法。在扩展AADL安全属性集的基础上,实现了数据......
随着安全关键性系统的日益复杂,如何提高安全关键系统的安全性成为急需解决的问题.基于形式化模型的复杂系统设计与分析是一种重要......
随着嵌入式实时应用系统的迅速发展,面对着不断增长的嵌入式软件开发的复杂性压力,如何高效的开发嵌入式应用程序,成为软件工程学......
随着功能需求的不断增加,安全关键系统的设计变得越来越复杂。如何通过建模与验证的方法保证安全关键系统的质量,一直以来都是形式......
安全关键软件广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类软件具有高安全、资源受限、实时响应等特点。基于AAD......
信息物理融合系统(Cyber physical Systems,简称CPS)是软件和硬件设备紧密联系、相互影响相互作用的新一代智能系统。随着自动化、......
使用体系结构分析和设计语言AADL（ Architecture Analysis and Design Language ）对月球车导航系统进行分析与建模，把整个导航系统合......
随着信息物理融合系统CPS(cyber physical system)研究的深入,CPS的安全性问题越来越受到人们的广泛关注,如何验证CPS时空不一致的......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
随着系统复杂性的急剧增加,未来安全关键软件越来越多地采用异构构件组合架构,各种构件可能使用不同的计算模型或实现语言,使得整......
模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建......
形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言(AADL)在软件开发中的作用及其技术现状,介绍了AAD......
UML已经成为复杂系统建模的工业标准，并可借助代码自动生成工具实现从分析到编码的开发过程自动化；AADL具有精确的语义和严格的语法......
构件交互自动机（Component-Interaction Automata，Co-IA）是扩展了构件之间交互描述的自动机。体系结构分析设计语言（Architecture Anal......
针对设计阶段难以对刹车控制系统进行实时性分析验证的问题,提出基于SysML ＆ AADL的实时性需求验证方法。首先论述综合模块化航电系......
结构分析与设计语言（Architecture Analysis and Design Language，AADL）是复杂嵌入式实时系统体系结构建模的语言标准，但是对于嵌入式......
针对设计阶段难以对汽车防滑控制系统进行可调度性分析的问题,利用AADL为该系统建模.根据实时系统中任务调度与线程、计算时间、处......
目前,AADL在任务关键和安全关键嵌入式领域有着良好的应用。如何在设计阶段对AADL模型进行仿真,并根据仿真结果迭代构造和精化设计......
采用架构分析与设计语言（AADL）建立嵌入式系统的半形式化模型,实现从AADL模型到静态故障树（Static Fault Tree,SFT）模型的转换,并根据......
体系结构分析和设计语言AADL能够在架构级对系统进行建模，并通过一系列验证尽早发现系统设计中的问题，在航空航天等嵌入式系统中具有......
鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模......
在嵌入式系统建模领域，AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点，国内外众多学者展开了热烈的讨......
在航天嵌入式设备研制过程中,对于元器件与电路设计的可靠性评估手段已经比较成熟,但其视角有一定局限性,其评估结果无法直接反映......
结构分析设计语言（AADL）可以描述嵌入式系统的实时性、可靠性等关键性能特性，是嵌入式领域的体系结构建模、分析和验证的重要手段。针......
构件式系统是一种采用构件组合技术实现的结构系统，即在采用单个构件封装简单的业务功能基础上，通过集成多个构件逐步构造新的组合构......
AADL已经广泛应用于嵌入式软件体系结构的建模与分析,并且已有开源平台OSATE为AADL提供建模、验证与分析工具。但AADL作为一种半形......
新一代航电系统的高度综合化,模块化,采用分布式结构,实现容错/重构等特点,对可靠性,可验证性提出更高的要求。较为全面的介绍了以......
随着中断控制在嵌入式实时系统中的不断广泛应用，中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言（AA......
DRE系统广泛应用于现实中，它具有分布、实时、嵌入的特点，通常情况下，这类系统上各种资源是有限的，而系统面对的环境却是复杂多变的，面......
提出了一种解决软件容错系统的可靠性评估方法，该方法基于AADL，对嵌入式软件系统进行建模，详细分析了软件系统内部各种构件的各种错误......
鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景，为了在嵌入式软件系统开发前期保证AADL模型......
AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航......
采用SAE AADL语言,建立AFDX网络互连综合化处理任务和通信任务的模型,对通信任务的数据内容、格式、性质进行定义;按照体系结构模......
针对汽车车身控制模块可调度性难以预测分析的问题,利用AADL建立相应模型,通过OSATE工具对比分析不同的派遣协议、执行时间、线程......
随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,......
为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估，实现AADL模型到广义随机Petri网模型（GSPN）可靠性计算模型的自动转......
信息物理融合系统CPS(Cyber Physical System)的建模需要融合离散计算实体与连续物理实体,而传统的建模方法却是分别对两者进行建......
随着AADL在基于模型驱动的复杂系统开发中的广泛应用,AADL模型的形式化转换已经成为研究热点。本文基于AADL执行模型的数据通信的......
通过研究AADL的模型和Fiacre的模型特征,探讨了从AADL执行模型到Fiacre模型转换问题。首先基于AMMA平台建立AADL执行模型到FIACRE......
为了实现AADL（体系结构分析与设计语言）行为模型验证,基于行为附件的文法结构及行为描述方式,提出了AADL行为模型与BIP行为模型之间......
分析无人机导航系统的功能特点，把其分为三个子系统：测量系统、计算系统、执行系统。采用AADL对整个系统进行建模，使用OSATE工具，定义......
