一旦您在Simulink中开发了一个模型,您如何知道它是否存在设计问题,从而阻止您实现开发和认证目标?
要在流程的早期识别和修复这些问题,可以检查设计是否符合建模标准,即开发、维护和记录生产软件开发中使用的模型的一组准则。这些指南由国际标准组织或行业工作组(如MathWorks咨询委员会)根据多年经验和最佳实践制定。
遵守建模标准有助于您通过确保跨团队和供应商的设计一致性、改进模型可读性、启用模拟和测试性,以及改进代码生成的结果来改进项目结果。
手动检查模型并检查合规性问题非常耗时。审查人员应关注设计本身,而不是模型构造的细节。
Simulink Check是一个工具,它通过评估建模标准的符合性来帮助您自动化手动检查。
编辑模型时,编辑时会检查引入的突出显示问题,就像文字处理器突出显示拼写或语法错误一样。您可以作为-You-go修复违规,并避免以后昂贵的返工。
为了根据一组或多组检查系统地检查您的模型,model Advisor为您提供了一个指导性的工作流,以运行针对流行行业标准(如ISO 26262和DO-178)的预配置检查。
您还可以根据您和您的团队定义的标准创建和运行自定义检查。
分析完成后,您可以找到建议的操作来帮助您解决问题。对于某些问题,您可以在Model Advisor中使用自动传真解决。如果分析检测到您或您的团队已经确定可以存在的违规行为,您可以通过添加理由来证明其存在。
关于建模标准合规性的报告通常需要用于设计审查或审计目的。Model Advisor结果可以在综合报告中发布,并与您的团队共享。
检查建模标准符合性的过程可以帮助您尽早解决设计问题,提高模型质量、理解和重用,从而实现开发和认证目标。