applying model-凯发k8网页登录

第1天 (共5天)

关于 iso 26262 和基于模型的设计的概述

目标: 概要了解 iso 26262 及其在汽车行业中的作用。讨论 mathworks 在此标准中的参与和支持程度。

• iso 26262 标准
• 要求的安全级别
• 工具置信水平
• 参考工作流
• mathworks 工具认证
• iec certification kit

创建模型

目标: 创建一个 simulink 模型，并定义其采样时间和数据类型。

• simulink 环境简介
• 系统输入输出
• 离散信号和状态
• 仿真和结果分析
• 仿真数据检查器

多速率模型执行

目标: 对单速率和多速率模型进行仿真。数据传输注意事项。

• simulink 求解器概述
• 模块执行
• 单速率系统建模
• 多速率离散系统
• 速率转换
• 数据完整性和数据确定性注意事项

建模标准

目标: 探索如何建立和执行建模标准，检查常见的建模错误，优化建模性能。

• 建模标准
• 模型顾问
• 结果报告

第2天 (共5天)

需求链接

目标: 将 simulink 模型与系统要求链接起来。

• 识别和书写高级别需求
• 书写需求
• 创建需求集
• 导入需求
• 需求链接

系统架构建模

目标: 介绍用于系统架构工作流的 system composer。

• 介绍 system composer
• 创建架构元素
• 定义每种类型元素的原型
• 分析架构
• 组件接口
• 总线对象
• 数据字典
• 创建架构试图
• 链接 simulink 模型

组件架构

目标: 探讨各种 simulink 模型架构划分方法的优缺点。

• 系统组件的考虑
• 虚拟子系统
• 原子子系统
• 模型引用
• 子系统和模型引用
• 模型引用工作流程
• 模型引用仿真模式
• 模型工作空间
• 库
• 创建并填充库
• 管理库链接
• 组件变体

第3天 (共5天)

工程管理

目标: 讨论如何有效地组织工程（包括模型，数据，文档等），执行配置管理任务。

• 工程建立
• 文件依赖性和影响工程引用
• 版本控制工具集成
• 文件版本比较

开发测试用例

目标: 创建基于时序和基于逻辑的 simulink 模型测试用例。

• 验证的类型
• 定义测试用例
• 生成测试框架
• 创建和导入测试输入
• 在测试中使用逻辑

建立测试套件

目标: 创建可重复性测试分组，自动生成测试结果报告。

• 创建测试文件
• 讨论仿真、基线和等效性测试
• 执行基于需求的评估
• 计算模型覆盖率
• 使用自动测试用例生成来增加覆盖率
• 查看和记录测试结果

第4天 (共5天)

代码生成和自定义

目标: 使用优化和自定义选项为嵌入式代码生成配置 simulink 模型，并有效地解释生成的代码。

• 嵌入式应用的架构
• 生成代码
• 修改函数原型
• 可重用函数的接口
• 设置信号的存储类
• 使用数据对象控制存储类
• 创建可重配置的数据类型
• 数据字典

自定义生成代码架构

目标: 使用子系统、模型引用和总线控制生成代码的架构。

• 创建可重用的模型引用
• 控制总线信号的数据类型
• 生成可重用的子系统代码
• 生成变体组件代码

软件测试和分析

目标: 使用模型引用和顶层模型的在环测试方法进行软件测试和验证

• 生成代码的软件在环测试
• 剖析生成的代码
• 模型引用软件测试
• 硬件支持概述
• arduino 的搭建
• 在目标上验证生成的代码

第5天 (共5天)

软件开发最佳做法

目标: 对生成的代码执行静态分析以确保代码符合 misra c:2012。

• 使用 polyspace bug finder 进行代码验证
• 软件 misra c:2012 合规性
• 分析代码指标

报告

目标: 介绍从 simulink 模型自动创建报告以及文档的方法。

• 网页视图
• 标准报告

iec certification kit

目标: 使用适用于 iso 26262 的 iec certification kit 来验证 mathworks 工具以满足 iso 26262 标准

• 工具验证
• 适用于 iso 26262 的 iec certification kit