Progettazione Model-Based per sistemi embedded di produzione in tempo reale
La progettazione Model-Based è un modo economico ed efficiente per sviluppare sistemi embedded complessi nel settore aerospaziale, automobilistico, delle comunicazioni e in altri ambiti. Invece di affidarsi a prototipi fisici e a specifiche testuali, la progettazione Model-Based si serve di un modello di sistema quale specifica eseguibile durante l’intera fase di sviluppo. Supporta la progettazione e la simulazione a livello di sistema e di componente, la generazione automatica di codice e test e verifiche in continuo. Tali funzionalità, abbinate a una comunicazione migliorata grazie all’uso di modelli grafici, potenti strumenti analitici e la tracciabilità requisiti-modelli-codice, hanno di fatto reso la progettazione Model-Based la metodologia di progettazione dei sistemi embedded.
Servendosi dell’esperienza tecnica acquisita grazie alla collaborazione con centinaia di aziende, MathWorks Consulting Services ti aiuta a risolvere i problemi di distribuzione e applicazione nel campo della progettazione Model-Based.
Modellazione di sistemi embedded in tempo reale a garanzia di efficienza, funzionalità e verifica
MathWorks Consulting Services ti aiuta a sviluppare un workflow generale di progettazione Model-Based in base alle esigenze specifiche del tuo progetto. Ti assisteremo nella creazione dell’architettura dei modelli e dei dati per facilitare le attività simultanee di sviluppo, testabilità, leggibilità e riusabilità. Inoltre, ti insegneremo e adotteremo le migliori pratiche del settore per la modellazione, compresa la redazione di linee guida di stile per modelli personalizzati in base agli obiettivi della tua azienda.
Garanzia di qualità, coerenza e precisione dei requisiti, oltre a una progettazione ottimizzata
Insieme a te cercheremo di definire una strategia di simulazione che includa lo sviluppo di modelli di impianto con un grado di fedeltà adeguato per consentire la convalida dei requisiti di alto livello tramite la simulazione a livello di sistema, l’ottimizzazione della progettazione e l’affinamento e la verifica dei requisiti di basso livello per mezzo della simulazione a livello di unità. I consulenti MathWorks ti mostreranno come usare la simulazione a livello di sistema per determinare i valori di calibrazione o regolazione iniziali.
Generazione di codice efficiente e relativa integrazione nell’architettura software
I consulenti MathWorks ti spiegheranno come configurare i tuoi modelli e generare codice in linea con l’architettura software del tuo progetto, a eseguire l’integrazione con i sistemi operativi e a interfacciarti con i driver di dispositivi hardware e utility precedenti. Ti mostreremo come configurare i tuoi dati, le funzioni e i file generati a partire da un modello per ottenere le interfacce software e gli standard di codifica necessari.
Garanzia di qualità del progetto e ottenimento della conformità a un costo ridotto
Ti guideremo nel processo di sviluppo di un framework di verifica per eseguire test funzionali, strutturali e di robustezza in modo tale da soddisfare le esigenze specifiche del progetto. Il framework funziona con diversi input di test, mediante l’analisi dei risultati, compresi i criteri di esito positivo/negativo e la generazione degli artefatti richiesti. Il framework è realizzato su misura per il raggiungimento degli obiettivi qualitativi dell’azienda e il rispetto degli standard di certificazione di settore come DO-178C, ISO 26262 e IEC 61508. Possiamo aiutarti a definire o ad affinare il tuo processo di sviluppo in base agli standard di certificazione, affinché tu possa trarre il massimo da MATLAB e Simulink oltre a ottenere una notevole riduzione del carico di lavoro dedicato allo sviluppo.
I consulenti MathWorks ti aiuteranno a:
- Raggiungere il livello desiderato di coerenza, qualità ed efficienza del tuo progetto con un minor numero di iterazioni
- Sviluppare oppure ottimizzare il workflow con la progettazione Model-Based per ridurre le attività di sviluppo e i tempi di immissione sul mercato
- Aumentare le competenze in-house grazie a sessioni di coaching basate sui progetti e al trasferimento delle conoscenze
Hai domande?
Come generare casi di test in base ai requisiti
Con “modellazione delle specifiche” si intende la pratica che consiste nel creare modelli che definiscono il comportamento atteso di un sistema. Scopri come generare casi di test basati sui requisiti utilizzando Simulink Design Verifier a partire da un modello di specifica.
