万博1manbetx仿真软件代码检查器
代码审查im Rahmen von sicherheitss标准
万博1manbetxSimulink Code Inspector vergleicht generierten Code automatisch mit seinem quellmodelell, um Vorgaben bei der Code-Überprüfung in DO-178 and anderen High-Integrity-Standards zu erfüllen。大系统是Blöcke，图表，参数和在一个模型上的参数，在操作中，操作符和一般代码entsprechen。Der 万博1manbetxSimulink Code Inspector bietet eine ausführliche model -zu-Code Rückverfolgbarkeitsanalyse。该工具一般的Berichte zu struktureller Äquivalenz和Rückverfolgbarkeit, die Sie an Zertifizierungsbehörden senden können, um die Vorgaben für eine Nachprüfung der do -178 software programmierung zu erfüllen。
Die Unterstützung von Branchenstandards steht über dasDO认证套件(适用于DO-178和DO-254)这苏珥是Verfugung。
奥地利第一储蓄Schritte:
Der 万博1manbetxSimulink代码检查器™unterstützt eine beschränkte Menge von Modelliersemantik和Codeoptimierungen, die häufig für高完整性- systemmodelle verwendet werden。在您的Simul万博1manbetxink代码检查器bereitgestelltes工具Kompatibilitätsprüfung stellt fest, ob Ihr建模麻省理工学院beschränkten您可以了解。
您可以können die Kompatibilitätsprüfung interaktiv在Benutzeroberfläche des Simulink万博1manbetx代码检查程序über MATLAB®-Befehle aufrufen。大的können您的Blöcke，您可以在这个模型中找出所有的模型，您可以在这个模型中找出所有的模型，您可以在这个模型中找出所有的模型，您可以在这个模型中找出所有的模型，您可以在这个模型中找出所有的模型。万博1manbetxEine manuelle Codeüberprüfung für nicht automatisch überprüfte模型是ebenfalls möglich。
Benutzeroberfläche des 万博1manbetxSimulink代码检查器(链接)和Ergebnisse der Modell-Kompatibilitätsprüfung (rechts)。
Die Codeüberprüfung是unabhängig von der Codegenerierung。Standardmäßig nimt der S万博1manbetximulink代码检查器，代码bereits generiert wurde。您的地址是können das Prüfungstool，代码是Codeüberprüfung的。Außerdem können您的产品编码是什么?您的产品是什么?您的产品是什么?您是können死Überprüfung über死Benutzeroberfläche，因为您死了。
Der 万博1manbetxSimulink Code Inspector untersucht während Der Codeüberprüfung die folgenden allgemeinen Kategorien:
- Modellschnittstellen
- Blockverhalten
- blockverindung和-ausführung
- Daten——和Dateipaketierung
- 变量和模型元素
死konkret durchgefuhrten Analysen reichen von der Abschatzung ubergeordneter Schnittstellen,民主党Prufen, ob死Initialisierungs——和Schrittfunktionen generiert wurden, bis欣苏珥ausfuhrlichen分析der Reihenfolge der Blockausfuhrung,恩祖bestimmen ob死Datenabhangigkeit说是请来两Blockkomponenten im generierten代码erhalten bleibt。
您的地址是:können您的地址是:Codeüberprüfung您的地址是:MATLAB地址是:ausführliche您的地址是:können您的地址是:Codeüberprüfung请记下zählt请记下详情Rückverfolgbarkeitsanalyse mit interaktiven Verknüpfungen请记下你的姓名。
Eine erfolgreiche (verifizierte) Codeüberprüfung mit MATLAB-Befehlen。
Mit dem 万博1manbetxSimulink代码检查员möglich, Berichte Mit Einzelheiten zu den Ergebnissen der Codeüberprüfung zu erstellen。您是können den Speicherort der Berichte auswählen。这些档案和Berichte都在我的文件里。Überprüfungsbericht开始了我们的基本模型和抑制码，它是一种描述，它和Modellprüfsumme, Pfadnamen和Datum/Zeit-Stempel。您可以在您的网站durchgeführten上确认您的身份，确认您的身份，确认您的身份。在这里我们将详细地验证您的密码für您的日期、功能和通用代码。
详情Codeüberprüfung umfassen Folgendes:
- Verifizierung der Schnittstellenfunktion
- Modell-zu-Code-Verifizierung
- Code-zu-Modell-Verifizierung
- Verwendung temporarer Variablen
详情zur Rückverfolgbarkeit umfassen:
- Modell-zu-Code-Ruckverfolgbarkeit
- Code-zu-Modell-Ruckverfolgbarkeit
Detaverbericht des万博1manbetx Simulink代码检查员Zur Verifizierung。
死standardmaßige RTCA / - 178软件- faktoren bei der zertifizerung luftgestützter系统和Geräte这是你的错误。我的Simuli万博1manbetxnk代码检查员bereitgestellte automatische Codeüberprüfung senkt den Zeitaufwand zur Erfüllung der DO-178-Vorgaben a Die quellcodeverifizerung，这是在der stehenden Tabelle gezeigt。Vorgabe (3)quellcode ist verifizierbar.kann vollständig mit dem 万博1manbetxSimulink Code Inspector zusammen mit dem vonPolyspace错误发现者™C .分析工具®erfullt了。Außerdem kann Vorgabe (4)Quellcode是standardkonform麻省理工学院的工具是Polyspace Bug Finder bereitgestellten Analysetool MISRA C erfüllt werden。万博1manbetx支持für模具工具鉴定für den Simulink代码检查和für万博1manbetxPolyspace®- produckte erfolgt über denDO认证套件(适用于DO-178和DO-254)。
DO-178C-Vorgaben kompatibel mit dem 万博1manbetxSimulink代码检查员
| 安航A -表 | Vorgabe. | - 331 referenz *吗 | Softwarestufen |
|---|---|---|---|
| Tabelle MB A-5 | (1) Quellcode is konform mit untergeordneten Anforderungen | Abschnitt MB 6.3.4a | A, B, C |
| Tabelle MB A-5 | (2) Quellcode ist konform mit Softwarearchitektur | Abschnitt MB 6.3.4b | A, B, C |
| Tabelle MB A-5 | （3）QuellCode IST VerifizierBar | Abschnitt MB 6.3.4c | A、B |
| Tabelle MB A-5 | (5) Quellcode ist rückverfolgbar auf untergeordnete Anforderungen | Abschnitt MB 6.3.4e | A, B, C |
| Tabelle MB A-5 | (6) Quellcode是genau和einheitlich** | Abschnitt MB 6.3.4f | A, B, C |
* - 331,Ergänzung德国模型检验局für DO-178C和DO-278A
**这是我们的代码，für die Compiler- and objktcode analysiert werden müssen。
做资格工具包。
Einstellungen für die Code-Generierung
Einschränkungen aufheben für“Deaktivieren-Funktion entfernen”和“Zurücksetzen-Funktion entfernen”
万博1manbetxSimulink-Blocke
Zusätzliche Blöcke, die枚举数据类型unterstützen和zusätzliche单位转换im单位转换块。
MATLAB-Funktionsblock
万博1manbetx支持für Funktionsaufrufrückgaben und -integrationen标志,函数和rad2deg
Optimierungen für die Code-Generierung
万博1manbetx支持贝德Codeüberprüfung für weitere optimiergen
您的房间和房间的详细信息zugehörigen您在房间的房间发布说明。
