Univ. of Cantabria, Santander;
embedded systems; specification languages; AADL simulation tool; SystemC; architecture description; design methodologies; hardware architecture; model based engineering; performance analysis; real-time mission-critical embedded systems; refinement process; simulation semantics; software architecture; AADL; AADS; POSIX.; SCoPE; Simulation;
机译:基于AADL模型的航空电子分析与仿真研究
机译:基于AADL性能分析的嵌入式系统架构优化与设计
机译:用于AADL性能分析的Ada设计模式识别工具
机译:Systemc中的AADL仿真与性能分析
机译:使用SystemC / SystemC-AMS和跨层协同仿真工具的混合信号SoC的系统/体系结构级设计和建模。
机译:分析SystemC设计:适用于各种应用的SystemC分析方法
机译:用于aadl性能分析的ada设计模式识别工具