D2b
Antonio Lioy
Marco Vallini
Politecnico di Torino
Dip. Automatica e Informatica
(Pisa, 10-12 Giugno 2015)
WP2 - Partners
•
•
•
•
•
POLITO
UNIFI
CNR Pisa
UNINA
CIS-UNIROMA
D2b - Obiettivi
• generalizzare metodologie di D2a
– fondere metodologie simili a IC diverse
• aggiornamento metodologie proposte
• completare metodologie di interdipendenza
– aggiungere avanzamenti nel settore power-grids
D2b – ToC (1)
• Chapter 1 - Introduction
– objectives: generic methodology (merging similar
methodologies, improvements), interdependency
models
– modeling systems of systems: approaches,
languages described into D2a suitable for more
general modelization
D2b – ToC (2)
• Chapter 2 - Modeling System of Systems:
– Dependability analysis of large-scale complex systems
(improvements)
• Chapter 3 - Methodologies and techniques for
security analysis:
– Multi-stage vulnerability analysis (improvements)
– Integration of Stochastic Formalisms to Support
Security Decisions (improvements)
– Detect attacks by using IDS and reachability analysis
(new: integration of two different approaches)
D2b – ToC (3)
• Chapter 4 - Methodologies and techniques for
defect prediction
– bug analysis (improvements)
• Chapter 5 - Domain specific methodologies
– interdependency model/methodology in powergrids (improvements)
– Other?
• Chapter 6 - Conclusions
Action points
• Versione draft D2b entro luglio 2015
• Versione finale D2b entro il meeting di
settembre 2015
Domande?
Grazie per l’attenzione!