Polyspace代码静态分析保障嵌入式软件可靠性
MathWorks 中国 胡乐华
在嵌入式系统开发中，软件质量直接决定产品安全性与市场成败，而软件的可靠性通常是产品质量的核心需求。
尽管开发者通过编码规范、流程优化、功能测试及覆盖率提升等手段持续改进，传统方法仍面临缺陷发现滞后、合规验证不充分，隐秘问题逃逸等问题，导致软件可靠性不足，也难以满足相关功能安全要求。
本次演讲将详细介绍，嵌入式软件可靠性当前的主流做法，这种做法面临的问题。并提出静态分析的方法和形式化的证明的解决方案。通过 合规性验证、缺陷和漏洞扫描以及完备的形式化证明，构成三维一体的质量和可靠性防线。演讲还将介绍，如何将解决方案融入到嵌入式软件的开发流程中。
活动地点：北京
出版年份: 2025 年 6 月 27 日
