基于模型的生产实时嵌入式系统设计

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

利用从与数百家公司合作中获得的技术专长,MathWorks咨询服务与您一起解决基于模型的设计部署和应用程序问题。

建模实时嵌入式系统的效率,功能和验证

MathWorks Consulting Services帮助您针对项目的特定需求开发整体的基于模型的设计工作流。我们帮助您为模型和数据创建体系结构,以促进并发开发、可测试性、可读性和可重用性。我们还教授和应用建模的行业最佳实践,包括建立基于您的组织目标的自定义模型风格指南。

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

我们与您一起制定模拟策略,包括开发具有适当保真度的工厂模型,以通过系统级模拟实现高级需求验证,优化设计,以及通过单元级模拟实现低级需求的细化和验证。MathWorks顾问演示了如何使用系统级模拟来确定初始调整或校准值。

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

MathWorks顾问指导您如何配置模型和生成代码,以与项目软件体系结构保持一致,与操作系统集成,以及与遗留实用程序和硬件设备驱动程序的接口。我们将向您展示如何配置从模型生成的数据、函数和文件,以实现所需的软件接口和编码标准。

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

我们指导您开发验证框架,以执行功能、结构和健壮性测试,以满足项目特定的需求。该框架与各种测试输入一起工作,分析结果,其中包括通过/失败标准和所需工件的生成。该框架是为实现公司质量目标和行业认证标准而量身定制的,如- 178 c吗ISO 26262,IEC 61508.我们可以帮助您围绕认证标准建立或微调您的开发过程,确保您从MATLAB和Simulink中获得最好的价值,并显著减少开发工作。

MathWorks顾问帮助您:

  • 用更少的迭代实现预期的设计一致性、质量和效率水平
  • 使用基于模型的设计开发或优化工作流,以减少开发工作和上市时间
  • 通过以项目为基础的辅导课程和知识转移建立内部能力

问题吗?

问题
使用Simulink Design Verifier从系统需求模型生成测试用例。
面板的导航
Baidu
map