金宝app仿真软件代码检查器
AutomatizzareLe Revisioni Del Codice Sorgente in Base Agli标准Di Sicurezza
金宝appSimulink代码Inspector™Mette A Confronto Automatice Il CodeLo Sorgente IL Relativo Modello Sorgente在Altri Standard Ad AltaInteglità中的Do-178 E中的Per Relativo Modello Sorgente。IL代码检查员ESAMINA在Modo Sistematico I Blocchi，I Draphicchi，I Diagneri E Di Spostazioni在UN Modello每种决定者L'Isticenta A Livello Struturale A Operazioni，Operatori E Dati Nel Codice Generato。金宝appSimulink代码检查员Fornisce Un'Analisi Dettagliata DellaTracciaBilitàDaModello A Codice E eviceversa。è在Grado Di Fayerare Report DiTracciaBilitàeidi ascyentza struturale da poter sotoporrele altautoràcesi incoreano delle certificaiioni，Al Fine di Soddisfare Gli Obiettivi di Verifica di Codifica软件Previstie Dallo标准Do-178。
支持相金宝app关的标准设置è双可分的nelDO资格检定套件(适用于DO-178及DO-254)。
每个Iniziasre：
金宝appSimulink Code Inspec金宝apptor™支持按照modelelli di sistemi和alta的语义来设计模型，并根据模型来设计代码。integrità。代码检查器确定其固有的模型è符合真主安拉意vincolata。金宝app
èChoribileRichiamareLaverificadellaCompatibilità在Modo Interativo Dall'Interfaccia Utente Di Simulink代码金宝appInspector在Modo Programmatico Usando i Comandi Matlab®。È可能的可能性可能是所有型号识别不兼容的情况下，根据配置的Simulink代码检查affinché可能的型号不兼容的代码。金宝app后续的，è可能是根据非自动修正的模型编写的手册。
Simulink代码检查器的接口和控制的co金宝appmpatibilità模型(删除)。
L'Ispezione delCodiceèIndipendenteDalla Generazione Di Codice。PerCopostazione Predefinita，Si金宝appmulink代码检测器Presume Che Il Codice SiaGiàStarto Generato。Tuttavia，èConsibileConfigurare IL Code InspectorAffinchéGayiCodifice来了Paree del Suo Processo di Ispezione。èinltre positibile secorfice le posizioni dei文件dei codici sorgente generati，来quelli utilizzati nei processi di costruzione dela produzione。l'ispezionepuòessere richiamata tramite l'Interfaccia Utente o la里加di comando。
金宝appSimulink Code Inspector代码检查器Simulink Code Inspector代码检查器
- Interfacce dei Modelli.
- Comportamento dei Blocchi.
- ConnettivitàdeiBlocchiE Ordine Di Esecuzione
- Pacchettizzaione di文件e dati
- VariaBili locali ed Elementi di modelli funzionali
具体的分析是建立在实际使用的界面上的，并对初始化的方法进行详细的验证和分级的状态生成，然后再进行分析，我们很好地确定了它们的成分，并将它们保存起来。
È可能的修正是在MATLAB中对该报告进行详细的说明，然后依次说明，其中包括tracciabilità的详细说明。
Ispezione di联合国编纂（Verificato）Andata A Buon Fine Utilizzando I Comandi Matlab。
在Sim金宝appulink代码检查器中，è可能的一般报告代码的risultati 'ispezione。Si può scegliere la posizione在cui salvare我报道。在所有的档案中，包括我的报告，完成了认证sarà più semplice。有一份关于模型识别的报告，该报告包含了相关的代码，模型的校验和，以及数据的索引。在seguito这个词中，如果你想查证它的真实性，就必须先查证它的真实性，然后再查证它的真实性。在这个文件中，我们有一个详细的代码。
i dettagli dell'ispezione del codice includono：
- Verifica Dell'Interfaccia delle Funzioni
- Verifica da modello是代码
- Verifica da Codice Modello
- Urilitizzo di Variabili Templanee
我dettagli sulla tracciabilità包括:
- Tracciabilità da modello a codice
- Tracciabilità da codice a modello
举报Dettagliato di Simul金宝appink代码检查员Che Illustra La Verifica da Codice Modello。
Lo - 178标准RTCA /做考虑到该软件在波尔多地区的认证根据sorgente的代码，具体的记录是。代码的自动机，在Simulink代码检查器中，根据对DO-178代码的验证来降低节奏。金宝appL 'obiettivo (3)它的编码è可验证può essere completamente soddisfatto usezzando Si金宝appmulink Code Inspector, in congiunzione 'analizzatore MISRA C®Fornito da.Polyspace错误发现者™。Inoltre，L'Obiettivo（4）IL CodiceSorgenteèConformeAgli标准puòessere soddisfatto utilizzando strumenti来l'anyizzatore misra c fornito da polyspace bug finder。Il 金宝appSparesoO每个La Peticificaione Degli Strumenti Per Sim金宝appulink代码检查员E II ProdottiPolyspace®viene fornito tramite ilDO资格检定套件(适用于DO-178及DO-254)。
obiettivi dello标准do-178c compatibili con simulink金宝app代码检查器
| Tabella Allegato A. | obiettivo | Riferimento - 331 * | Livelli软件 |
|---|---|---|---|
| Tabella MB A-5 | （1）IL CODICE SORGENTE SODDISFA I REVISITI DI BASSO LIVELLO | Sezione MB 6.3.4a. | A，B，C |
| Tabella MB A-5 | (2)该codice sorgente è符合所有'architettura del软件 | Sezione MB 6.3.4b. | A，B，C |
| Tabella MB A-5 | （3）IL CodiceSorgenteèverificabile | Sezione MB 6.3.4C. | A，B |
| Tabella MB A-5 | （5）IL CODICE SORGENTEèFRICISITIDI Basso Livello | Sezione MB 6.3.4e | A，B，C |
| Tabella MB A-5 | （6）IL CODICE SORGENTEèCHICISOE COERENTE ** | Sezione MB 6.3.4f. | A，B，C |
* - 331,Supplationo sullo sviluppo e la Verifica模型的Do-178c e do-278a
**非包括GLI Obiettivi Che Richiedono Analisi Del Codice Oggetto E编译器。
做资格工具包。
Impostazioni di Generazione di Codice
Eliminazione Delle Resterizioni每拉rimozione della funzione disabilita e la Rimozione della funzione复位
Blocchi仿金宝app真软件
根据数据枚举转换的方式支持单元转换u金宝appnità单元转换
Blocco MATLAB函数
金宝appPer Gli Elementi Integrati的Supporto Per Gli Outputs Delle Chiamate Di Funzione符号,DEG2RAD.eRad2deg
这是一种常见的疾病
金宝app每个L'Ispezione Di Codice Per SportoO / Ispezione di Codice ootiorizioni
需要咨询勒注意di rilascioPer Ultoriori Informazioni Su Queste Carateristiche E Sulle Funzioni Corrispondenti。
