金宝appSimulink代码检查员
Automatisierung von Quellcode - 评论IM Rahmen Von Sicherheitsstandss
金宝appSimulink代码检测器Vergleicht Generierten Code Automatisch Mit Seinem Quellmodell，UM Vorgaben Bei der Code-Überprüfung在Do-178 und Anderen高诚信标准ZuErfüllen。Dabei WerdenSystematischBlöcke，Zustandsdiagramme，参数undeinstellungen在einem modell untersucht，um zu e ermitteln，ob sie strukturell den Moreformen，Operatoren und Daten im Generierten代码entsprechen。Der 金宝appSimulink代码检查员Bietet EINEAUSFÜHRLLICHEModell-Zu-CodeRückverfolgBarkeItsAnalyse。DAS工具Generiert Berichte Zu Strukturelleräquivalzundrückvergarkeit，die siezertifizierungsbehördensendenkönnen，um dievorgabenfüreinenachprüfungder do-178-softwareprogrammierung zuerfüllen。
DieUnterstützungvon Branchenstandards Stehtüberdas做资格套件（对于DO-178和DO-254）ZurVerfügung。
斯基里特：
Der 金宝appSimulink代码Inspector™UnterstützteineBeschränkteMengevon Modeliersemantik und CodeOptimierungen，DieHäufigFürHigh-Integrity-SystemModelle Verwendet Werden。EIN VOM 金宝appSimulink代码检查员Bereitelltes工具ZurKompatibilitätsprüfungStelltFest，OB Ihr Modell MitBeschränktenMengeKonform Ist。
SieKönnendieKompatibilitätsprüfunginteraktiv在DerBenutzeroberflächedesimulink代码检金宝app查员over im programmübermatlab®-Befehle Aufrufen。DabeiKönnenSieBlöckeundsidereals Indernompatibel Identifizierte Teile Eines Modells在einem recraphierten modell platzeren und dann den simulink金宝app代码检查员So konfigurieren，dass er das indompatible revirezierte modell bei dercodeüberprüfungauslässt。Eine ManuelleCodeüberprüfungfürnicht自动机Überprüfte型号eBenfallsMöglich。
BenutzeroberflächeSimul金宝appink代码检测器（Links）undbnnisse der Modell-Kompatibilitätsprüfung（RECHTS）。
DieCodeüberprüfungistunhängigvon der Codegenerierung。standardmäßignimmt der s金宝appimulink代码检查器AN，DASS DER CODE BEREITES GENSIERT WURDE。SieKönnenDasPrüfungstoolauch So Konfigurieren，Dass der Code Im Rahmen derCodeüberprüfunggeneriert Wird。AußerdemKönnenSieDie Speicerorte der Generierten Quellcodedateien Angeben，Beispielsweise Solche，Die Von Ihrem Produktions-Build-Prozess Verwendet Werden。SieKönnenieÜberprüfungÜberdiebenutzeroberflächeoder die befehlszeile aufrufen。
Der 金宝appSimulink代码检查员UntersuchtWährendderCodeüberprüfungdie folgenden allgemeinen Kategorien：
- modellschnittstellen.
- blockverhalten.
- Reihenfolge der Blockverbindung und-ausführung
- 日期 - undeateipaketierung
- Lokale variablen und funktionale modellelemente
模具konkretdurchgeführtenAnalysen reichen冯明镜AbschätzungübergeordneterSchnittstellen，也DEMPrüfen，OB死Initialisierungs- UND Schrittfunktionen generiert wurden，双欣楚ausführlichen德Reihenfolge分析DERBlockausführung，嗯祖bestimmen，OB死Datenabhängigkeitzwischen ZWEI Blockkomponenten IM generierten代码erhalten bleibt。
SieKönnenICHIEdstrationMeldungenderCodeüberprüfungdirekt在Matlab Anshen oderAusführiche，Wie im Folgenden Abschnitt Beschriebene Berichte Untersuchen。DazuzähltAUCHEINEDetaillierteRückverfolgarkeitsAnalyseMit InteraktenVerknüpfungenZu den Entwurfsobjekten。
Eine Erfolgreiche（Verifizierte）Codeüberprüfungmit matlab-befehlen。
MIT DEM 金宝appSimulink代码Inspector IstEsmöglich，Berichte Mit Einzelheiten Zu Den Bergnnissen derCodeüberprüfungzuorersheren。SieKönnenden speicherort der berichteauswählen。Das Erleichtert Ihnen Die Archivierung und Einbindung der Berichte在Ihr Zertifizierungsgesamtpaket。derüberprüfungsberichtbeginnt mit der nennung des Genauen Modells und Quellcodes，Die Untersucht Werden，und Zwar Anhand VonModellprüfsumme，Pfadnamen und Datum / Zeit-Stempel。Darauf Folgt Eine Zusammenfassung derDetchgeführtenverifizierungen und der Status Jedes元素（Beispielsweise Verifiziert，Teilweise Verifiziert Oder FehlgesChlagen）。在Einem Detailbereich Werden Die VerifizierungsergebnisseFürjede datei，Funktion und Zeile des Generierten Codes Beschrieben。
详细信息DerCodeüberprüfungumfassenfolgendes：
- Verifizierung der Schnittstellenfunktion.
- modell-zu-code-verifizierung
- code-zu-modell-verifizierung
- verwendungtemplärervariablen
详细信息ZurRückverfolgarkeitUmfassen：
- modell-zu-code-rückverfolgbarkeit
- code-zu-modell-rückverfolgbarkeit
详细的Simulink代码检查器zu金宝appr验证。
diestandardmäßigetrca/ do-178Software-Faktoren Bei der ZertifizierungLuftgestütztersysteme undgerätenennt vorgaben zur quellcodeverifizierung。Die Vom 金宝appSimulink代码检测器Bereitellte AutomatischeCodeüberprüfungsenkt den Zitaufwand ZurErfüllungder Do-178-Vorgaben A De DodeRcodeVerifizierung，Wie在Der Unthenden Tabelle Gezeigt。Vorgabe（3）Quellcode是verifizierbarKANNVOLLSTÄNDIGMITDEM SIM金宝appULINK代码Inspector Zusammen Mit Dem VonPolyspace Bug Finder™Bereitellenten analysetool misra c®erfülltwerden。Außerdemkann vorgabe（4）quellcode ist standardkonform.麻省理工学院工具Wie Dem von Polyspace Bug Finder Bereitellenten Analysetool Misra CErfülltWerden。金宝app支持FÜRIET工具 - QualifizierungFürdenimulink代码In金宝appspector undFür波尔盖斯®-Produkte ErfolgtÜber巢穴做资格套件（对于DO-178和DO-254）。
Do-178C-Vorgaben Kompatibel Mit Dem 金宝appSimulink代码检查员
| 安阳A - Tabelle | Vorgabe | do-331-revoct * | 软件包 |
|---|---|---|---|
| Tabelle MB 5 | （1）Quellcode IST KONFORM MIT UNTERGEDORDNEN ANFORDERUNGEN | abschnitt mb 6.3.4a | A，B，C |
| Tabelle MB 5 | （2）Quellcode IST KONFORM MIT Softwarearchitektur | Abschnitt MB 6.3.4b. | A，B，C |
| Tabelle MB 5 | (3) Quellcode ist verizierbar | abschnitt mb 6.3.4c | A，B |
| Tabelle MB 5 | （5）Quellcode Istrückverfolgbarauf Untergeordnete Anforderungen | abschnitt mb 6.3.4e | A，B，C |
| Tabelle MB 5 | （6）Quellcode IST Genau Und Einheitlich ** | abschnitt mb 6.3.4f. | A，B，C |
* do-331，Ergänzungzu modellbasierter entwicklung und verifizierungfürdo-178c und-278a
** bezieht sich nicht auf vorgaben，fürdie compiler-und objektcode analysiertwerdenmüssen。
做资格套件。
EinstellungenFür模糊代码-Genierung
EINSCHRÄNKUNGENAUFHEBENFÜR“DEAKTIVIEREN-FUNKTION ENTERNEN”und“Zurücksetzen-Funktion Entfernen”
金宝appSimulink-Blöcke.
ZusätzlicheBlöcke，Die枚举数据类型Unterstützenundzusätzliche单位转换im单位转换块。
matlab-funktionsblock.
金宝app支持Fürfunktionsaufrufrückgabenund-integrationen标志那DEG2RAD.und.Rad2deg
OptimierungenFür模糊代码
金宝app支持Bei derCodeüberprüfungFürWeitereOptimierungen
详细信息zu柴油Funktionsmerkmalen und denzugehörigenfunktionen findend sie发行说明。
