万博1manbetxSimulink代码检查员
AutomatizzareLe Revisioni Del Codice Sorgente in Base Agli标准Di Sicurezza
万博1manbetxSimulink代码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。万博1manbetxSimulink代码检查员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。
IL 万博1manbetxSupporto Relativo Agli Standard del Settoreè透明度Nel做资格套件（对于DO-178和DO-254）。
Inizia Ora：
万博1manbetxSimulink代码Inspe万博1manbetxctor™Supporta Una Serie Vincolata di Semantiche di Modellaione e di Ottimizzazioni di Codice Spesso Cermictizzate Per Modelli di Sistemi Ad AltaIntegità。Uno Strumento di Verifica delacompatibilitàFornitoda Simu万博1manbetxlink代码检查员确定eil il propriomodelloèconforme alla serie vincolata。
èChoribileRichiamareLaverificadellaCompatibilità在Modo Interativo Dall'Interfaccia Utente Di Simulink代码万博1manbetxInspector在Modo Programmatico Usando i Comandi Matlab®。èChoribilePosizionare Blocchi E Altre Porzioni Di Un Modello Identificato Four Compatibile All'Interno di Un Modello di Riferimento，Per Poi Configurare Simulin万博1manbetxk代码检查员AffinchéOMettaIL Modello Di Riferimento非Compatibile Durante L'Ispezione L'Ispezione del Codice。Successivamente，èChoribileeseSuire Un'Ispezione Del Codice手册Modelli Che Nonvengono自动化的Revisionati。
Interfaccia UTENTE DI 万博1manbetxSimulink代码检查员（南方人）e Risultati del Controllo dicompatibilitàdelmodello（一个destra）。
L'Ispezione delCodiceèIndipendenteDalla Generazione Di Codice。PerCopostazione Predefinita，Si万博1manbetxmulink代码检测器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。
万博1manbetxSimulink代码检查员ESAMINA Le Seguenti Categorie Generali Durante L'Ispezione del Codice：
- Interfacce dei Modelli.
- Comportamento dei Blocchi.
- ConnettivitàdeiBlocchiE Ordine Di Esecuzione
- Pacchettizzaione di文件e dati
- VariaBili locali ed Elementi di modelli funzionali
L’analisi specifica che viene eseguita spazia dalla valutazione dell’interfaccia di alto livello, ad esempio al fine di verificare se le funzioni di inizializzazione e a gradini sono state generate, fino ad un’analisi dettagliata dell’ordine di esecuzione dei blocchi, al fine di determinare se la dipendenza dei dati tra due componenti dei blocchi viene preservata nel codice generato.
èChoribileRevisionare Il Messaggio Sullo Stato Dell'Ispezione Dirtiteme在Matlab o Esaminare举报Dettagliati，来了Descrifto Nella Sezione Successiva，Cantusivi di Un'Analisi DellaTracciabilitàDettagliataContultàDettagliataContultàDerativiAgli Oggetti Della Progettazione。
Ispezione di联合国编纂（Verificato）Andata A Buon Fine Utilizzando I Comandi Matlab。
Con 万博1manbetxSimulink代码检测器，è可能遗忘报告Con I Risultati Dell'Ispezione del Codice。Sipuìsceglierela posizione在Cui Salvare我报告。在Questo Modo Archiviare E Includere我举报Nel Pacchetto Completo di citectionesaràpiùsemplice。IL Report Di Ispezione Inizia Dall'idtificazione Del Modello Esatto E Del Codice SorgenteSaaminato，Trucate Il Checksum Del Modello，I Nomi Dei Percorsi E Le Indemazioni DI Data E Ora。在Seguito，Si fornisce联合国riepilogo delle verifiche eseguite e lo Stato di Ciasocun Elemento（广告eSempio，Verificato，Parzialmente Vericato o非Andato一个Buon Fine）。UNA SEZIONE DetTagliata Dellifalliative PiaSCUN文件的risutati della Verifica，Funzione E Riga Del Codice Generato。
i dettagli dell'ispezione del codice includono：
- Verifica Dell'Interfaccia delle Funzioni
- Verifica da modello是代码
- Verifica da Codice Modello
- Urilitizzo di Variabili Templanee
我dettagli sullatracciabilitàincludono：
- tracciabilitàdamodello一个代码
- TracciaBilitàdadiceof modello
举报Dettagliato di Simul万博1manbetxink代码检查员Che Illustra La Verifica da Codice Modello。
LO标准RTCA / DO-178Dikazioni sul software nella certificazione di sistemi ed apparecchiature di bordoSpeciala gli obiettivi per la Verifica del Codice Sorgente。L'Ispezione del Codice Automatizzata，Hotelatta da万博1manbetx Simulink代码检查员，Riduce IL Tempo Richiesto Pero Soddisfare Gli Obiettivi di Verifica del Codice Sorgente di Do-178，来illustratonella Tabella Sottostante。L'Obiettivo（3）Il CodiceSorgenteèverificabilepuòessere conferamamente soddisfatto utilizzando 万博1manbetxsimulink代码检查员，在Congiunzione All'Analizzatore Misra C.®Fornito da.Polyspace Bug Finder™。Inoltre，L'Obiettivo（4）IL CodiceSorgenteèConformeAgli标准puòessere soddisfatto utilizzando strumenti来l'anyizzatore misra c fornito da polyspace bug finder。Il 万博1manbetxSparesoO每个La Peticificaione Degli Strumenti Per Sim万博1manbetxulink代码检查员E II Prodotti波尔盖斯®viene fornito tramite il做资格套件（对于DO-178和DO-254）。
obiettivi dello标准do-178c compatibili con simulink万博1manbetx代码检查器
| Tabella Allegato A. | obiettivo | Riferimento Do-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）IL CodiceSorgenteèConformeAll'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 |
* do-331，Supplationo sullo sviluppo e la Verifica模型的Do-178c e do-278a
**非包括GLI Obiettivi Che Richiedono Analisi Del Codice Oggetto E编译器。
做资格套件。
