体系结构分析和设计语言相关论文
体系结构分析和设计语言AADL能够在架构级对系统进行建模，并通过一系列验证尽早发现系统设计中的问题，在航空航天等嵌入式系统中具有......
随着嵌入式系统规模、复杂度和性能需求的提升，嵌入式系统开发的重点从代码级提前到模型级；体系结构分析和设计语言AADL能够在模型级......
分析了即插即用武器系统，采用AADL对其进行建模，以武器管理计算机系统为例对分系统建模进行了描述。结合AADL建模的特点，详细研究了任......
在分布式综合航空电子信息流时延分析的过程中,时间触发(TT)流量可以直接在体系结构分析与设计语言的流时延分析框架下进行分析,而......
综合模块化航空电子系统(Integrated Modular Avionics,IMA)作为未来大型客机航空电子系统发展的重要方向,其广泛采用了资源共享的......
