自动驾驶开发中的MATLAB语言应用及其符合功能安全要求的最佳实践.pdfVIP

自动驾驶开发中的MATLAB语言应用 及其符合功能安全要求的最佳实践 徐天皓 MathWorks中国区高级技术咨询顾问 简介 • 我们已经知道Simulink和Stateflow适合为ISO 26262 QM到ASIL-D的应 用程序生成代码 • MATLAB 已经逐渐被用于设计AD/ADAS 的算法原型 • 适用于矩阵，图像处理，深度学习的编程语言 • 大量的专业算法函数：包括传感器融合，统计和机器学习，图形处理、自动 驾驶，深度学习等工具箱 • 丰富的支持代码生成的语言功能 • MATLAB语言也可以无缝集成到敏捷工作流工具中 1 MATLAB语言与自动驾驶 我们可以从MATLAB生成可通过认证的代码吗? .c, .h ? 2 Yes! MATLAB和Simulink集成 • MATLAB语言可由MATLAB Function模块 和/或Stateflow调用 • MATLAB运算符 • MATLAB函数 • 我们的IEC认证套件和参考工作流程支持 Simulink/MATLAB代码生成 3 最佳实践 • 我们可以将这些结合起来，并兼得两全其美 + MATLAB语言的丰富性 + Simulink验证工具系列的严格性 + = “我是MATLAB用户，Simulink对我有用吗?” ➔如果您需要提供符合性证明 ➔定义MATLAB算法的数据流、控制流架构 4 MATLAB + Simulink ISO 26262 工作流程 • 我们的ISO验证流程现在支持这种组合语言 • 需求可追溯性 • 设计规范的符合性 • 证明正确的功能 • 证明没有意外功能 • 软件的设计说明 5 需求可追溯性 +Simulink Requirements 支持撰写需求，导入/导出需求、以及将需 s t n 求链接到模型元素、代码及测试用例： e m e r i + 您可以将需求链接到MATLAB函数中的代码行，就像将需求链接到Simulink模块一样。 u q e + 链接到MATLAB代码行中的需求可以生成为注释嵌入到自动代码中 R k n i + MATLAB源代码和用户注释也可以作为注释包括在自动代码内 l u m i S +生成需求追溯性报告以获取证据 6 需求可追溯性样本 7 设计和代码规范 + Simulink Check可以检查是否具有良好的代码 合规性 + 降低复杂度 k + 强化注释密度 c e + MATLAB and Simulink之间的强数据类型 h C + 查找具有混合数据类型的逻辑运算符 k n i l + 实施模型检查以有哪些信誉好的足球投注网站未链接