万博1manbetxSimulink的检查
验证符合风格指南和建模标准
万博1manbetxSimulink的检查™提供业界公认的检查,并在开发过程中确定的标准和指南的侵犯指标。万博1manbetx支持高完整性的软件开发标准包括DO-178,ISO 26262,IEC 61508,IEC 62304,和MathWorks的汽车顾问委员会(MAAB)风格指南。编辑时检查识别合规性问题,你的编辑。您可以创建自定义的检查,以符合自己的标准或准则。
万博1manbetxSimulink的检查提供了指标,如规模和复杂性,你可以用它来评估模型的架构,并符合标准。一个统一的度量仪表板,让您评估设计状态和质量。自动模式重构,您可以替换重复的设计元素,降低设计复杂性,并确定可重复使用的内容。示范切片机工具在一个模型中隔离有问题的行为,并产生一个简化的模型用于调试。
万博1manbetx对行业标准的支持可通过IEC认证工具包(用于ISO 26262和IEC 61508)和DO资格的试剂盒(DO-178)。
入门:
随时可以使用支票于开发高完整性的软件
为了提高质量和车型的安全性和生成的代码,Simulink的检查提供了预配置的行业标准,如DO-178C检查,DO-331,ISO 2万博1manbetx6262,IEC 61508和EN 50128以及MISRA C:2012,MAAB风格指南,IEC 62304标准开发高完整性的软件和安全编码标准,如CERT C,CWE和ISO / IEC 17961 TS。
识别并修复错误,编辑
就像拼写检查可以帮助你避免拼写错误的文件,编辑时检查通知你违反的,当你编辑模型。因为你去在开发过程中尽量减少后期代价高昂的返工和额外的测试,你可以纠正错误。
配置,自定义和自动化模型检查
为确保您的模型符合您的组织自己的标准或准则,你可以定制模型的检查和使用模型顾问API或模型顾问配置编辑器配置。您可以同时运行在多台机器检查,以加快符合性验证。
检查是否符合安全标准
为了提高生成的代码符合CERTC,CWE和ISO / IEC 17961 TS,你可以检查你的模型来识别潜在的建模结构可能引入编码标准符合性。
收集模型度量
万博1manbetxSimulink的检查收集模型的指标,你可以用它来评估模型的架构,复杂性,并符合可读性与DO-178,DO-331,IEC 61508,IEC 62304,ISO 26262和EN 50128个标准。
查看综合指标使用仪表盘
这些指标仪表板集成指标,如模型的大小,行代码,指导规则遵从,重用和复杂性,以单个视图的状态,为您提供深入了解项目的质量。
亮点依赖
模型切片机使用静态依赖性分析,以仿真期间基于主动行为,以便更好地理解在大型或复杂的模型函数依赖块,信号和模型组件和动态依赖性分析的亮点相互依赖性。
创建简化的单机模式
模型切片机可以隔离基于用户指定的开始点的模型的一部分,记录信号或模拟时间窗口并保存它作为一个较小的模型,该模型调试蜜饯仿真行为以帮助并提高性能。
基于活动的时间片用Stateflow的
当在状态流™只有选定的状态和转换的模拟隔离感兴趣的行为期间被同时激活的模型的高亮可以被约束为模拟的时间间隔。
识别和重构建模克隆
该识别模型克隆工具分析模型,以查找重复的造型图案。这些重复的克隆可以,然后用可重复使用的库,以提高可维护性,降低设计复杂性自动重构。
变换模式,提高组件的可重用性和可读性型
示范变压器工具识别建模模式,可以转化为变体源或变体子系统块和refactors模型以提高模型组件化和可重用性。它可以识别出可以消除以提高可读性数据存储块。
自动克隆重构App
检测重构的模型子系统或库模式的克隆,重构,并检查等效
在代码的角度编辑时间检查
确定没有代码生成支持的块万博1manbetx
调试房产证题违规
启动模型切片机调试财产证明违法行为Simulink设计验证万博1manbetx
看到发行说明对任何这些特征和对应的功能的详细说明。