D2b Antonio Lioy Marco Vallini Politecnico di Torino Dip. Automatica e Informatica (Pisa, 10-12 Giugno 2015)

Slides:



Advertisements
Presentazioni simili
Primary Italian Saying How You Are.
Advertisements

SEI IN FORMA? Mercoledì, ventisette gennaio Objectives - focus on speaking skills: develop confidence - use modal verbs (can/be able/must/have to) - use.
Le novità della versione 18 Vera Dean Support Account Manager Atlantis Srl Milano, giugno 2007.
1.E un algoritmo ricorsivo: Tutti le istanze di oggetti raggiungibili da un oggetto persistente diventano anchessi persistenti.
Very Small Databases (VSDB) C. Bolchini F. A. Schreiber L. Tanca Politecnico di Milano.
Sandro Bologna - ENEA Roma 06 luglio 2007 ENEA per il Governo e la Sicurezza delle Grandi Reti Tecnologiche ed Energetiche E NTE PER LE N UOVE TECNOLOGIE.
Queuing or Waiting Line Models
Certificazioni del personale e certificazioni dei sistemi di gestione della sicurezza delle informazioni L’ICT Security Manager: ruolo, programma di formazione.
C.I.S.A.M Maggio 2012 Simulazione e sperimentazione di schermature magnetiche per infrastrutture elettriche Prof. Aldo Canova, Ing. Luca Giaccone,
PeopleNet 2° plenary meeting Bormio, 9 gennaio, 2013.
Brainstorming Transportation Marco Vallini ( ) Politecnico di Torino Dip. Automatica e Informatica (Roma, Giugno 2013)
Come nella stampa tradizionale, un giornale online può essere di informazione informazione o un periodico dedicato a una disciplina specifica.
Presentazione del WP2 Antonio Lioy ( )
AWK Salvatore Campagna
Distribuzione del numero di alleli condivisi da coppie di fratelli e di non-parenti tipizzati rispettivamente per 5, 9 e 13 markers.
Frequency Domain Processing
FASTVID RENTALS: BUSINESS MODELING 1. Business Modeling One of the major problems with most business engineering efforts, is that the software engineering.
A man has decided to include in his home intelligent systems to monitor the home. He installed two water pulse counters into the central water system.
Aggiornamento D2a Antonio Lioy ( ) Marco Vallini ( Politecnico di Torino Dip. Automatica e Informatica (Ischia,
Deliverable D5 “Validation and Evaluation” Progress.
D2b Antonio Lioy Marco Vallini Politecnico di Torino Dip. Automatica e Informatica (Sestriere, Gennaio 2015)
WP4 – Software Infrastructures. How it was Overall goal “The outcome of WP4 is the design, implementation and evaluation of software components that will.
The role of supervision in a volunteer group: positive and negatives aspects related to the training il ruolo della supervisione in un gruppo di clown.
Adriana Maggi DOCENTE DI BIOTECNOLOGIE FARMACOLOGICHE CORSO DI LAUREA SPECIALISTICA IN BIOTECNOLOGIE DEL FARMACO Lezione 2.
ISTITUTO D’ISTRUZIONE SUPERIORE COMMERCIALE INDUSTRIALE AMELIA I.T.C NARNI a.s. 2002/ /2004 CLASSI 1A 1B 2A 2B.
Final Notes Fai della Paganella 12 Febbraio 2014 Roberto Baldoni.
CMS RPC R&D for phase 2 Two types of upgrades proposed for the CMS RPC muon system: 1.Aging and longevity: installed in 2007, must continue to operate.
Final Notes Sestriere 23 Gennaio 2015 Roberto Baldoni.
Sezione di Padova Contributo alla costruzione dei layers 6,7 Possibili task per PADOVA:  precedente proposta: R&D della procedura di assemblaggio degli.
Modellizazione dei flussi di ozono The workshop and Task Force Meeting (ICP Vegetation) proposed that the flux-based indicators should be included in the.
“Mathematical Engineering”
CMS RPC R&D for phase 2 Two types of upgrades proposed for the CMS RPC muon system: 1.Aging and longevity: installed in 2007, must continue to operate.
La convergenza digitale Torino, 29 novembre 2005 Claudio Inguaggiato.
1 M&O cat A - consuntivo provvisorio modifica del preventivo 2004 M&O cat B ancora non sono previsti. (saranno presentati al RRB di Aprile) Profili.
Taccani1 7.4 Identification ANALISI DEI PERICOLI Hazard Analysis Identificazione Valutazione Misure di Controllo Control Measures Assessment.
1 Ugo Montanari Dipartimento di Informatica Università di Pisa Moving Forward at the Age of 33 A new building for the Dipartimento di Informatica June.
Draft planning of the report Massimo Sgaravatto INFN Padova.
A.A CORSO DI BIOINFORMATICA 2 per il CLM in BIOLOGIA EVOLUZIONISTICA Scuola di Scienze, Università di Padova Docenti: Prof. Giorgio Valle.
MaTeRiA Materiali e Tecnologie per la Ricerca Avanzata i n v e s t i a m o n e l v o s t r o f u t u r o STAR source: Status of the Control System.
«Lo sviluppo della contrattazione di sito in un’ottica di responsabilità sociale d’impresa e del territorio: le sfide per il sindacato» (VP/2013/0358)
Mobilità tra i Paesi del Programma KA103 A.A. 2014/2015 (KA103) Mobility Tool+ e il Rapporto Finale Claudia Peritore Roma luglio 2015.
Meeting TENACE Conclusioni Pisa 12 Giugno 2015 Roberto Baldoni.
RIEPILOGO Motori lineari
OBJECTIVES 1. To revise the making and cooking of fresh and dried pasta. 2. To revise and learn more about sauces that can be served with pasta.
Project Review Novembrer 17th, Project Review Agenda: Project goals User stories – use cases – scenarios Project plan summary Status as of November.
A.A CORSO DI BIOINFORMATICA 2 per il CLM in BIOLOGIA EVOLUZIONISTICA Scuola di Scienze, Università di Padova Docenti: Prof. Giorgio Valle Prof.
CMS RPC ITALIA' , Settembre Ischia-ITALIA RPC DCS Giovanni Polese.
With the participation of and supported by I Contratti di fiume per la buona governance di acqua e territorio Massimo Bastiani Coordinatore del Tavolo.
Gaetano Maron, Presentazione T2 LNL-Padova, Legnaro 22 dicembre Il Servizio Tecnologie Informatiche ed Elettroniche dei LNL Gaetano Maron.
Comenius Project “Math is B.E.A.U.” that is Beautiful Easy Amusing Useful ITALIAN WORKGROUP ENNISKILLEN (U.K.) May 2011.
A.s. 2015/16 IC Don Guido Cagnola di Gazzada Schianno VA in rete con le Istituzioni scolastiche del primo ciclo di istruzione del bacino Nord-Laghi della.
Firmware per il Trigger del RICH Cristiano Santoni Università degli studi di Perugia INFN - Sezione di Perugia Meeting generale GAP 13/01/2014.
A.A CORSO INTEGRATO DI INFORMATICA E BIOINFORMATICA per il CLT in BIOLOGIA MOLECOLARE Scuola di Scienze, Università di Padova Docenti: Proff.
Grundtvig Project IOLI Example of flexible, blended and distance learning materials used in Ce.s.i.e Onlus Il presente progetto è finanziato con il sostegno.
Lina, Paolo, Tonino, Riccardo.   An assessment of the need for a photo-production facility and its design  The neutron part should not exceed 20 pages.
CALOCUBE SVILUPPO DI CALORIMETRIA OMOGENEA AD ALTA ACCETTANZA PER ESPERIMENTI DI RAGGI COSMICI NELLO SPAZIO 1^ CaloCube meeting Firenze, 20 Giugno 2014.
Attività e idee progettuali Politecnico di Torino Istituto Zooprofilattico 02/aprile/2014 Istituzione: Politecnico di Torino Dipartimento: Dipartimento.
Definizione del piano delle attività di progetto L’esperienza CoBaSys Donata Franzi IMT Alti Studi lucca Università degli Studi di Modena e Reggio Emilia.
MSc in Communication Sciences Program in Technologies for Human Communication Davide Eynard Facoltà di scienze della comunicazione Università della.
the role of schools and voluntary associations
I cambiamenti climatici
Gruppo storage CCR Nuove attivita’ 2007 Alessandro Brunengo CCR - Roma
TECO Teacher Education Competency Ontology
WARGI-DSS Andrea Sulis, Ph.D.
AusTel by taha.a.
P. Giannetti per il gruppo FTK
The paper is available free of charge at:
about: attività professionale:
“Promotion of competitiveness in Veneto”
SWORD (School and WOrk-Related Dual learning)
Transcript della presentazione:

D2b Antonio Lioy Marco Vallini Politecnico di Torino Dip. Automatica e Informatica (Pisa, Giugno 2015)

WP2 - Partners POLITO UNIFI CNR Pisa UNINA CIS-UNIROMA

Introduzione « the final version of D2 (D2b) will encompass also the generic methodology with security issues common to all the considered CIs and the complete task about interdependency models »

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 power- grids (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!