Dettagli dei corsi
- Progettazione e implementazione di software modulare utilizzando sottosistemi, librerie e modelli di Simulink.
- Gestione della tracciabilità tra requisiti, architettura, sottosistemi, test e codice.
- Implementazione della verifica e della convalida precoci durante lo sviluppo del software utilizzando test Model-Based e Code-Based.
- Determinazione e applicazione degli standard di software in tutte le fasi del processo di sviluppo.
- Semplificazione della qualificazione degli strumenti utilizzando l'IEC Certification Kit (for ISO 26262 and IEC 61508).
Giorno 1/5
Panoramica sulla ISO 26262 e sulla progettazione Model-Based
Obiettivo: Richiedere una panoramica sulla norma ISO 26262 e del suo ruolo nel settore automobilistico. Discutere il coinvolgimento e il livello di assistenza di MathWorks nell'ambito di questa norma.
- Norma ISO 26262
- Panoramica sulla progettazione Model-Based
- Workflow di riferimento
Gestione di un progetto
Obiettivo: Organizzare i file del progetto (modelli, dati, documentazione). Familiarizzare con l'ambiente del progetto.
- Configurazione del progetto
- Collegamenti rapidi ed etichette per i file
- Analisi della dipendenza dei file
Creazione di un modello
Obiettivo: Creare e simulare un modello di Simulink per lo sviluppo di algoritmi. Gestire i dati del modello utilizzando i dizionari dei dati.
- Ambiente di Simulink
- Modelli a tempo discreto
- Tempo di campionamento
- Simulazione e analisi
- Dizionario dei dati
- Selezione del solutore
Conformità del modello
Obiettivo: Scoprire come configurare e applicare standard di modellazione e verificare gli errori comuni di modellazione.
- Standard di modellazione
- Controlli edit-time
- Model Advisor
- Report sui risultati
Giorno 2/5
Gestione dei requisiti
Obiettivo: Collegare un modello di Simulink ai requisiti del software.
- Insiemi dei requisiti
- Importazione dei requisiti
- Collegamento dei requisiti
Verifica di unità software
Obiettivo: Creare casi di test time-based e logic-based per un modello Simulink.
- Tipologie di verifica
- Rilevamento degli errori di progettazione
- Creazione di un harness di test
- Input di test
- Logica nei test
- Valutazioni basate sui requisiti
Generazione di codice per un'unità software
Obiettivo: Generare codice per un'unità software. Personalizzare il codice generato per ottimizzare l'archiviazione e l'esecuzione dei dati.
- Generazione di codice per la funzione a gradino
- Prototipi di funzione
- Ottimizzazione dell'archiviazione dei dati
- Tipi di dati e classi di archiviazione
- Oggetti di dati
- Template di funzione
Giorno 3/5
Sottosistemi
Obiettivo: Creare una suddivisione funzionale all'interno di un'unità software utilizzando i sottosistemi. Confezionare i sottosistemi in blocchi libreria per riutilizzarli. Creare partizioni nel codice generato.
- Sottosistemi
- Sottosistemi di varianti
- Rifermenti a sottosistemi
- Maschere
- Librerie
- Generazione di codice del sottosistema
Modellazione multivelocità
Obiettivo: Introdurre un approccio di modellazione basato sulla velocità e sulle funzioni di esportazione. Gestire la transizione tra le velocità.
- Esecuzione a blocchi
- Sistemi single-rate
- Sistemi multivelocità
- Transizioni di velocità
- Modelli di funzioni di esportazione
Modellazione dell'architettura
Obiettivo: Creare un modello di architettura software utilizzando System Composer. Analizzare l'architettura del software e collegarla al modello comportamentale.
- Modello di architettura
- Profili e stereotipi
- Editor dell'interfaccia
- Visualizzazioni
- Collegamento del modello comportamentale
Giorno 4/5
Integrazione del sistema
Obiettivo: Organizzare le unità software in un modello di integrazione utilizzando la referenziazione del modello. Configurare le impostazioni del modello e i dizionari dei dati in modo che possano essere condivisi tra i diversi modelli nella fase di integrazione.
- Considerazioni sui componenti di sistema
- Modelli referenziati
- Dizionari dei dati referenziati
- Set di configurazione referenziato
- Generazione di codice per il modello di integrazione
- Workspace del modello
Test in-the-loop
Obiettivo: Testare e verificare il codice generato utilizzando tecniche di test in-the-loop.
- Test del Software-In-the-Loop
- Profiling del codice
- Test del software dei modelli referenziati
- Test del Processor-In-the-Loop
Automazione della verifica
Obiettivo: Creare gruppi di test ripetibili e generare automaticamente report a partire dai risultati di test.
- File di test
- Coverage di un modello
- Coverage del codice
- Generazione automatica di test
- Report sui risultati di test
Giorno 5/5
Verifica del codice
Obiettivo: Eseguire l'analisi statica sul codice generato per garantire la conformità del codice alla norma MISRA C:2012.
- Verifica del codice utilizzando Polyspace Bug Finder
- Conformità del software MISRA C:2012
- Metriche del codice
Creazione di report
Obiettivo: Analizzare i metodi per la creazione automatica di report e documenti a partire da modelli Simulink. Discutere i metodi di gestione della configurazione nell'ambiente del progetto.
- Dashboard dei test sul modello
- Visualizzazioni web
- Report standard
- Integrazione del source control
- Differenze tra i file
Qualificazione dello strumento
Obiettivo: Utilizzare l’IEC Certification Kit (for ISO 26262 and IEC 61508) per qualificare gli strumenti di MathWorks al soddisfacimento della conformità ISO 26262
- Qualificazione dello strumento
- IEC Certification Kit (for ISO 26262 and IEC 61508)
Case study
Obiettivo: Applicare la progettazione Model-Based per implementare un algoritmo di controllo per mostrare il workflow di riferimento.
Livello: Avanzato
Prerequisiti:
Durata: 5 giorno
Lingue: Deutsch, English, 中文