仿真软件检查

现代化重要

个性化的,控制的,模态的

配置,个性化,自动,自动,控制,个性化,自动,控制,个性化,模型顾问,每个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我控制Su più机器在并行每加速la verifica Della conformità con并行计算工具箱™

完全调试,完全完成

实用型切片机根据证据,将真菌和真菌结合在一起,进行分析和静态分析,然后将细菌和细菌结合在一起。Esegui il debug degli error nei测试迪基o nei测试di equivalenzaDei 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。基于代码的高效重构。

空中客车直升机加速使用基于模型的软件证书DO-178B

"在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。”

罗纳德·布兰路,空中客车直升机公司
Baidu
map