Struttura del corso
Introduzione
- Presentazione del docente e dei partecipanti
- Nozioni introduttive sulla modellazione
- Concetti fondamentali di SysML
- Introduzione a MagicDraw/Cameo
- Definizione di un caso studio
Decomposizione strutturale del sistema
- Notazione dei diagrammi di pacchetto
- Suddivisione del sistema in pacchetti
- Definizione delle dipendenze tra i pacchetti
- Esercitazione pratica: modellazione della struttura dei pacchetti
Analisi dei requisiti dell’utente
- Notazione dei diagrammi dei casi d’uso
- Identificazione degli attori coinvolti
- Riconoscimento dei casi d’uso possibili
- Relazioni tra i diversi casi d’uso
- Esercitazione pratica: modellazione dei casi d’uso
Definizione dei requisiti del sistema
- Dai casi d’uso ai requisiti funzionali e tecnici
- Notazione dei diagrammi dei requisiti
- Descrizione dettagliata dei requisiti
- Strutturazione gerarchica dei requisiti
- Verifica dei requisiti tramite test case
- Relazioni tra i vari requisiti
- Esercitazione pratica: modellazione dei requisiti
Definizione dei blocchi strutturali (vista a scatola nera)
- Notazione dei diagrammi di definizione dei blocchi
- Il concetto di blocco strutturale
- Definizione delle proprietà dei blocchi
- Relazioni tra i vari blocchi
- Creazione del dizionario dati del sistema
- Esercitazione pratica: modellazione della vista a scatola nera di un sistema
Modellazione della struttura interna dei blocchi (vista a scatola bianca)
- Diagrammi di blocco interno
- Rappresentazione visiva delle parti costituenti i blocchi
- Collegamento tra le parti tramite connettori
- Definizione dei porti di interfaccia
- Flussi di dati e definizione dei blocchi di interfaccia
- Esercitazione pratica: modellazione della vista a scatola bianca del sistema
Modellazione delle restrizioni di sistema
- Definizione dei blocchi vincolanti
- Assegnazione dei valori numerici alle proprietà vincolanti
- Esecuzione di analisi parametriche
- Esercitazione pratica: modellazione delle relazioni parametriche
Progettazione del comportamento dinamico del sistema
- Notazione dei diagrammi a macchina degli stati
- Identificazione degli stati possibili di un componente
- Definizione degli eventi che determinano i cambiamenti di stato
- Descrizione dei segnali in ingresso e uscita
- Effetti comportamentali generati dagli stati
- Esecuzione simulata delle macchine degli stati
- Esercitazione pratica: modellazione delle macchine degli stati
Progettazione dei flussi di controllo e dati
- Diagrammi di attività
- Definizione delle singole attività svolte dal sistema
- Specificazione dei parametri coinvolti
- Descrizione degli operatori logici impiegati
- Modellazione del flusso di controllo e dei percorsi decisionali
- Rappresentazione grafica dei flussi dati
- Esecuzione simulata delle attività definite
- Esercitazione pratica: modellazione di attività complesse
Progettazione della comunicazione tra componenti
- Notazione dei diagrammi di sequenza
- Rappresentazione delle “linee di vita” degli elementi coinvolti
- Definizione e modellazione dei messaggi scambiati tra componenti
- Suddivisione complessa di interazioni tramite riferimenti a diagrammi correlati
- Applicazione dei frammenti d’interazione per gestire la complessità delle comunicazioni
- Definizione delle restrizioni temporali tra gli eventi
- Esercitazione pratica: modellazione di interazioni multiple
Modellazione delle relazioni trasversali nell’architettura
- Differenze tra architetture logiche e fisiche del sistema
- Rappresentazione grafica dei rapporti di allocazione tra componenti
- Opzioni di visualizzazione delle relazioni di allocazione disponibili nel software
- Identificazione dei diversi tipi di allocazioni possibili
- Utilizzo della matrice di allocazione per tracciare le corrispondenze tra livelli architetturali
- Esercitazione pratica: costruzione e utilizzo di una matrice di allocazione
Formazione sulla simulazione
- Introduzione generale al mondo della simulazione
- Simulazione dell’architettura complessiva del sistema
- Analisi dei diagrammi di attività mediante simulazione
- Simulazione dei comportamenti descritti nei diagrammi a macchina degli stati
- Verifica delle interazioni tra componenti tramite diagrammi di sequenza
- Valutazione dinamica dei diagrammi parametrici attraverso la simulazione
- Automatizzazione della verifica dei requisiti grazie agli strumenti di simulazione
Requisiti
Nessun requisito preliminare.
Destinatari del corso:
- Ingegneri di sistemi impegnati nella modellazione architetturale e nella progettazione dei sistemi. /li>
- Professionisti specializzati nell'Ingegneria dei Sistemi basata sui Modelli (MBSE). /li>
Recensioni (2)
Conoscenza, coinvolgimento e rapporto del formatore
Adam Kuklewski - GE Medical Systems Polska
Corso - Technical Architecture and Patterns
Traduzione automatica
La correlazione diretta con l'oggetto del nostro lavoro negli esempi
Gabriel Gutierrez - ARGOTEC S.r.l.
Corso - Systems Modelling with SysML
Traduzione automatica