MathWorks 今日发布 2010b(R2010b) 版 MATLAB 和 Simulink 产品系列。R2010b 还引入了 SimRF，这添加了 RF 接收器基础架构的系统级建模。另外，该版本还更新了包括 Polyspace 代码验证产品在内的 84 种 MathWorks 产品。 MathWorks 今日发布 2010b(R2010b) 版 MATLAB 和 Simulink 产品系列。

AdaCore announces the release of QGen 2.1.0, a qualifiable and customizable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK/Ada source ...