结构分析与设计语言相关论文
结构分析与设计语言（Architecture Analysis and Design Language，AADL）是复杂嵌入式实时系统体系结构建模的语言标准，但是对于嵌入式......
利用结构分析与设计语言AADL(Architecture Analysis and Design Language)对无线传感器网络进行建模,并对其中一个节点进行了详细......
采用时间自动机形式化模型检验方法建立了结构分析与设计语言（AADL）调度模型的自动机,实现了从AADL模型到时间自动机模型的自动转换......
针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问......
AADL是嵌入式领域对SA进行建模、评估的常用方法,但其属于一种半形式化开发语言,无法直接对SA的可靠性进行验证。为此,提出一种基......
结构分析和设计语言AADL在嵌入式系统领域有着良好的应用。为了保障煤矿安全系统软件的质量,选取甲烷浓度监测报警系统的流延迟问......
为了支持航电系统可靠性分析评估过程的自动化,设计并实现了AADL可靠性分析工具RAT。以用例图说明工具的功能需求,以活动图说明工......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
结构分析与设计语言AADL在工业控制、汽车、航空航天等任务关键和实时领域的嵌入式系统开发中得到了广泛的应用。为在开发早期......
AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性，已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的......
在汽车和飞机等交通工具上安装传感器等设备,导致了新一代移动信息物理融合系统MCPS(Mobile CyberPhysical System)的出现.针对MCP......
