Matlab 2020b 组件信息02：Simulink

lotusloli

前文提到了MATLAB软件安装中组件选择的Matlab部分，这次则说明一下Simulink的部分。Simulink是Matlab的一大特色，了解其中究竟存在哪些工具于是也变得稍有价值。注意到Simulink的组件说明都不大容易弄懂，所以如果需要更细致的了解，还是得参考官网的说明。

Simulink部分系统工程

• System Composer
  设计和分析系统架构与软件架构
  
  
  

System Composer™ 可以为基于模型的系统工程和软件设计进行架构和组成的定义、分析和规格制定。使用 System Composer，您可以分配需求，同时优化架构模型，之后可以在 Simulink® 中设计和仿真此模型。

System Composer 可让您创建或导入根据组件和接口来描述系统的架构模型。您还可以根据 Simulink 设计或 C/C++ 代码的架构元素填充架构模型。您可以创建模型的自定义实时视图，以研究特定的设计或分析问题。使用这些架构模型，您可以分析需求、通过构造型捕捉属性、执行行业研究，以及生成规格和 ICD。

基于事件的建模

• Stateflow
  使用状态机与流程图进行决策逻辑的建模和仿真
  
  
  

Stateflow® 提供图形化语言，包括状态转换图状态转移图、流程图、状态转换表状态转移表和真值表。 您可以使用 Stateflow 来 描述 MATLAB® 算法和 Simulink® 模型如何对输入信号、事件和基于时间的条件作出反应。

Stateflow 使您能够设计和开发调度控制、任务调度、故障管理、通信协议、用户界面和混合系统。

使用 Stateflow 可以对组合和时序决策逻辑建模，将其作为 Simulink 模型内的一个模块进行仿真，或作为 MATLAB 中的一个对象加以执行。利用图形动画，您可以在逻辑正在执行时对其进行分析和调试。编辑时和运行的时检查可确保在实现前的设计一致性和完整性。

• SimEvents
  消息通信和离散事件系统建模与仿真
  
  
  

SimEvents® 包含离散事件仿真引擎和组件库，可用于对 Simulink 中基于消息的通信或任何事件驱动的流程进行建模，以分析事件驱动系统模型以及优化延迟、吞吐量和丢包等性能特征。队列、服务器、开关和其他预定义模块则可用于对路由、处理延迟以及调度和通信优先级建模。

使用 SimEvents，您可以研究任务定时和资源使用对分布式控制系统、软件和硬件架构及通信网络性能产生的影响。此外，还可以对有关预测、产能规划和供应链管理的决策进行运营研究。

物理建模（这一块可能需要安装）

• Simscape
  建模和仿真多域物理系统
  
  
  

Simscape™ 可让您在 Simulink® 环境中迅速创建物理系统的模型。通过 Simscape，您可以基于物理连接直接相连模块框图建立物理组件模型。通过将基础组件依照原理图装配，为电机、桥式整流器、液压致动器和制冷系统等系统建模。Simscape 附加产品提供了更多复杂组件和分析功能。

Simscape 可帮助您开发控制系统并测试系统级性能。您可以利用基于 MATLAB® 的 Simscape 语言，使用文本定义物理建模组件、域和库，从而创建自定义组件模型。您可以利用 MATLAB 变量和表达式参数化您的模型，使用 Simulink 设计用于物理系统的控制系统。为了将模型部署到其他仿真环境，包括硬件在环 (HIL) 系统，Simscape 还支持生成 C 代码。

• Simscape Driveline
  转动和平移机械系统的建模和仿真
  
  
  

Simscape Driveline™（以前称为 SimDriveline™）为转动和平移机械系统建模和仿真提供组件库。它包括蜗杆齿轮、导螺杆和车辆组件（如发动机、轮胎、变速器和扭矩转换器）的模型。可以使用这些组件对直升机传动系统、工业机器、汽车动力系统和其他应用领域中的机械动力传动进行建模。您可以利用 Simscape™ 产品系列中的组件，将电气系统、液压系统、气动系统和其他物理系统集成到您的模型中。

Simscape Driveline 可帮助您开发控制系统并测试系统级性能。您可以借助基于 MATLAB® 的 Simscape 语言，使用文本定义物理建模组件、域和库，从而创建自定义组件模型。您可以利用 MATLAB 变量和表达式参数化您的模型，使用 Simulink® 设计用于物理系统的控制系统。Simscape Driveline 还支持生成 C 代码，您可以模型部署到其他仿真环境，包括硬件在环 (HIL) 系统。

• Simscape Electrical
  电子、机电和电力系统建模和仿真
  
  
  

Simscape Electrical™（以前称为 SimPowerSystems™ 和 SimElectronics®) 提供了用于电子、机电和电力系统建模和仿真的组件库。它提供了各种组件模型，包括半导体、电机以及用于诸如机电驱动器、智能电网和可再生能源系统等应用的组件。您可以使用这些组件来评估模拟电路架构、开发带电气驱动器的机电系统，以及分析电网级别的发电、电能转换、输电和耗电情况。
Simscape Electrical 可帮助您开发控制系统并测试系统级性能。您可以利用 MATLAB® 变量和表达式参数化您的模型，在 Simulink® 环境下设计电力控制系统。您可以通过 Simscape 产品系列中的组件将机械系统、液压系统、热系统和其他物理系统集成到您的模型中。为了将模型部署到其他仿真环境，包括硬件在环 (HIL) 系统，Simscape Electrical 还支持生成 C 代码。

Simscape Electrical 是协同 Hydro-Québec of Montreal 共同开发的。

• Simscape Fluids
  流体系统建模和仿真
  
  
  

Simscape Fluids™（前身为 SimHydraulics®）为流体系统建模和仿真提供组件库。它包括液压泵、阀门、作动器、管道和换热器的模型。您可以使用这些组件来开发流体动力系统，例如前端装载机、动力转向装置和起落架作动系统。使用 Simscape Fluids，还可以开发发动机冷却系统、齿轮箱润滑系统和燃油供应系统。您可以通过 Simscape™ 产品系列中的组件将机械系统、电气系统、热系统和其他物理系统集成到您的模型中。

Simscape Fluids 可帮助您开发控制系统并测试系统级性能。您可以借助基于 MATLAB® 的 Simscape 语言，使用文本定义物理建模组件、域和库，从而创建自定义组件模型。您可以利用 MATLAB 变量和表达式参数化您的模型，使用 Simulink® 设计用于液压系统的控制系统。为了将模型部署到其他仿真环境中，包括硬件在环 (HIL) 系统，Simscape Fluids 还支持生成 C 代码。

• Simscape Multibody
  多体机械系统的建模和仿真
  
  
  

Simscape Multibody™（前身为 SimMechanics™）提供了适用于 3D 机械系统（例如机器人、汽车悬架、建筑设备和飞机起落架）的多体仿真环境。您可以使用表示刚体、关节、约束、力元件和传感器的模块对多体系统进行建模。Simscape Multibody 会建立整个机械系统的运动方程并进行求解。您可将完整的 CAD 装配件（包括质量、惯性、关节、约束和 3D 几何结构）导入到模型。您可在自动生成的 3D 动画中查看系统动态。

Simscape Multibody 可帮助您开发控制系统并测试系统级性能。您可以使用 MATLAB® 变量和表达式对模型进行参数赋值，在 Simulink® 中设计多体系统的控制算法。您可以利用 Simscape™ 产品系列中的组件，将液压系统、电气系统、气动系统和其他物理系统集成到模型中。为了将模型部署到其他仿真环境，比如硬件在环 (HIL) 系统，Simscape Multibody 还支持生成 C 代码。

实时仿真和测试

• Simulink Real-Time
  构建、运行和测试实时应用
  
  
  

通过 Simulink Real-Time™，您可以基于 Simulink® 模型创建实时应用，并在连接到物理系统的 Speedgoat 目标计算机硬件上运行。该产品专为处理实时仿真和测试任务而设计，包括快速控制原型 (RCP)、DSP 和视觉系统原型，以及硬件在环 (HIL) 仿真。

有了 Simulink Real-Time，您可以借助 Speedgoat I/O 驱动器模块扩展 Simulink 模型，并自动构建实时应用。测试可以自动执行，也可以在配备有实时内核、多核 CPU、I/O 和协议接口以及 FPGA 的 Speedgoat 目标计算机上以交互方式运行。

Simulink Real-Time 和 Speedgoat 目标计算机硬件专为协同工作而设计，旨在打造适用于桌面、实验室和现场环境的实时系统。这一软硬件解决方案支持最新版本的 MATLAB® 和 Simulink。

• Simulink Desktop Real-Time
  在您的计算机上实时运行 Simulink 模型
  
  
  

Simulink Desktop Real-Time™ 提供实时内核，用于在装有 Windows® 或 macOS® 的笔记本电脑或台式机执行 Simulink® 模型。它包含模块库，可连接到特定的I/O 设备。您可以在 PC 或 Mac 计算机上使用 Simulink 创建实时系统，并将其连接到物理设备。

请参考 Simulink Real-Time™ 实现高效实时仿真，并使用 Speedgoat™ 目标计算机硬件进行测试。

代码生成

• Simulink Coder
  从 Simulink 和 Stateflow 模型生成 C 和 C++ 代码
  
  
  

Simulink Coder™（以前称为 Real-Time Workshop®）可从 Simulink® 模型、Stateflow® 图和 MATLAB® 函数生成并执行 C 和 C++ 代码。生成的源代码可用于实时和非实时应用，包括仿真加速、快速原型建立和硬件在环测试。可以使用 Simulink 对生成的代码进行调试和监测，或在 MATLAB 和 Simulink 之外运行代码并与之交互。

• Embedded Coder
  生成针对嵌入式系统优化的 C 和 C++ 代码
  
  
  

Embedded Coder® 可生成可读、紧凑且快速的 C 和 C++ 代码，以便用于大规模生产中使用的嵌入式处理器。它扩展了 MATLAB Coder™ 和 Simulink Coder™ 的功能，支持通过高级优化对生成的函数、文件和数据进行精确控制。这些优化可提高代码效率，并有助于与已有代码、数据类型和标定参数集成。您可以集成第三方开发工具，以便为嵌入式系统或快速原型板上的全套部署构建可执行文件。

Embedded Coder 为 AUTOSAR、MISRA C® 和 ASAP2 软件标准提供内置支持。它还提供可追溯性报告、代码文档记录和自动化软件验证功能，以支持 DO-178、IEC 61508 和 ISO 26262 软件开发。Embedded Coder 代码可移植，并且可在任何处理器上编译和执行。此外，Embedded Coder 为特定硬件提供了包含高级优化和设备驱动程序的支持软件包。

了解各家公司如何使用 Embedded Coder 生成产品级代码，用于控制、信号处理、图像处理和计算机视觉以及机器学习应用。

• AUTOSAR Blockset
  设计和仿真 AUTOSAR 软件
  
  
  

AUTOSAR Blockset 提供各种应用App和模块，以借助 Simulink® 模型开发 AUTOSAR Classic 和 Adaptive 软件。您可以使用 AUTOSAR Component Designer 应用App设计 Simulink 模型并将其映射到软件组件（SWC）。您也可以借助AUTOSAR Blockset，从 AUTOSAR 描述文件(ARXML) 导入软件组件（SWC）和软件组合（Composition），并产生符合 AUTOSAR标准的 Simulink 模型。

AUTOSAR Blockset 还提供了模块和结构用于模拟 AUTOSAR 例程和基础软件层 (BSW) 服务，包括 NVRAM 和诊断服务（Diagnostics）。通过将基础软件（BSW）层服务与应用层软件模型一起进行仿真，可以在Simulink 环境中验证 AUTOSAR ECU 软件。

您可以使用 AUTOSAR Blockset 在 Simulink 中创建 AUTOSAR 架构模型（需要 System Composer™）。在 AUTOSAR 架构模型中您可以设计软件组合（Composition）、软件组件（SWC）和接口。您可以添加包括基础软件（BSW）层服务组件在内的仿真行为。另外，您还可以通过 ARXML 描述文件的导入和导出功能实现架构和单元设计的双向处理。

AUTOSAR Blockset 支持 C 和 C++ 代码生成（使用 Embedded Coder®）。它已被审核可用于 ISO 26262 标准认证（使用 IEC Certification Kit）。

• Fixed-Point Designer
  对定点和浮点算法进行建模和优化
  
  
  

Fixed-Point Designer™ 提供了丰富的数据类型和工具，用于在嵌入式硬件上优化和实现定点和浮点算法。它包括定点和浮点数据类型以及特定于目标的数值设置。使用 Fixed-Point Designer，您可以执行特定于目标的定点位真仿真。然后，您可以事先测试和调试溢出及精度损失等量化效应，之后再在硬件上实现设计。

Fixed-Point Designer 提供的应用程序和工具可用于分析双精度算法，并将其转换为降精度浮点或定点。使用优化工具，您可以选择满足数值精度要求和目标硬件约束的数据类型。为了高效实现，您可以将运算量庞大的设计构造替换为硬件最优的模式，如压缩的查找表。

您可以直接从定点和浮点优化模型生成产品级 C 和 HDL 代码。

• Simulink PLC Coder
  为 PLC 和 PAC 生成 IEC 61131-3 结构化文本和梯形图
  
  
  

Simulink PLC Coder™ 从 Simulink® 模型、Stateflow® 图表及 MATLAB® 函数生成独立于硬件的 IEC 61131-3 结构化文本和梯形图。结构化文本和梯形图采用 PLCopen XML 及广泛使用的集成开发环境 (IDE) 支持的其他文件格式生成，这些 IDE 包括 3S-Smart Software Solutions CODESYS®、Rockwell Automation Studio 5000、Siemens TIA Portal 及 Omron® Sysmac® Studio。因此，您可以编译应用程序并部署到众多可编程逻辑控制器 (PLC) 和可编程自动化控制器 (PAC) 设备。

Simulink PLC Coder 可以生成测试平台，帮助您使用 PLC 和 PAC IDE 以及仿真工具验证结构化文本和梯形图。它还提供代码生成报告，其中涵盖了静态代码指标以及模型与代码间双向可追溯。通过 IEC Certification Kit（符合 IEC 61508 和 IEC 61511），可提供对行业标准的支持。

• Simulink Code Inspector
  自动审查源代码以满足安全标准
  
  
  

Simulink Code Inspector™ 自动将生成的代码与其源模型进行比较，以满足 DO-178 及其他高完整性标准中的代码审查目标。该代码检查器会系统地检查模型中的模块、状态图、参数和设置，以确定它们在结构上是否与所生成代码中的运算、运算符和数据等效。Simulink Code Inspector 提供详细的模型到代码以及代码到模型可追溯性分析。它会生成结构等效和可追溯性报告，您可以将这些报告提交给认证机构，以满足 DO-178 软件编码验证目标。

配合 DO Qualification Kit（for DO-178 and DO-254），该产品还可实现对行业标准的支持。

• DO Qualification Kit (for DO-178 and DO-254)
  验证适用于DO-178，DO-278和DO-254的Simulink和Polyspace验证工具
  
  
  

DO Qualification Kit提供了文档，测试用例和过程，使您可以针对基于DO-178C，DO-278A和相关补充的项目来验证Simulink®和Polyspace®软件验证工具。 该套件包含工具鉴定计划，工具操作要求以及鉴定软件验证工具所需的其他材料。 使用该套件，您可以简化使用支持的Simulink和Polyspace产品开发的嵌入式系统的认证。

通过DO Qualification Kit，您还可以为基于DO-254的项目限定Simulink®模型验证工具。 Simulink Code Inspector™和Polyspace®代码验证工具不支持HDL代码，因此不适用于DO-254。

工具认证工具包可用于特定版本的Simulink和Polyspace验证工具，该工具基于DO-330（软件工具认证注意事项）。 您可以针对特定项目修改工具鉴定工具包中的工件，并将其包含在提交用于认证的DO-178C，DO-278A和DO-254认证包中。

• IEC Certification Kit (for ISO 26262 and IEC 61508)
  针对 ISO 26262 和 IEC 61508 认证鉴定代码生成和验证工具
  
  
  

IEC Certification Kit 提供了工具鉴定工件、证书和测试套件，可生成可追溯性矩阵。此工具包可帮助您鉴定 MathWorks 代码生成和验证工具，并简化嵌入式系统的合规认证，包括 ISO® 26262、IEC 61508、EN 50128 和相关功能安全标准（如 IEC 62304）。针对所支持的产品和标准，该工具包提供来自认证机构 TüV SüD 的证书和评估报告。

IEC Certification Kit 提供针对 ISO 26262 的工具鉴定和分类工作产品，以及测试套件。其中附带了模板，可让您调整工作产品以满足特定项目的需求。您可以生成项目特定的工件，包括涵盖需求、模型和所生成代码的可追溯性矩阵。项目和产品特定的工件可以组合在一起，为各个 ASIL 级别（从 ASIL A 到 ASIL D）的嵌入式系统认证生成 ISO 26262 合规的完整工具鉴定包。

注意：ISO26262:2018 中已指出，Simulink 和 Stateflow 适用于软件架构和软件单元设计表示法，并可作为自动代码生成的基础，如此处所示。

• HDL Coder
  生成用于 FPGA 和 ASIC 设计的 VHDL 和 Verilog 代码
  
  
  

HDL Coder 从 MATLAB® 函数、Simulink® 模型和 Stateflow® 图表生成可移植、可合成的 Verilog® 和 VHDL® 代码。生成的 HDL 代码可用于 FPGA 编程或 ASIC 原型建立和设计。

HDL Coder 提供用于 Xilinx®、Microsemi® 和 Intel® FPGA 自动化编程的 Workflow Advisor。您可以控制 HDL 架构 (49:42) 和实现、突出显示关键路径，以及生成硬件资源利用率估算信息。HDL Coder 可在 Simulink 模型与生成的 Verilog 和 VHDL 代码之间建立 可追溯性，从而能够遵循 DO-254 及其他标准对高完整性应用进行代码验证。

• HDL Verifier
  使用 HDL 仿真器和 FPGA 板测试并验证 Verilog 和 VHDL
  
  
  

利用 HDL Verifier™ 可以测试并验证 FPGA、ASIC 和 SoC 的 Verilog® 和 VHDL® 设计。您可以借助 HDL 仿真器，通过协同仿真，对照在 MATLAB® 或 Simulink® 中运行的测试平台来验证 RTL。 同样的测试平台还可用于 FPGA 和 SoC 开发板，以验证硬件中的 HDL 实现。

HDL Verifier 提供了一些工具，用于在 Xilinx® 和 Intel® 板上调试和测试 FPGA 实现。您可以使用 MATLAB 写入和读取内存映射的寄存器，以便在硬件上测试设计。您可以将探测器插入到设计中，并设置触发条件，从而将内部信号上传到 MATLAB 进行可视化和分析。

HDL Verifier 会生成验证模型，以供在 RTL 测试平台中使用，包括 Universal Verification Methodology (UVM) 测试平台。这些模型在支持 SystemVerilog Direct Programming Interface (DPI) 的仿真器中本地运行。

应用程序发布

• Simulink Compiler
  将仿真作为独立可执行程序、Web App 和功能样机单元 (FMU) 共享
  
  
  

Simulink Compiler™ 支持您将 Simulink® 仿真作为独立可执行程序共享。要构建可执行程序，只需将编译好的 Simulink 模型和用于设置、运行和分析仿真的 MATLAB® 代码一起打包。独立可执行程序可以是使用 MATLAB 图形并由 MATLAB App 设计工具设计 UI 的完整仿真应用程序。要在外部仿真环境进行协同仿真，您可以生成符合功能样机接口 (FMI) 标准的独立功能样机单元 (FMU) 二进制文件。

为使部署的仿真支持基于浏览器的访问，您可以使用 MATLAB Web App Server™ 创建和托管 Web App。Simulink 仿真可以打包到软件组件中，以便与其他编程语言集成（需要 MATLAB Compiler SDK™）。结合 MATLAB Production Server™，您还可以面向企业系统进行大规模部署。

要从 Simulink 生成 C 和 C++ 源代码，请使用 Simulink Coder™。

确认、验证和测试

• Simulink Requirements
  编写需求、管理需求并将需求追溯到模型、生成的代码和测试用例
  
  
  

您可以使用 Simulink Requirements™ 在 Simulink® 中编写、分析和管理需求。您可以使用自定义属性创建富文本需求，并将其链接到设计、代码和测试。您可以从外部源导入需求，并在需求发生变化时收到自动通知。您可以同时查看需求和设计，使用拖放操作建立链接，使用需求内容对图表进行注释，分析需求可追溯性，以及在需求、设计、生成的代码和测试之间导航。

当链接的需求、设计或测试发生变化时，Simulink Requirements 会相应指示。它计算需求的实现和验证状态，您可由此评估工程的完成情况。配合 IEC Certification Kit (for ISO 26262 and IEC 61508)和 DO Qualification Kit (for DO-178 and DO-254)，还可实现对行业标准的支持。

• Simulink Check
  衡量设计质量、跟踪验证活动并验证标准合规性
  
  
  

Simulink Check™ 可对您的模型、需求和测试进行分析，以评估设计质量和标准合规性。它提供行业认可的检查和规范，用于识别开发过程中违反建模标准和指南的情况。支持的高完整性软件开发标准包括 ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304 和 MathWorks 咨询委员会 (MAB) 风格指南。Simulink Check 还支持 CERT C、CWE 和 ISO/IEC TS 17961 等安全编码标准。您可以创建自定义检查以针对自己的标准或指南实现合规。编辑时检查可在编辑过程中识别合规性问题。

Simulink Check 提供了规模和复杂度等指标，以评估设计的状态和质量。模型测试仪表板可整合来自基于需求的测试活动的数据，以跟踪测试状态。自动模型重构可用于替换建模克隆件，降低设计复杂度，并识别可重用的内容。模型分块器工具可以隔离模型中有问题的行为，并生成简化模型以用于调试。

配合 IEC Certification Kit（for ISO 26262 and IEC 61508）和 DO Qualification Kit（for DO-178 and DO-254），还可实现对行业标准的支持。

• Simulink Coverage
  测量模型和生成的代码的测试覆盖率
  
  
  

Simulink Coverage™ 执行模型和代码覆盖率分析，以测量模型和生成的代码的测试完整度。它应用决策、条件、修正条件/决策覆盖率 (MC/DC) 和关系边界覆盖率等行业标准指标来评估模型、软件在环 (SIL) 和处理器在环 (PIL) 仿真测试的有效性。您可以通过缺失覆盖率数据来发现测试缺口、缺失需求或非预期功能。

Simulink Coverage 生成交互式报告，显示您的模型、C/C++ S-Function、MATLAB® 函数和 Embedded Coder® 生成的代码中有多少已被执行。您可以在模块和子系统中高亮覆盖率结果，以直观地显示测试缺口。为了评估测试的完整度，您可以累积多次测试运行的覆盖率数据，并查看通过单元和系统测试实现的覆盖率。覆盖率结果可以追溯到需求和测试。您可以应用筛选器从覆盖率中排除部分模块，或者解释报告中的缺失覆盖率。

结合 DO Qualification Kit 和 IEC Certification Kit，该工具还可支持行业标准。

• Simulink Design Verifier
  识别设计错误、证明需求合规及生成测试
  
  
  

Simulink Design Verifier™ 使用形式化方法来识别模型中隐藏的设计错误。检测模型中导致整数溢出、死逻辑、数组访问越界和被零除的块。可以形式化验证设计符合功能需求。对于每个设计错误或违反设计需求，会生成一个仿真测试用例以供调试。

Simulink Design Verifier 可以生成测试用例用于满足模型覆盖率和自定义目标来扩展已有的基于需求的测试用例。这些测试用例使您的模型满足条件、决策、修改的条件/决策 (MCDC)，以及自定义覆盖率目标。除了满足覆盖目标外，还可以指定自定义的测试目标来自动化产生基于需求的测试用例。

通过 IEC Certification Kit（for ISO 26262 and IEC 61508）和 DO Qualification Kit（for DO-178 and DO-254），可提供对行业标准的支持。

• Simulink Test
  开发、管理和执行基于仿真的测试
  
  
  

Simulink Test™ 提供了一些工具，用于为模型、生成的代码和仿真的硬件或物理 硬件编写、管理和执行基于仿真的系统化测试。其中包含仿真、基准和等价测试 模板，让您能够使用软件在环 (SIL)、处理器在环 (PIL) 和实时硬件在环 (HIL) 模式 执行功能测试、单元测试、回归测试和背对背测试。

利用 Simulink Test 可以创建非介入式测试框架，隔离待测试组件。 可以使用基 于文本的语言定义基于需求的评估，并采用各种格式（包括 Microsoft® Excel®） 指定测试输入、预期输出和容差。Simulink Test 包括 Test Sequence 模块和测试 管理器，前者可用来构造复杂的测试序列和评估，后者用于管理和执行测 试。Observer 模块让您能够访问设计中的任何信号，而无需更改模型或模型接 口。可以组织大型测试集，并行执行或在持续集成系统上执行。

您可以将测试追溯到需求（使用 Simulink Requirements™），利用 Simulink Coverage™ 生成包含测试覆盖率信息的报告。

通过 IEC Certification Kit（for ISO 26262 and IEC 61508）和 DO Qualification Kit（for DO-178 and DO-254），可提供对行业标准的支持。

• Polyspace Bug Finder
  运用静态分析找出软件缺陷
  
  
  

Polyspace Bug Finder™ 可以识别嵌入式软件 C 和 C++ 代码中的运行时错误、并发问题、安全漏洞和其他缺陷。使用静态分析（包括语义分析），Polyspace Bug Finder 可分析软件控制流、数据流和进程间行为。通过在检测到缺陷之后立即高亮显示缺陷，可让您在开发过程的早期阶段鉴别和修复错误。

Polyspace Bug Finder 可检查是否符合编码规范，如 MISRA C®、MISRA C++、JSF++、CERT® C、CERT® C++ 和自定义命名规范。它可以生成报告，其中包括发现的错误、代码违规和代码质量指标，如圈复杂度。Polyspace Bug Finder 可与 Eclipse™ IDE 配合使用，在您的桌面上分析代码。

对于自动生成的代码，可以将 Polyspace 结果追溯到 Simulink® 模型和 dSPACE® TargetLink® 模块。

通过 IEC Certification Kit（for ISO 26262 and IEC 61508）和 DO Qualification Kit（for DO-178 and DO-254），可提供对行业标准的支持。

• Polyspace Code Prover
  证明软件中不存在运行时错误
  
  
  

Polyspace Code Prover 是一款可靠的静态分析工具，可以证明在 C 和 C++ 源代码中不存在溢出、被零除、数组访问越界和其他运行时错误。不需要执行程序、代码插装或测试用例即可产生结果。Polyspace Code Prover 使用基于形式化方法的语义分析和抽象解释，验证软件进程间、控制流和数据流行为。您可以用它来验证手写代码、生成的代码或两者的组合。每个代码语句都有颜色编码，表明是否无运行时错误、证明有缺陷、不可达或未经证明。

Polyspace Code Prover 显示变量和函数返回值的范围信息，并且可以证明哪些变量超出指定范围限制。代码验证结果可用来跟踪质量指标，并检查是否符合您的软件质量目标。Polyspace Code Prover 可与 Eclipse™ IDE 配合使用，在您的桌面上验证代码。

通过 IEC Certification Kit（for ISO 26262 and IEC 61508）和 DO Qualification Kit（for DO-178 and DO-254），可提供对行业标准的支持。

仿真图形与仿真

• Simulink 3D Animation
  在虚拟现实环境中实现动态系统行为可视化
  
  
  

Simulink 3D Animation™ 将 Simulink® 模型和 MATLAB® 算法与虚拟现实场景中的三维图形对象相关联。通过在桌面或实时仿真过程中更改位置、旋转、缩放比例和其他对象属性，可以用动画呈现虚拟世界。您还可以感知虚拟世界中的碰撞和其他事件，并将其馈送回您的 MATLAB 和 Simulink 算法中。来自虚拟摄像机的视频可以流式传输到 Simulink 进行进一步处理。

Simulink 3D Animation 包括用于虚拟场景渲染与交互的编辑器和查看器。使用 3D World Editor，您可以导入 CAD 和 URDF 格式的文件，并使用三维对象组装创建详细场景。该工具支持采用立体视觉沉浸式查看三维世界。您可以在 MATLAB 图窗内集成多个三维场景视图，并使用力反馈操纵杆、三维鼠标或其他硬件设备与虚拟世界交互。Simulink 3D Animation 支持 X3D，这是一种 ISO 标准文件格式和运行时架构，用于三维场景和对象的表示和通信。

• Simulink Report Generator
  通过 Simulink 模型和仿真设计并自动生成报告
  
  
  

Simulink Report Generator™ 提供的功能和 API 让您可以在报告中加入模块图形、Stateflow® 图表、MATLAB® Function模块、真值表、数据字典和其他模型元素。您可以设计和生成 PDF、Microsoft® Word®、Microsoft PowerPoint® 和 HTML 格式的报告。您可以生成系统设计说明书等标准报告，也可以生成自定义报告，其包含设计输出，例如生成的代码、需求追溯链接、文档和测试结果。另外，还可以生成包含符合 DO-178、ISO 26262、IEC 61508 以及相关行业标准的输出物。

借助 Simulink Report Generator，您可以创建无需 Simulink 许可证即可通过 Web 浏览器查看、浏览和共享 Simulink 模型的 Web 视图，可以在 HTML 代码生成、需求、覆盖率和其他类型的报告中嵌入模型 Web 视图。