MATLAB, Simulink e Polyspace per i sistemi embedded

Progettare, codificare e verificare sistemi embedded

MATLAB e Simulink consentono di generare codice e di eseguirlo sull’hardware premendo semplicemente un tasto. Tuttavia, quella della codifica è solo una delle possibili attività. Scopri come utilizzare MATLAB, Simulink e Polyspace per progettare, codificare e verificare il tuo prossimo sistema embedded, dalla prototipazione alla produzione. È possibile:

  • Generare C, C++, CUDA, Verilog, VHDL e testo strutturato ottimizzat
  • Utilizzare strumenti di progettazione a virgola mobile e fissa per valutare i compromessi costi-prestazioni should stay in one line. It's not correct to wrap up prestazioni
  • Verificare e profilare il codice generato utilizzando test in-the-loop
  • Rispettare gli standard quali AUTOSAR, ISO 26262, DO-178, MISRA C e CERT C
  • Prototipare sulle schede più comuni, da Arduino® a Zynq®, utilizzando i pacchetti di assistenza hardware aggiuntivi

“Grazie alla progettazione model-based, il primo volo è andato molto bene; non ci sono stati problemi di controllo o integrazione. La generazione del codice della legge di controllo dal nostro modello Simulink con Embedded Coder ha eliminato i rallentamenti causati dalla generazione manuale del codice e ha consentito al team di concentrarsi sugli obiettivi generali del programma.”

Mike Bothwell, Bell Helicopter

Interventi del Coder Summit

Guarda gli ingegneri del settore e lo staff di sviluppo presentare nuove funzionalità per la progettazione del software, la generazione di codice embedded e molto altro.

Coder Summit (17 video)

Generazione di codice da MATLAB

Genera codice C, C++, CUDA e HDL per MATLAB in sole tre fasi iterattive. Esegui e distribuisci il codice ovunque, dai desktop ai dispositivi mobili ai sistemi embedded. Con MATLAB Coder puoi generare automaticamente nuovo codice mentre sviluppi il tuo progetto, accelerando e incrementando le iterazioni progettuali.

Puoi integrare il codice generato come codice sorgente, librerie statiche o librerie dinamiche nelle tue applicazioni in esecuzione al di fuori di MATLAB su desktop o cloud. Puoi anche creare un pacchetto del codice generato come funzione MEX e utilizzarlo direttamente in MATLAB.

Generazione di codice embedded con MATLAB e Simulink

Ulteriori informazioni

Scopri i nostri prodotti

Kit di valutazione di sistemi embedded

Generazione di codice da Simulink

Utilizza Embedded Coder per tradurre i tuoi modelli in codice sorgente di alta qualità ed eseguibili per la prototipazione e la produzione. Utilizza le impostazioni predefinite C e C++, oppure ottimizza per prestazioni più elevate utilizzando le istruzioni SIMD, le classi di memorizzazione dei dati e gli inserimenti del codice nelle sezioni di memoria. Genera codice sorgente ANSI/ISO C/C++, MISRA-C o AUTOSAR che si colleghi al tuo sistema di runtime. Oppure, puoi generare un sistema “chiavi in mano” eseguibile e completo che scarichi ed esegua automaticamente il tuo dispositivo hardware personalizzato.

Esamina il codice generato per i tuoi modelli utilizzando i collegamenti di tracciabilità bidirezionali, oppure genera un report con le interfacce di codice, dati e funzioni e le metriche del codice.

Ulteriori informazioni

Scopri i nostri prodotti

Virgola fissa

Spostati rapidamente dai doppi utilizzando un insieme variegato di tipi di dati e strumenti per sviluppare algoritmi a virgola fissa e precisione singola a 8, 16 e 32 bit. Fixed-Point Designer fornisce funzioni quali operazioni matematiche, bitwise, array e di matrici, che ottimizzano il tuo progetto per il calcolo a virgola fissa e mobile.

Genera facilmente codice bit-true C e C ++ e codice sintetizzabile Verilog® e VHDL® dal tuo codice MATLAB, dai modelli Simulink e dai grafici Stateflow.

Con l’override dei tipi di dati, il tuo progetto a precisione singola o a virgola fissa embedded potrà immediatamente passare in precisione doppia per analizzare l’impatto della quantizzazione. Sono disponibili molti strumenti grazie ai quali è possibile individuare in modo facile e veloce le fonti di overflow, di perdita di precisione e di range o precisione inutilizzati.

Fixed-Point Designer

Ulteriori informazioni

Scopri i nostri prodotti

Polyspace

Verifica di progetti e codice

Crea, gestisci e traccia i requisiti per modelli, codice generato e casi di test. Verifica la conformità dei progetti agli standard dei modelli come MAAB. Sviluppa ed esegui test basati sulla simulazione (inclusi test per software-in-the-loop, processor-in-the-loop e hardware-in-the-loop). Embedded Coder consente di profilare il codice generato utilizzando il profiling a livello di attività e funzioni.

I prodotti Polyspace supportano il codice manuale e il codice generato. Consentono di verificare l'assenza degli errori di runtime, applicare regole di codifica e verificare eventuali vulnerabilità di sicurezza utilizzando standard come CWE, CERT-C e ISO /IEC 17961.

Ulteriori informazioni

Scopri i nostri prodotti

Standard supportati

Utilizza Embedded Coder per generare codice conforme ai più comuni software e standard di sicurezza come AUTOSAR e MISRA C. MathWorks offre kit di certificazione e qualificazione per sviluppare sistemi e strumenti di qualità secondo ISO 26262, IEC 61508, EN 50128, IEC 62304, DO-178, DO-254 e altri standard industriali per sistemi embedded nel settore automotive, medicale, ferroviario e aerospaziale.

Verifica degli standard

Ulteriori informazioni

Scopri i nostri prodotti

Scheda Discovery

Supporto hardware

Genera rapidamente codice e compilalo per il tuo hardware, qualunque sia la tua applicazione: elaborazione di segnali, visione artificiale, elaborazione di immagini o sistemi di controllo.

Genera codice e prototipalo su piattaforme embedded come Raspberry Pi™ o Arduino®. Sulle piattaforme mobili, integra il codice generato nella tua app ed eseguilo su dispositivi iPhone, iPad o Android™, accedendo ai sensori di bordo come la videocamera, il microfono e l’accelerometro. Implementa il tuo sistema embedded in microprocessori potenti.

Inoltre, MathWorks e i partner di Connections offrono integrazioni predefinite e chiavi in mano per gli hardware più comuni, tra cui:

Scopri i nostri prodotti

Scopri gli esempi

Parti dalle operazioni di base per arrivare a quelle più avanzate grazie ad esempi e tutorial interattivi.

Explore MATLAB examples
Explore Simulink examples
Explore Polyspace examples

Come possiamo aiutarti?

Contattaci per ricevere una valutazione personalizzata e ottenere una quotazione sulla base delle tue esigenze.

Per cominciare

Impara dagli utenti

Utenti MATLAB

Utenti Polyspace

Utenti Simulink

Case study dettagliato di DO-178
Case study dettagliato di DO-178
Questo case study utilizza un semplice sistema di controllo dell'elicottero per dimostrare un flusso di lavoro compatibile con ARP4754A, DO-178C e DO-331.

Come utilizzare Simulink per i progetti ISO 26262

Leggi l’articolo