使用基于模型的设计进行早期验证和验证
验证和确认使用基于模型的设计能够在开发过程的早期发现设计错误和不正确的需求，为您节省宝贵的时间并提高产品质量。MathWorks咨询服务可以帮助你建立一个基于模型的设计验证和确认工作流程，让您打造坚实的可执行文件的要求，进行早期和连续测试。
需求和设计之间的可追溯性
我们将向您展示如何确保您的需求在整个设计和最终应用程序中的可追溯性。MathWorks Consulting演示了如何最佳地使用金宝app仿真软件的需求创建模型、测试、代码和需求文档之间的双向链接，以及如何生成和使用测试用例，以及如何生成所需的报告。我们集成了您的需求管理系统，并建立了一个体系结构，以确保可维护性和最小化人工干预。
符合建模和编码标准
MathWorks顾问将教你如何验证特定于您的行业、应用程序、公司或安全标准的建模和编码标准的遵从性。我们实现了自定义建模检入金宝app仿真软件检查分析和验证您的模型。我们帮助您定制Polyspace Bug的搜索验证生成的和手写的代码是否符合编码标准。
基于模拟测试和报告
我们演示了如何运行在循环中的模型(MIL)、在循环中的软件(SIL)和在循环中的处理器(PIL)的等价测试，以确认软件行为符合模型行为。我们解释如何应用使用Simulink覆盖分析金宝app在模型和代码级评估现有测试用例的质量，以及如何产生与测试工具金宝app仿真软件设计验证器再次增加您的设计信心。我们指导你如何最好地使用金宝app仿真软件测试灵活地执行测试并报告它们，或者实现大规模的自动化测试并将它们与第三方工具连接起来。
形式方法验证
MathWorks咨询可以帮助您提供设计与最终应用程序匹配的证据。我们向你展示金宝app仿真软件代码检查器可以检查生成的代码，以及如何金宝app仿真软件设计验证器可以检测到错误，如死逻辑，整数溢出，被零师等，我们教您如何Polyspace代码验证可以通过证明不存在溢出、除数为0和某些其他运行时错误来演示代码的正确性。
MathWorks咨询服务有能力:
- 使用基于模型的设计建立早期的、持续的验证和确认工作流程
- 确保整个开发过程的可追溯性和质量
- 建立流程，尽早发现并纠正设计错误
- 验证最终的应用程序是否满足需求
问题吗?
满足我们的团队
在全球范围内，MathWorks顾问拥有MATLAB和Simulink的专业知识和行业经验，可以解金宝app决技术和业务方面的挑战。
大卫Jaffry是MathWorks咨询服务公司的顾问工程师。他帮助汽车、航空航天、生物技术和工业自动化公司进行基于模型的设计实现、验证和验证技术，以及嵌入式系统开发。在进入MathWorks之前，他的工作主要包括在silicon omp和Polyspace Technologies公司进行嵌入式系统的软件开发和代码验证。David拥有国家技术学院计算机系统工程硕士学位。
