MBD(Model based Design)是什么？
随着嵌入式行业的快速发展，MBD作为解决专家紧缺、国内解决方案匮乏的新软件开发方式备受关注。 MBD是一种通过建模自动生成代码的（Auto-generation Code）开发方式。 可以说它与如何用传统的C/C++等计算机语言编写程序有很大的不同。
MBD 还允许工程师模拟和验证在开发过程早期的设计。 从模型自动生成结构化代码避免了由于手动编码而导致的错误。 通过仿真验证您的设计并使其实现自动化，可以确保您的整个系统在连接到嵌入式系统时将按预期运行。
通过想象著名的游戏模拟城市更容易理解 MBD。 为每个功能选择一个图形（模型），绘制（设计），并通过模拟（执行）检查结果。 如果执行结果不符合预期，则重复通过重新绘制模型来检查结果的过程。 所有这些都在 PC 上完成，在连接到真实系统之前检测和修复可能的错误，效率非常快。
<图1> Model Based Design循环程序
MBD的优势
1、在系统开发的各个阶段不断的测试和验证，可以降低冗余实施的成本。
2. 系统算法的测试可以在建模和仿真阶段进行。
3. 利用已经设计好的功能模型。
4、可以降低实施阶段所需的成本（人力、时间）。
MBD的使用
基于模型的设计 (MBD) 使用最多的领域是汽车领域。 以汽车ECU开发为中心提出了基于模型设计的概念，许多汽车控制器正在扩展到基于MBD的SW开发。 因此，基于 MBD 的 SW 验证需求呈上升趋势，SureSoft 基于 ISO 26262 为基于 MBD 的 SW 提供静态和动态验证服务。
ISO 26262和MBD的关系
汽车领域功能安全的国际标准 ISO 26262 第 6 部分“软件级别的产品开发”中关于MBD 领域的验证。
ISO 26262 V模型和单元/集成测试中的动态/静态测试
另一方面，MBD 的动态验证建议在单元/集成阶段执行基于需求和接口的验证，而不考虑代码或模型。
MBD验证工具
SureSoftTech 为模型的静态和动态测试开发并提供了各种测试工具。
1.模型静态验证工具 -Model Inspector
Model Inspector 支持 MISRA、Matworks 和 dSPACE 建模指南，并提供 SureSofttech 自己的建模指南。 它是一个模型静态验证自动化解决方案，根据这些准则对模型进行静态验证，检测违反规则（准则）的项目，分析质量指标，并自动生成报告。
2.模型动态验证工具-Controller Tester
用于执行基于自动代码的模型动态验证的工具 Controller Tester 是 SureSofttech 的自动化解决方案，可为在各种环境中开发的软件执行单元/集成验证。
MBD的未来
随着基于 MBD 的软件开发在 IT 行业的频率逐渐增加，模型验证过程正成为一个重要的部分。 特别是在汽车领域，在结构复杂的模型中，安全性很重要，定义了功能安全的国际标准 ISO 26262，以指定静态验证（例如检查模型是否符合准则）和动态验证（例如模型）模拟。
目前，SureSoft 已经建立了模型的静态/动态验证流程，并正在积极与 OEM 公司进行验证活动。 此外，SureSoft 还开发了测试自动化工具（MI、CT），以降低模型验证成本并提供高效的缺陷检测服务。
