Grazie per aver inviato la tua richiesta! Uno dei nostri team membri ti contatterà a breve.
Grazie per aver inviato il tuo prenotazione! Uno dei nostri team membri ti contatterà a breve.
Struttura del corso
Introduzione
- Presentazione del docente e dei partecipanti
- Nozioni introduttive sulla modellazione
- Introduzione a SysML
- Presentazione di MagicDraw/Cameo
- Definizione di uno studio di caso
Decomposizione strutturale del sistema
- Notazione dei diagrammi dei pacchetti
- Suddivisione del sistema in pacchetti
- Modellazione delle dipendenze tra pacchetti
- Esercitazione pratica: modellare la struttura dei pacchetti
Analisi dei requisiti dell’utente
- Notazione dei diagrammi dei casi d’uso
- Identificazione degli attori coinvolti
- Individuazione dei casi d’uso
- Relazioni tra i diversi casi d’uso
- Esercitazione pratica: modellare i casi d’uso
Definizione dei requisiti del sistema
- Dal caso d’uso ai requisiti del sistema
- Notazione dei diagrammi dei requisiti
- Formulazione dettagliata dei requisiti
- Strutturazione dei requisiti in gerarchie
- Verifica dei requisiti tramite casi di test
- Relazioni tra i diversi requisiti
- Esercitazione pratica: modellare i requisiti del sistema
Definizione dei blocchi strutturali (prospettiva a scatola nera)
- Notazione dei diagrammi di definizione dei blocchi
- Costituzione dei blocchi strutturali del sistema
- Specifica delle proprietà associate ai blocchi
- Definizione delle relazioni reciproche tra i blocchi
- Creazione di un dizionario dati del sistema
- Esercitazione pratica: modellare la vista a scatola nera del sistema
Modellazione della struttura dei blocchi (prospettiva a scatola bianca)
- Diagrammi di blocco interno
- Rappresentazione grafica delle componenti del sistema
- Collegamento tra i vari componenti mediante connettori
- Definizione dei porti di interfaccia
- Modellazione dei flussi di informazioni e definizione dei blocchi d’interfaccia
- Esercitazione pratica: modellare la vista a scatola bianca del sistema
Modellazione delle vincoli sistematici
- Creazione dei blocchi contenenti i vincoli
- Associazione tra proprietà numeriche e valori specificati
- Esecuzione di analisi parametriche sui modelli
- Esercitazione pratica: applicare le tecniche parametriche nel modello
Progettazione del comportamento dinamico del sistema
- Notazione dei diagrammi a macchina a stati
- Identificazione degli stati possibili di ciascun componente
- Definizione degli eventi che determinano il cambio di stato
- Specifica dei segnali in ingresso e in uscita dal sistema
- Descrizione delle azioni conseguenti a un cambio di stato
- Esecuzione delle macchine a stati definite nel modello
- Esercitazione pratica: modellare le macchine a stati del sistema
Progettazione dei flussi di controllo e dati
- Diagrammi di attività
- Identificazione delle operazioni da eseguire nel sistema
- Definizione dei parametri impiegati nei calcoli
- Elaborazione delle singole azioni previste dal modello
- Modellazione del flusso di controllo generale e dei relativi passaggi
- Modellazione dei flussi informativi interni al sistema
- Esecuzione delle attività previste nel modello
- Esercitazione pratica: costruire i diagrammi di attività del progetto
Progettazione delle comunicazioni tra componenti
- Notazione dei diagrammi di sequenza
- Modellazione delle linee temporali relative a ogni elemento coinvolto
- Creazione di messaggi interscambiati tra i componenti
- Suddivisione complessa degli scambi informativi tramite opportuni riferimenti
- Utilizzo dei frammenti di interazione per gestire situazioni complesse
- Definizione dei vincoli temporali all’interno del sistema
- Esercitazione pratica: modellare le comunicazioni nel dettaglio
Modellazione di costrutti trasversali al design generale
- Distinzione tra architetture logiche e fisiche del sistema
- Rappresentazione grafica delle relazioni di allocazione tra elementi differenti
- Scelta delle modalità più adatte alla visualizzazione delle suddette relazioni
- Classificazione dei diversi tipi di assegnazione possibili nel modello
- Generazione automatica della matrice d’allocazione per analisi immediate
- Esercitazione pratica: costruire e interpretare la matrice d’allocazione del sistema
Validazione dei modelli
- Introduzione generale al corso
- Nozioni iniziali riguardo alla validazione formale dei modelli
- Creazione di suite personalizzate per la verifica del modello
- Introduzione alle metriche applicabili ai modelli analizzati
- Utilizzo delle suite predefinite di valutazione qualitativa del design
- Realizzazione di suite di misurazione specifiche per il proprio progetto
Modelli ed espressioni strutturate
- Modulo 01 – Introduzione generale al tema
- Modulo 02 – Concetti fondamentali da conoscere in partenza
- Modulo 03 – Struttura metadati e profili UML del sistema analizzato
- Modulo 04 – Operazioni principali di navigazione interna al modello
- Modulo 05 – Funzioni di ricerca, test filtraggio e individuazione di corrispondenze utili
- Modulo 06 – Gestione dei valori numerici o caratteristiche proprie di ogni componente modellato
- Modulo 07 – Realizzazione di script personalizzati per gestire operazioni ripetitive
- Modulo 08 – Applicazioni pratiche realizzabili grazie all’utilizzo avanzato di MagicDraw
Durata stimata delle sessioni didattiche
- Laboratori pratici: 60%
- Lezioni teoriche con presentazioni grafiche: 35%
- Dimostrazioni tecnico-applicative: 5%
Requisiti
Nessun prerequisito è richiesto.
Destinatari del corso:
- Ingegneri dei sistemi impegnati nella modellazione architettonica e nella progettazione di sistemi.
- Professionisti specializzati nell'Ingegneria dei Sistemi Basata sui Modelli (MBSE).
40 ore
