金宝appSimulink的检查
验证是否符合样式指南和建模标准
金宝appSimulink Check™提供业界认可的检查和度量,以识别开发过程中违反标准和指导原则的情况。金宝app支持的高完整性软件开发标准包括DO-178、ISO 26262、IEC 61508、IEC 62304和MathWorks Advisory Board (MAB)风格指南。编辑时检查确定了编辑时的遵从性问题。您可以创建自定义检查,以符合您自己的标准或指导方针。
金宝appSimulink Check提供了诸如大小和复杂性之类的度量,您可以使用这些度量来评估模型的体系结构和对标准的遵从性。统一的度量指标指示板可以让您评估设计状态和质量。自动模型重构允许您替换重复的设计元素,降低设计复杂性,并识别可重用的内容。模型切片器工具将有问题的行为隔离在模型中,并生成用于调试的简化模型。
金宝app对行业标准的支持可通过IEC认证套件(适用于ISO 26262和IEC 61508)和DO资格的试剂盒(DO-178)。
入门:
随时可以使用支票于开发高完整性的软件
改善的质量和安全模型和生成的代码,模型检查提供预配置检查等行业标准- 178 C,做- 331、ISO 26262、IEC 6150金宝app8,和EN 50128以及MISRA - C: 2012年,MAB风格指南,IEC 62304标准高度集成开发软件,和证书等安全编码标准C, CWE, ISO / IEC TS 17961。
在编辑时识别并修复错误
就像拼写检查可以帮助你避免拼写错误的文件,编辑时检查通知你违反的,当你编辑模型。因为你去在开发过程中尽量减少后期代价高昂的返工和额外的测试,你可以纠正错误。
配置,自定义和自动化模型检查
为了确保您的模型符合您组织自己的标准或指导方针,您可以使用model Advisor api或model Advisor配置编辑器来定制建模检查和配置。您可以同时在多台机器上运行检查,以加速遵从性验证。
检查是否符合安全标准
为了提高生成的代码符合CERTC, CWE和ISO/IEC TS 17961,你可以检查你的模型来识别潜在的建模结构可能引入编码标准符合性。
收集模型度量
金宝appSimulink的检查收集模型的指标,你可以用它来评估模型的架构,复杂性,并符合可读性与DO-178,DO-331,IEC 61508,IEC 62304,ISO 26262和EN 50128个标准。
查看综合指标使用仪表盘
这些指标仪表板集成指标,如模型的大小,行代码,指导规则遵从,重用和复杂性,以单个视图的状态,为您提供深入了解项目的质量。
突出的依赖性
模型切片机使用静态依赖性分析,以仿真期间基于主动行为,以便更好地理解在大型或复杂的模型函数依赖块,信号和模型组件和动态依赖性分析的亮点相互依赖性。
创建简化的独立模型
模型切片器可以根据用户指定的起始点、记录的信号或模拟时间窗口隔离模型的一部分,并将其保存为一个较小的模型,以保留模拟行为,以帮助调试和改进性能。
基于活动的时间切片与状态
当在状态流™只有选定的状态和转换的模拟隔离感兴趣的行为期间被同时激活的模型的高亮可以被约束为模拟的时间间隔。
识别和重构建模克隆
Identify Modeling clone工具分析一个模型,以定位重复的建模模式。然后,可以使用可重用库自动重构这些复制的克隆,从而提高可维护性并降低设计复杂性。
变换模式,提高组件的可重用性和可读性型
模型转换器工具识别可转换为不同源或不同子系统块的建模模式,并重构模型,以提高模型的组件化和可重用性。它可以识别可以消除的数据存储块,以提高可读性。
其他JMAAB 5.1检查
模型自动化检查,以JMAAB 5.1造型风格指南
在代码的角度编辑时间检查
识别代码生成不支持的块金宝app
自动克隆重构App
检测重构的模型子系统或库模式的克隆,重构,并检查等效
看到发布说明对任何这些特征和对应的功能的详细说明。
使用Simulink开发ISO 26262应用程序的11个最佳实践金宝app
管理模型接口复杂性和数据交换。生成的代码具有干扰和文件分离的自由。提高验证、验证和文档阶段的整体效率。