Software development tools; Software reliability; Rapid prototyping; Avionics; Simulation; Systems analysis; Proving; Computers; Operating systems(Computers); Airborne/spaceborne computers; Program verification(Computers); Test stands; Cost effectiveness; Certification; Commercial off-the-shelf products; Lessons learned;
机译:HW-SW仿真框架,用于MPSoC中的温度感知设计
机译:SW / HW采用MATLAB / Simulink和C基高合成的模型的开发自动化SW / HW分离方法
机译:硬件/软件代码签名技术,可动态重配置架构
机译:仿真/仿真技术:通过并行(HW / SW)开发压缩时间表
机译:动态硬件/软件分区:配置计划和设计空间探索。
机译:通过贝叶斯仿真从血液动力学仿真中挖掘数据
机译:仿真/仿真技术:通过并行(HW / SW)开发压缩时间表