aerospace computing; aircraft control; C language; control engineering computing; embedded systems; program compilers; software engineering;
机译:使用Polychrony的AADL中嵌入式软件体系结构的定时行为建模和仿射调度
机译:使用AADL的嵌入式系统工程:建模与分析
机译:基于AADL性能分析的嵌入式系统架构优化与设计
机译:嵌入式系统软件设计中AADL和州流模型的应用研究
机译:硬件/软件嵌入式系统的设计和开发过程:示例系统和教程。
机译:Design Space Toolbox V2:自动化软件为自然和合成生物系统启用新型表型为中心的建模策略
机译:SAE架构分析与设计语言(AADL)标准的概述:基于模型的架构驱动嵌入式系统工程的基础
机译:基于模型的嵌入式系统软件工程图和语言:UmL和aaDL。