aerospace control; avionics; formal specification; multiprocessing systems; public domain software; MATLAB; ROSACE case study; SIMULINK; baseline flight controller; many-core execution; multicore execution; multiperiodic configuration; multiperiodic controller; open-source license; research open-source avionics and control engineering; simulink specification; Aerospace control; Aerospace electronics; Aircraft; Atmospheric modeling; Clocks; Real-time systems; Software packages;
机译:将分层Simulink应用程序转换为实时多核执行
机译:使用模型驱动的工具链为面向组件的规范生成执行基础结构:MARTE GCM和实时注释的案例研究
机译:评估多CPU,多核和多核系统的性能和能耗:MMP图像编码器案例研究
机译:ROSACE案例研究:从Simulink规范到多/多核执行
机译:道路安全研究中多元模型方程的规范和诊断。
机译:吞咽困难患者执行和吞咽影像的血流动力学信号变化:多个单例近红外光谱研究
机译:ROSACE案例研究:从Simulink规范到多/多核执行