MATLAB, Simulink e Polyspace per i sistemi embedded

Progettazione, codifica e verifica di sistemi embedded

Richiedi una quotazione Contatta l’ufficio addetto alle vendite

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. Potrai:

Generare codice C, C++, CUDA, Verilog, VHDL e testo strutturato ottimizzato
Utilizzare strumenti di progettazione a virgola mobile e a virgola fissa per valutare i tradeoff tra costi e prestazioni
Verificare e analizzare le prestazioni del codice generato mediante test in-the-loop
Rispettare standard quali AUTOSAR, ISO 26262, DO-178, MISRA C e CERT C
Realizzare prototipi sulle schede più utilizzate, da Arduino^® a Zynq^®, con i componenti aggiuntivi del pacchetto di supporto hardware

"Con la progettazione Model-Based abbiamo effettuato con successo un primo volo; non ci sono stati problemi né dal punto di vista del controllo né dell'integrazione. La generazione di codice della legge di controllo dal nostro modello Simulink con Embedded Coder ha eliminato i rallentamenti causati dalla generazione manuale di codice e ha consentito al team di concentrarsi sul raggiungimento degli obiettivi più ampi del programma".

Generazione di codice da MATLAB

Genera codice C, C++, CUDA e HDL per MATLAB in soli tre passaggi iterativi. Esegui e distribuisci il codice ovunque, dai computer desktop ai dispositivi mobili fino ai sistemi embedded. Man mano che sviluppi il tuo progetto, MATLAB Coder può generare automaticamente nuovo codice, eliminando la necessità di scriverlo manualmente. Ciò consente di accelerare il processo e di effettuare più iterazioni di progettazione.

Puoi integrare il codice generato come codice sorgente, librerie statiche o librerie dinamiche nelle tue applicazioni in esecuzione al di fuori di MATLAB, sia su desktop che su Cloud. Puoi anche pacchettizzare il codice generato come funzione MEX e utilizzarla direttamente in MATLAB.

Ulteriori informazioni

Generazione di codice embedded con MATLAB e Simulink

Generazione di codice da Simulink

Usa Embedded Coder per convertire i tuoi modelli in codice sorgente ed eseguibili di alta qualità per la prototipazione e la produzione. Utilizza le impostazioni predefinite per C e C++ oppure ottimizza le prestazioni utilizzando istruzioni SIMD, classi di memorizzazione dei dati e assegnazioni del codice alle sezioni di memoria. Genera codice sorgente ANSI/ISO C/C++, MISRA-C o AUTOSAR integrabile nel tuo sistema runtime. In alternativa, puoi generare un eseguibile completo pronto all’uso, che viene scaricato ed eseguito automaticamente sul tuo dispositivo hardware personalizzato.

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

Ulteriori informazioni

Virgola fissa

Passa rapidamente dai valori double allo sviluppo di algoritmi a virgola fissa a 8, 16 e 32 bit e algoritmi in precisione singola utilizzando un’ampia gamma di tipi di dati e strumenti dedicati. Fixed-Point Designer fornisce funzioni, come operazioni matematiche, bitwise, su array e su matrici, che ottimizzano il progetto per i calcoli a virgola fissa e a virgola mobile.

Genera facilmente codice C e C++ bit-true e codice Verilog^® e VHDL^® sintetizzabile a partire dal codice MATLAB, dai modelli Simulink e dai diagrammi Stateflow.

Utilizzando l’override del tipo di dati, puoi passare istantaneamente dalla progettazione embedded a virgola fissa o a precisione singola alla doppia precisione per analizzare l’impatto della quantizzazione. Sono inoltre disponibili strumenti che consentono di identificare e facilmente e rapidamente le cause di overflow, perdita di precisione e range o precisione inutilizzati.

Ulteriori informazioni

Verifica dei progetti e del codice

Crea, gestisci e traccia i requisiti in base a modelli, codice generato e casi di test. Verifica la conformità dei progetti agli standard dei modelli, come MAB. Sviluppa ed esegui test basati sulla simulazione, inclusi test Software-In-the-Loop, Processor-In-the-Loop e Hardware-In-the-Loop. Embedded Coder consente di profilare il codice generato a livello di attività e di funzione.

I prodotti Polyspace supportano sia il codice scritto manualmente che quello generato. Consentono di dimostrare l’assenza di errori di runtime, nonché di verificare il rispetto delle regole di codifica e la presenza di vulnerabilità di sicurezza utilizzando standard quali CWE, CERT-C e ISO/IEC 17961.

Ulteriori informazioni

Come utilizzare Simulink Design Verifier per rilevare automaticamente gli errori di progettazione nei propri modelli Simulink (3:31)

Conformità agli standard

Utilizza Embedded Coder per generare codice conforme ai principali standard software e di sicurezza, come AUTOSAR e MISRA C. MathWorks offre kit di certificazione e qualificazione per sviluppare sistemi e qualificare gli strumenti in conformità a ISO 26262, IEC 61508, EN 50128, IEC 62304, DO-178, DO-254 e ad altri standard industriali per sistemi embedded in ambito automotive, medicale, ferroviario e aerospaziale.

Ulteriori informazioni

Supporto hardware

Genera rapidamente codice e compilalo per il tuo hardware, indipendentemente dall’applicazione, che si tratti di elaborazione di segnali, visione artificiale, elaborazione di immagini o sistemi di controllo.

Genera codice e realizza prototipi su piattaforme embedded come Raspberry Pi™ o Arduino^®. Sulle piattaforme mobili, integra il codice generato nella tua app ed eseguilo su iPhone, iPad o dispositivi Android™, accedendo anche ai sensori integrati, come videocamera, microfono e accelerometro. Distribuisci il tuo sistema embedded su microprocessori ad alte prestazioni.

Inoltre, MathWorks e i partner Connections offrono integrazioni predefinite e pronte all’uso per le piattaforme hardware più diffuse.

Ulteriori informazioni