La definizione e analisi di requisiti è un'attività preliminare necessaria per la progettazione e sviluppo di un sistema cyber fisico, che consente di evitare costi e ritardi nelle seguenti fasi di design ed implementazione. Nel corso di questo seminario, illustreremo le più comuni problematiche relative alla scrittura di requisiti e mostreremo come l'adozione di tool specifici possa supportare tale attività. In particolare, concentreremo la nostra attenzione sull'utilizzo pratico del tool ReqV, strumento software che consente di formalizzare e automaticamente controllare la consistenza di un insieme di requisiti.
S I M O N E V U O T T O
R e s e a r c h A s s i s t a n t , U n i v e r s i t à d i S a s s a r i
M o d e l l a z i o n e e V e r i f i c a n e i C y b e r - P h y s i c a l S y s t e m s
P R O G E T T O C L U S T E R P R O S S I M O - G I O R N A T A D I F O R M A Z I O N E E T R A S F E R I M E N T O T E C N O L O G I C O
G I U S E P P E C I C A L A
R e s e a r c h A s s i s t a n t , U n i v e r s i t à d i G e n o v a 17 DICEMBRE 2019 | ORE 10:30
SARDEGNA RICERCHE, LOC. PIXINAMANNA (EDIFICIO 2) - PULA
Strumenti per la formalizzazione e verifica di requisiti
Ptolemy II è uno strumento software open source sviluppato per la progettazione e la simulazione di sistemi cyber-fisici (CPS) che utilizzano modelli eterogenei basati su attori gerarchici. Gli attori sono componenti software che vengono eseguiti in maniera concorrente e comunicano utilizzando messaggi inviati tramite porte interconnesse. Nel corso di questo tutorial verranno esposti, mediante l'utilizzo di esempi, i principi base per la modellazione e la simulazione di CPS utilizzando Vergil, l'ambiente grafico di Ptolemy II.
Modellazione e Simulazione di Sistemi Cyber-Fisici con Ptolemy II