Simulink Check™analizza i modelli, i requisiti i test per valutare la qualità del progetto e la conformità agli标准。用韵律控制,在工业的ambito工业中,我的身份是确定的,我的紫罗兰,我的标准,我的模型,我的,我的。Gli标准di sviluppo di software ad alta integrità支持包括ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304 e le lineguide di MathWorks Advisory Board (MAB)。Simulink Check支持CERT C, CWE ISO/IEC TS 17961等多种标准。È可能的创建控制个性化的符合标准的线路指南在分级识别可能发生的问题conformità直接的nell编辑。
Simulink检查fornisce metriche come la dimensione la complessità per valutare lo stato e la qualità del progetto。仪表盘测试符合数据组合的数据来源attività我测试基本符合要求的数据跟踪的数据来源测试。重构自动的模型,一致的,结构的,元素的,重复的程序,complessità,识别的,可使用的程序。模型切片机一般情况下的问题存在模型一般的模型一般的简单的调试。
Il支持相对agli标准工业è不可选的IEC认证套件(根据ISO 26262和IEC 61508)和nel DO资格套件(根据DO-178)。
Verifica della conformità agli标准工业
利用控制预配置conformità标准工业质量ISO 26262,- 331 - 178 - c,做什么,做- 254,Iec 61508, iso 25119, Iec 62304, en 50128,MISRA - C: 2012, le linee guida diMathWorks顾问委员会(MAB),JMAAB,CERT C, CWE e ISO/IEC TS 17961.
个性化的,控制的,模态的
配置,个性化,自动,自动,控制,个性化,自动,控制,个性化,模型顾问,每个garantire che i modelli siano coni agli标准,alle线,指南,della, tua,组织。
在节奏的真实中,有一个错误
根据识别的错误,利用控制的方式进行修改,而不是阑尾的方式进行连续的修改。Crea控件可以在Simulink中快速修改®,系统编写器™o状态流®E garantisci la conformità agli标准Della tua organizzazione。
跟踪dei test basati su requisiti
Monitora lo stato e la qualità degli artefatti dei测试每一个价值,一个完整的dei测试basati su requisiti rispettare gli标准ISO 26262e - 178 c。
Misurazione della qualità del modelello mediante l 'uso di metriche
我的节拍,我的模型Valutare l 'architettura, la complessità e la leggibilità del modelloconformità agli标准ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, IEC 62304, EN 50128 e altri标准。模代罗质量量程的积分,正确的编码,国家的conformità allle lineee guida, riulizzo e complessità在ununiica vista。
完全调试,完全完成
实用型切片机根据证据,将真菌和真菌结合在一起,进行分析和静态分析,然后将细菌和细菌结合在一起。Esegui il debug degli error nei测试迪基o nei测试di equivalenza,Dei controesempi per la dimostrazione di proprietào degli整数溢出.
识别重构dei cloni di模态,aziione nei模态
我有一个模型,我有一个克隆,我有一个复制的模型。Esegui il自动重构al fine di migliorare la manutenibilità, aumentare il riutizzo e ridurre la complessità del progetto。基于代码的高效重构。
Risorse di产品:
"在Simulink中,根据ARP4754,根据稳定的要求,分裂和获得。Risparmiamo tempo utilizando il modello come base per il nostro modelello di progettazione del software DO-178, da cui generiamo il codice di volo e riutilizando i test di convalida per la verifica del software。”
罗纳德·布兰路,空中客车直升机公司
我有一个免费的版本
30 giorni di prova a tua disposizione。
Pronto每acquistare ?
里希迪,那,那,那,那,那,那,那,那。
Sei uno清楚吗?
È可能的che la tua scuola già fornisca accessso a MATLAB, Simulink e ad altri prodotti互补中间una校园范围内的许可证。