Formazione MATLAB e Simulink

Applicazione della progettazione Model-Based per ISO 26262

Guarda il programma e iscriviti

Dettagli dei corsi

Questo corso di cinque giorni descrive i principi guida per l'applicazione della progettazione Model-Based per soddisfare la conformità alle norme ISO 26262 e IEC 61508, per lo sviluppo di software di sicurezza. Consente agli utenti di sfruttare l'ambiente di Simulink® per sintetizzare, implementare e convalidare i componenti software in modo coerente con i principi delle linee guida sulla sicurezza funzionale.
 
Elenco degli argomenti:
  • 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:

MATLAB Onramp e Simulink Onramp. Il presente corso è rivolto a utenti Simulink di livello intermedio o avanzato. È consigliata la conoscenza del linguaggio di programmazione C. È consigliata la conoscenza della norma ISO 26262.

Durata: 5 giorno

Lingue: Deutsch, English, 中文

Guarda il programma e iscriviti