金宝app模型检查™analysiert您Modelle, Anforderungen和测试苏珥Bewertung der Entwurfsqualitat der Einhaltung冯标准。Es bietet branchenweit anerkannte Uberprufungen和Metriken,麻省理工学院denen死Nichteinhaltung冯Modellierungsstandards和Richtlinien还有在内der Entwicklung erkannt了。吧台unterstutzten High-Integrity-Softwareentwicklungsstandards gehoren ISO 26262, - 178 c - 254, IEC 61508、ISO 25119、IEC 62304和MathWorks顾问委员会(MAB) -Stilrichtlinien。金宝app模型检查unterstutzt ebenfalls sichere Codierungsstandards是不是CERT C, CWE和ISO / IEC TS 17961。您可以在individuelle检查erstellen,死mogliche Konformitatsprobleme direkt im identifizieren编辑嗯您以标准奥得河Richtlinien祖茂堂erfullen。
金宝app模型检查bietet Metriken以色列立Große Komplexitat苏珥Beurteilung des身份和der Qualitat国际卫生条例Entwurfs。Das模型试验仪表板konsolidiert Daten来自古老而anforderungsbasierten Testaktivitaten,嗯窝Teststatus祖茂堂verfolgen。麻省理工学院der automatischen Modellrefaktorisierung您能Modellklone ersetzen,死Komplexitat des设计reduzieren和wiederverwendbare Inhalte identifizieren。Das Werkzeug„模型切片机”isoliert problematisches Verhalten在Modellen和generiert vereinfachte Modelle毛皮Das调试。
Unterstutzung冯Industriestandards将麻省民主党IEC认证工具包(毛皮ISO 26262和IEC 61508)和民主党做资格工具包(毛皮做的- 178)gewahrleistet。
Uberprufung der Einhaltung冯Industriestandards
Nutzen您vorkonfigurierte Prufungen毛皮Industriestandards体育运动ISO 26262,- 331 - 178 - c,做什么,做- 254,IEC 61508、ISO 25119、IEC 62304 EN 50128,MISRA - C: 2012,Richtlinien des MathWorks顾问委员会(MAB),JMAAB,CERT C, CWE等ISO / IEC TS 17961。
Individuell erstellbare Modell-Checks
嗯sicherzustellen, dass死Modelle mit标准和Richtlinien国际卫生条例Unternehmens ubereinstimmen,您能eigene„模式顾问”检查konfigurieren, individuell erstellen automatisieren。
Fehlerentdeckung -behebung贝姆Erstellen
Nutzen您死Uberprufung在内der Bearbeitung,嗯mogliche Fehler肖恩im Vorfeld祖茂堂erkennen祖beheben,嗯所以spatere Korrekturen祖茂堂vermeiden。Erstellen您eigene检查苏珥Bearbeitungszeit毛皮仿真软件金宝app®、系统作曲家™奥得河Stateflow®,嗯祖茂堂erfullen unternehmensspezifische标准。
CI / CD-Automatisierung贝姆基于模型的设计
Vereinfachen您死Einfuhrung和optimieren您CI / CD-Ablaufe裘皮仿真软件麻省民主党金宝appCI / CD自动化仿真软件检查™支持包金宝app金宝app。您可以在CI的风景明信片/ CD-Pipeline definieren,这是桌面苏珥Verhinderung冯Build-Ausfallen vorqualifizieren,詹金斯CI-Systeme体育运动®奥得河Gitlab®integrieren和苏珥Zeitersparnis inkrementelle构建ausfuhren。
Verfolgung anforderungsbasierter测试
Uberwachen您房间状态和死亡Qualitat冯·Unit-Test-Artefakten嗯死Vollstandigkeit我anforderungsbasierten测试祖茂堂bewerten和模具规格ISO 26262和做- 178 c祖茂堂erfullen。Bewerten您地位和Qualitat我Codetests毛皮Software-in-the-Loop(银)和Processor-in-the-Loop(公益诉讼)测试mithilfe der Metrik-Ergebnisse im SIL代码测试仪表板和公益诉讼的代码测试仪表板。
Messen冯·Qualitat Komplexitat Wartbarkeit
Bewerten您Große, Architektur和Komplexitat国际卫生条例莫德尔麻省理工学院Metriken、嗯Lesbarkeit Wartbarkeit和Wiederverwendbarkeit我MATLAB®,仿金宝app真软件®和Stateflow®Artefakte im Projekt祖茂堂verbessern。死仪表板konsolidieren Metriken死去,该死您古老Fortschritt bezuglich Standardkonformitat祖ISO 26262 - 178 c, IEC 61508、IEC 62304, 50128 u.v.m. verfolgen能帮。
Automatisierung冯Modellprufungen Berichten
Generieren您Model-Advisor-Berichte毛皮Uberprufungen。Begrunden您mogliche Abweichungen,嗯Warnungen和Fehler祖茂堂unterbinden。Starten您检查auf mehreren Systemen平行,嗯Konformitatsprufung麻省理工学院der死去并行计算工具箱™祖茂堂beschleunigen。
Vereinfachen和Debuggen komplexer Modelle
Verwenden您窝模型切片机,嗯funktionale Abhangigkeiten军队一杯来自statischer Kombination和dynamischer分析anhand des aktiven Verhaltens在内祖茂堂kennzeichnen der模拟。所以debuggen您Fehler体育运动基准测试,(4:03)奥得河Aquivalenztest-Fehler,Gegenbeispiele zum Eigenschaftsbeweis(33)奥得河Ganzzahluberlaufe。
Identifizieren和Refaktorieren冯Modellierungsklonen Modellen
Analysieren您Modelle,嗯Klone和doppelte Modellierungsmuster祖茂堂ermitteln。军队automatisches Refaktorieren将死Wartungsfreundlichkeit verbessert,死Wiederverwendung erhoht和死Komplexitat des Entwurfs reduziert。Erkennen您ineffiziente召集和uberarbeiten您这,嗯Effizienz des密码祖茂堂erhohen死去。
Produktressourcen:
„我们nutzen Systemdesign-Modell在仿真软件皮毛ARP47金宝app54,稳定,objektive Anforderungen祖茂堂etablieren。Indem我们das莫德尔als Grundlage毛皮unser Softwaredesign毛皮做的- 178冯民主党我们航班代码generieren - verwenden和Validierungstests毛皮死Softwareverifizierung wiederverwenden, sparen我们sehr祝时间。”
罗纳德•Blanrue空客直升机
Kostenlose Testversion anfordern
30天kostenlos ausprobieren。
Bereit zum考夫?
Angebot anfordern和Erweiterungsprodukte entdecken。
您去学习?
您Hochschule bietet moglicherweise bereits Zugang祖MATLAB仿真软件和Add-金宝appon-Produkten超级校园范围内的许可。
Nachste Schritte
您可以在欧什一张网站来自der folgenden Liste auswahlen: