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

内容摘要：

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

在本次讲座中，我们将介绍：

1. Polyspace产品的基本功能
2. Polyspace产品的使用技巧
3. 使用Polyspace追踪代码质量并生成检查报告
4. DO-178B/C, ISO26262, EN50128等标准认证

受益听众：

航空航天、汽车、医疗器械等领域工作的算法工程师、软件工程师、测试工程师、质量工程师及相关技术人员

主讲人简介：

李春彦，PhD, MathWorks中国应用工程师，控制理论与控制工程博士，专注于控制系统设计的行业应用。