基于模型的设计在产品级实时嵌入式系统中的应用

基于模型的设计是航空航天、汽车、通信和其他行业中一种高效且经济的复杂嵌入式系统开发方法。基于模型的设计在整个开发过程中使用系统模型作为可执行规范,而非依赖物理原型和文本规范。它支持系统级和组件级的设计和仿真、自动代码生成以及持续测试和验证。这些功能与通过使用图形化模型而改进的信息交流、强大的解析工具以及从需求到模型再到代码的可追溯性相结合,使得基于模型的设计成为设计嵌入式系统首选的方法。

MathWorks Consulting Services 有着从与数百家公司的合作中获得的技术专业知识。我们会与您精诚合作,解决您基于模型的设计的部署和应用问题。

对实时嵌入式系统进行建模以提升效率、改进功能和进行验证

MathWorks Consulting Services 帮助您开发基于模型的设计整体工作流以满足项目的特定需求。我们帮助您创建模型和数据的架构,以便于实现并发开发、可测试性、可读性和可重用性。我们还讲授和应用建模的行业最佳做法,包括基于您所在组织的目标建立自定义模型指导规范。

确保需求的质量、一致性和准确度,以及优化设计

我们与您共同制定仿真策略,包括开发具有适当保真度的被控对象模型来通过系统级仿真实现高层需求验证、设计优化,以及通过单元级仿真来细化和验证底层需求。MathWorks 顾问演示如何使用系统级仿真来确定初始调整或标定值。

生成高效的代码并将其集成到软件架构中

MathWorks 顾问会指导您如何配置模型并生成代码来助力您的工程软件架构,与操作系统集成,并与传统实用工具和硬件设备驱动程序对接。我们教您如何配置从模型中生成的数据、函数和文件,以实现所需的软件接口和编码标准。

确保设计质量并以较低的成本实现合规性

我们指导您开发验证框架,以执行功能、结构和稳健性测试,满足项目的特定需求。该框架支持各种测试输入、分析结果,包括通过/失败条件和所需工件的生成。该框架经过量身定制以满足公司质量目标和行业认证标准,例如 DO-178CISO 26262IEC 61508。我们可以帮助您围绕认证标准建立或微调开发流程,确保您最大程度地利用 MATLAB 和 Simulink 的价值,并显著减少开发工作量。

MathWorks 顾问帮助您:

  • 以更少的迭代次数实现所需的设计一致性、质量和效率水平
  • 使用基于模型的设计开发或优化工作流,以减少开发工作量并缩短上市时间
  • 通过基于项目的辅导课程和知识传授培养自身竞争力

有问题吗?

问题
规范建模是创建定义系统预期行为的模型的做法。了解如何使用 Simulink Design Verifier 从规范模型生成基于需求的测试用例。
面板导航