=====in costruzione=====
Tirocini della laurea triennale:
- Estendere il tool DrawNET con nuovi formalismi:
- Il tool drawNET e' un tool grafico per la
manipolazione di modelli "a grafo", quali grafi diretti, grafi
bipartiti, automi a stati finiti, reti di Petri, alberi di guasto,
state chart UML, etc.; il tool prevede un semplice linguaggio per la
definizione di nuovi formalismi.
- Si chiede di estendere DrawNET inserendo un nuovo
formalismo: una particolare classi di automi che sono stati definiti
nel progetto europeo CRUTIAL
allo scopo di modellare l'evoluzione nei diversi stati della
rete di distribuzione elettrica
<>L'attivita' richiede una buona conoscenza del
linguaggio Java (che si suppone acquisita prima del tirocinio) e delle
librerie Java di manipolazione dei modelli associate a DrawNET
(conoscenza che verra' acquisita durante il tirocinio)
>
- <>Modellazione UML di infrastrutture critiche - scenari di
prova (progetto europeo CRUTIAL )>
- nel progetto CRUTIAL e' stato definito un insieme
di modelli (diagrammi di classe, di attivita', di sequenza, casi d'uso
e diagrammi di stato) che rappresentano la struttura e le funzionalita'
della rete elettrica italiana. Sono poi stati definiti degli scenari di
prova, per verificare la resistenza della rete elettrica e
dell'infrastruttura informatica di supporto ai cyber-attack (Denial of
Service, Man in the middle).
- Si chiede di estendere il modello UML a modellare
tali scenari. Si richiede conoscenza di UML
- Testing di un programma di traduzione da reti di Petri Timed
a Timed Automata
- si richiede di effettuare un'analisi sperimentale
della complessita' di un programma C per la traduzione da reti di Petri
a timed automata, su una serie di casi di test, e di confrontare i
risultati ottenuti con il tool Romeo (ambedue gli strumenti possono
essere resi disponibili nei nostri laboratori o sui computer personali)
- Sperimentazione con il simulatore di reti di comunicazione ISSFNet
Tesi di Laurea Magistrale:
Definizione del meccanismo di Query DnQL per modelli definiti in DrawNET:
- definizione di un linguaggio di Query
(DnQL), con cui interrogare un modello per estrapolarne informazioni.
Si chiede di collaborare alla definizione di un linguaggio SQL-like per
interrogare un modello, e nell'implementarne un parser che interpreti
le query (esempio di una query "SELECT all models with final states"
- l'implementazione sfrutta la libreria DrawNET Data Definition
Language per la definizione dei modelli