process model; model-based design; real-time software architecture; auto-code generation;
机译:复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型,多种形式主义规范和通过共模验证的方法
机译:从抽象的SystemC规范走向自适应系统的自动化实现:从SystemC自适应过程到嵌入式软件,再到可综合的硬件描述
机译:具有边界元快速多极方法的TMS电场建模的软件工具包:高效的MATLAB实现
机译:嵌入式实时软件领域的图形规范有效实现的过程模型
机译:使用国际标准识别,规范和测量分配给实时嵌入式软件的系统非功能性要求
机译:用于高场MRI期间电生理采集和实时处理的开源硬件和软件系统
机译:从高级规范到并行嵌入式实时系统的软件实现