汽车、航空航天、工业自动化和机械行业的高完整性系统的发展特点是证明符合功能安全的国际标准。

开发符合功能安全标准的嵌入式软件的工程师报告称，使用基于模型的设计:

  • 减少开发和认证时间
  • 使他们能够在建模阶段识别大部分错误
  • 增加核心模型的可重用性

获取开发和验证过程的每个步骤的详细指导。MathWorks工程师可以帮助您应用基于模型的设计，以符合IEC 61508、DO-178C和ISO 26262等行业标准。

从需求验证到代码验证，包括工具独立路径，要求对验证过程进行免费的初始咨询。了解如何使用MATLAB使用基于模型的设计来使用仿真、代码和模型验证以及代码生成来演示标准合规性®和仿真软万博1manbetx件®．

咨询MathWorks工程师，了解如何:

  • 自动执行手动步骤，以检查是否符合IEC 61508、DO-178C和ISO 26262等标准
  • 捕获需求，并在需求、设计、测试和代码之间建立可追溯性
  • 使用静态分析和形式化方法检查模型和代码的遵从性
  • 自动生成硬件的生产代码
  • 根据你们的标准要求确认工具

“使用基于模型的设计来设计、实现和验证我们的软件，以达到最高的功能安全标准，使我们的团队节省了成本，提高了效率，并确保了软件质量。如果没有基于模型的设计，将需要更多的工程师在相同的时间内完成项目。”

程辉，KOSTAL