Polyspace 轨道交通行业的应用

来自系列: 面向轨道交通行业的 MATLAB/Simulink 系列视频 —— 基础篇

对嵌入式软件的高质量要求和高的功能安全要求，在轨道交通行业嵌入式软件开发中非常普遍。Polyspace® 提供了静态测试以及形式化验证的能力，可以为嵌入式软件的质量提升、功能安全的保证提供支持。本视频向您介绍 Polyspace 的基本能力，以及当进行团队协作以及自动化流程构建时，Polyspace 提供的功能特性。

出版年份: 2021 年 9 月 8 日

了解更多

Polyspace Code Prover 证明软件中不存在运行时错误
Polyspace Bug Finder 运用静态分析找出软件 Bug
相关信息
Polyspace 让关键代码安全无虞

反馈

相关视频:

内容摘要： 嵌入式软件开发特别是安全关键系统对代码质量有很高的要求，潜在的运行期错误可能会带来巨大的损失。MathWorks公司的Polyspace产品是采用静态分析和形式化方法进行C/C++及Ada代码错误检查和运行期错误证明的工具。Polyspace产品可以快速有效的找到软件代码中的错误及潜在的运行期错误，从而提高软件代码的质量和可靠性。 在本次讲座中，我们将介绍： Polyspace产品

使用Polyspace进行软件代码错误检查和运行时错误证明

随着汽车电子的快速发展，汽车嵌入式软件的规模日益膨大，如何保证软件的正确无误和提高开发效率一直是各大公司的共同课题。本演讲主要介绍京滨公司在整个软件开发过程中，如何利用Polyspace进行代码验证，找到隐藏的BUG，从而减低纠错的代价。

Polyspace在软件代码验证中的应用

采用Polyspace检测软件运行时缺陷并证明软件的安全性。

采用静态代码分析软件Polyspace开发高质量嵌入式软件

Set up a Polyspace project automatically from your build configuration using the Polyspace configure feature.

Set Up Polyspace Projects from Your Build System

Quickly create a project using Polyspace Bug Finder to find defects, and then import the project into Polyspace Code Prover to perform detailed code verification.

Setting Up Polyspace Projects

查看更多相关视频