验证功能更加完善，小到快速查找缺陷大到验证嵌入式软件的高完整性
中国北京 – 2013 年 9 月10日– MathWorks 近日宣布引入两款新的代码验证工具以扩充其 Polyspace 产品系列：Polyspace Code Prover 和 Polyspace Bug Finder。此外，公司还于同时宣布推出 2013b 版。新增的这两款产品提供了端到端软件验证功能，供早期开发阶段使用，其中涵盖了查找缺陷、检查代码规则以及证明不存在运行时错误。由此便可确保嵌入式软件的稳健性，使其能够以最高级别的质量和安全性运行。
Polyspace Code Prover 是一款基于形式化方法的验证工具，用于证明代码的正确性。负责代码安全和认证的工程师可以使用 Polyspace Code Prover 来确定何处会发生或不会发生运行时错误。颜色编码和基于证明的结果简化了验证任务，使得软件开发流程更加高效和优质。此外，Polyspace Code Prover 还利用 MATLAB 平台，使用户可以访问强大的 MATLAB 功能，例如稳健的计算机集群间工作分配、自动化脚本编写、结果可视化以及认证报告生成。Polyspace Code Prover 融入了先前在 Polyspace Client for C/C++ 和 Polyspace Server for C/C++ 中提供的功能。
Polyspace Bug Finder可识别嵌入式软件中的运行时错误、数据流问题以及其他缺陷。Polyspace Bug Finder 可以利用静态分析方法来分析软件控件、数据流以及过程间行为。此软件还能够查找各种缺陷，例如数值、内存以及其他编程错误。与传统的人工审验不同，Polyspace Bug Finder 使工程师可以快速识别、诊断和修复代码缺陷，从而简化开发流程。此工具不仅可检查是否符合代码规则标准（例如 MISRA 和 JSF++、自定义规则），而且能够生成衡量代码质量和复杂度的指标。与 Polyspace Code Prover 一样，Polyspace Bug Finder 可利用 MATLAB 平台进行工作分配、脚本编写和结果可视化。这两款产品都与 Simulink 集成在一起以便用于自动生成代码。
MathWorks 公司的设计自动化营销总监 Paul Barnard 说：“Polyspace 产品系列可提供全面的代码验证解决方案，使工程师在整个开发流程中对嵌入式软件的质量和安全性更加充满自信。Polyspace Bug Finder 和 Polyspace Code Prover 将静态分析和形式化方法代码验证技术融于一体，可帮助工程师在开发流程早期找出缺陷，证实其软件的关键环节是安全的，从而加以部署。”
关键字：MathWorks
引用地址：
MathWorks 引入两款 Polyspace 代码验证新产品
推荐阅读最新更新时间：2024-05-02 22:46
MATHWORKS 发布2010B版 MATLAB 和 SIMULINK
MathWorks 今日发布 2010b(R2010b) 版 MATLAB 和 Simulink 产品系列。此版本中扩展的工具和功能集包括： • MATLAB 中的新通信系统设计功能 • 自动化 PID 控制调整 • GigE Vision 硬件标准支持 • 增强的 Simulink 和 Stateflow 支持创建可重用的模型 R2010b 还引入了 SimRF，这添加了 RF 接收器基础架构的系统级建模。另外，该版本还更新了包括 Polyspace 代码验证产品在内的 84 种 MathWorks 产品。 支持高级编程的 MATLAB 更新包括自定义枚举数据类型、64 位整数算术以及一些开发环境增强功
[半导体设计/制造]
AVL 使用 MATHWORKS 工具开发燃烧控制器
MathWorks 今天宣布，从事动力总成系统开发的AVL LIST GmbH 运用基于模型的设计开发出了一种实时燃烧控制器。与手写代码方式相比，AVL 借助 MathWorks 工具大约缩短了 50% 的开发时间。 发动机标定是指对发动机进行控制，使其达到最佳的燃烧工况。传统方法是在试验台架上运转发动机，进行反复试验，这是一个非常缓慢的过程。为了解决这一难题，AVL 开发出一种新型燃烧控制器，可以极大缩短发动机标定团队在试验台架上的测试时间。AVL 采用 Simulink 构建一个系统模型，在仿真环境中对控制器所有运行工况进行验证，并对部分破坏性试验进行测试，以保护实际测试中的发动机。Real-Time Works
[半导体设计/制造]
专访MathWorks射频和混合信号产品经理 Giorgia Zucchelli
日前，MicrowaveJournal专访了MathWorks 射频和混合信号产品经理 Giorgia Zucchelli 您在 MathWorks 的角色和具体专业领域是什么？ 我是射频和混合信号领域的产品经理，我的背景是射频建模。在 MathWorks，我们与世界各地的工程师密切合作，确定并解决现代无线系统、混合信号 IC 和高速数字互连的需求，应对从射频/微波软件和设计到卫星通信再到 5G/6G 等客户挑战。 2. 您在 MathWorks 工作已近 15 年了。是什么吸引您加入 MathWorks？您如何看待公司在这段时间的发展？ 我于 2009 年初加入 MathWorks，因为它具有长远的眼光，它不断
[手机便携]
SCANIA使用MATHWORKS开发出节油型驾驶辅助系统
低效的驾驶技术会增加 10% 的碳排放量和燃油消耗。为解决这一问题，Scania 开发了实时的驾驶员分析系统，向卡车司机提供关于其驾驶技术的即时反馈。为降低开发成本，Scania 工程师使用 MATLAB、Simulink、MATLAB Compiler 和 Real-Time Workshop Embedded Coder 对驾驶辅助系统进行建模和仿真，开发了原型用户界面，并针对原型和产品生成嵌入式目标代码。合成的系统可向驾驶员提供即时反馈。 Scania 的开发工程师 Jonny Andersson 说：“我们通过 Simulink 来试验新的构思，并将这些构思的影响可视化。在生成代码和进行车内测试后，我们运行多次
[工业控制]
丰田与电装将量产工程转移到 MathWorks R2010B 版
中国北京 – 2011 年6 月3 日 – MathWorks 今日宣布，丰田和电装（丰田的主要汽车电子供应商）决定将其大规模汽车产品开发转移到 MathWorks R2010b 版。该版本的 MATLAB 和Simulink 产品系列提高了定点汽车控制系统生成代码的ROM 和 RAM效率，缩减了大规模生产的成本。 本次转移体现了丰田和电装对于使用基于模型设计理念的共同决心，该设计理念融入了嵌入式代码自动生成技术。这两家公司在针对量产的软件开发计划中，都采用了 MathWorks 的建模、仿真和代码生成产品。采用 R2010b 可让丰田和电装的工程师们能够将基于模型的设计应用到现行和未来的汽车生产计划中，将自动生成的定点
[汽车电子]
MathWorks发布MATLAB和Simulink版本2022a
MathWorks发布MATLAB和Simulink版本2022a，包含5款新产品、11项重要更新和数百项新特性 中国 北京，2022年3月15日 —— MathWorks今天宣布，发布MATLAB和Simulink产品系列版本2022a。版本2022a（R2022a）带来数百项MATLAB®和Simulink®特性更新和函数更新，还包含5款新产品和11项重要更新。MATLAB的新功能包括新App和App设计工具函数、图形增强以及自定义实时编辑器任务的功能。Simulink更新让用户能够使用新的封装编辑器简化封装工作流，或使用模型引用局部求解器加速仿真。 R2022a还发布了支持无线和工业通信以及自动驾驶的新产品：
[嵌入式]
AVL 使用 MATHWORKS 工具开发燃烧控制器
MathWorks 近日宣布，从事动力总成系统开发的，全球规模最大的私营公司，AVL LIST GmbH 运用基于模型的设计开发出了一种实时燃烧控制器。与手写代码方式相比，AVL 借助 MathWorks 工具大约缩短了 50% 的开发时间。
发动机标定是指对发动机进行控制，使其达到最佳的燃烧工况。传统方法是在试验台架上运转发动机，进行反复试验，这是一个非常缓慢的过程。为了解决这一难题，AVL 开发出一种新型燃烧控制器，可以极大缩短发动机标定团队在试验台架上的测试时间。AVL 采用 Simulink 构建一个系统模型，在仿真环境中对控制器所有运行工况进行验证，并对部分破坏性试验进行测试，以保护实际测试中的发动机
[汽车电子]
MathWorks推出用于新型3GPP无线电技术开发的5G库
MathWorks 公司今日推出了用于支持无线设计开发的5G库，为即将于2018年3月发布的初版3GPP 5G标准规范做好准备。该5G库提供功能和链路级参考设计，可帮助无线工程师探索3GPP新型无线电技术的行为和性能。借助5G库，无线工程师可以进行仿真，评估 5G 技术，及其对整个5G系统设计的影响。 5G标准将引入先进技术，以推动 移动宽带、机器对机器通信和 车联网等应用的快速创新。5G库有助于无线系统工程师在标准定稿之前探索和应用5G新技术。通过采用该库中 可靠的5G MATLAB算法和38.901信道模型，工程师可以快速评估新的波形和编码方案的性能特性，并开发接收算法。 “在MATLAB中运行仿真的能力使我们能够更好
[网络通信]
Xilinx FPGA数字信号处理权威指南——从HDL到模型和C的描述
嵌入式网络那些事：LwIP协议深度剖析与实战演练
京公网安备 11010802033920号