Indice I INTRODUZIONE E RICHIAMI 1

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Indice I INTRODUZIONE E RICHIAMI 1"

Transcript

1 vii Indice I INTRODUZIONE E RICHIAMI 1 1 Introduzione La dependability Le Minacce: guasti, errori e fallimenti Gli attributi della dependability I mezzi per ottenere la dependability Richiami di ProbabilitàeMetrologia Richiami di Probabilità Algebra degli eventi Probabilità, Probabilità CondizionaleedIndipendenza di Eventi Reliability per Sistemi in Serie e in Parallelo Teorema delle probabilitàtotalieformuladibayes Prove di Bernoulli Variabili Casuali Discrete Esempi di distribuzioni discrete Variabili Casuali Continue La distribuzione Esponenziale Minimo di due esponenziali indipendenti Competizione tra due esponenziali indipendenti Reliability, Failure Rate, Cumulative Failure Rate e Conditional Reliability Esempi di distribuzioni continue Expectation Richiami di Metrologia Fondamenti di teoria della misurazione Caratteristiche di una misurazione Incertezza di misura Compatibilità deirisultati

2 viii INDICE Indicazioni conclusive e approfondimenti II MODELLI 57 3 Metodi Combinatori Introduzione Modelli combinatori Componenti in Serie e in Parallelo Caso generico: k su n Metodi booleani Approcci di base per la valutazione Teorema di espansione di Shannon Formalismi grafici Reliability Block Diagrams Reliability Graphs Fault Trees Fault Tree Analysis (FTA) Elementi di un fault tree Costruzione del fault tree Generazione dei Minimal Cut Set Analisi quantitativa di un fault tree Caso di studio Descrizione del sistema Fault Tree del sistema RBD e RG del sistema Analisi quantitativa del sistema Catene di Markov: fondamenti Introduzione ai Processi Stocastici e di Markov Catene di Markov a tempo discreto Vettore di probabilità dioccupazionedeglistatiema- trice di probabilità ditransizione Tempo di permanenza in uno stato Comportamento transiente Esempio: andamento titolo Grafo associato alla catena Classificazione degli stati Stati accessibili, comunicanti ed assorbenti Stati transitori, ricorrenti, ricorrenti positivi e ricorrenti nulli

3 ix Stati periodici e aperiodici Comportamento a regime Esempio: andamento titolo (continua) Analisi di catene con stati assorbenti Esempio: la camminata aleatoria con barriera riflettente Catene di Markov a tempo continuo Comportamento transiente Grafo associato alla catena Uniformizzazione di catene di Markov Stati assorbenti, istantanei, stabili Esempio Calcolo del MTTF in catene con stati assorbenti Esempio Stati accessibili, ricorrenti e transitori Comportamento a regime Metodi per il calcolo di π Metodi diretti Metodi iterativi stazionari Esempio: sistema con tre server in parallelo Reti di Petri ed Estensioni Introduzione Caratteristiche dei formalismi di modellazione Reti di Petri di tipo Place/Transition Definizione Firing di una transizione Proprietà ecomportamento Potenza di modellazione Reti di Petri con priorità Analisi delle reti di Petri Transizioni temporizzate Stochastic Petri Nets Definizione Conflitto Concorrenza Tasso di transizione dipendente dalla marcatura SPN e processo stocastico sottostante Misure di interesse Performance, dependability e performability Variabili di performance e struttura di guadagno Definizione delle variabili di performance

4 x INDICE Esempio di variabile di performance Generalized Stochastic Petri Nets Definizione Conflitto GSPN e processo stocastico sottostante Estensioni SAN Definizione Cambiamento di marcatura SAN stabilizzanti e ben specificate SAN e processo stocastico sottostante Möbius Caratteristiche Principali di Möbius Il framework di Möbius DEEM Sistemi a Fasi Multiple Caratteristiche Principali di DEEM III METODI SPERIMENTALI Monitoring di sistemi Fondamenti del monitoring di sistemi Problematiche nel monitoring di sistemi Gestione dei Dati La Metodologia di Analisi OLAP Struttura di un repository OLAP OLAP per il monitoring Principali categorie per il monitoring di sistemi Automatic Failure Reporting per Componenti Software Sistemi di Intrusion Detection ed Intrusion Prevention Network Monitoring e QoS Monitoring Telemetria di Sistemi Embedded Monitoring di Large-Scale Enterprise Software RunTime Verification Un caso di studio: Monitoriamo un Clock software Il Reliable and Self-Aware Clock Pianificazione dell attività monitoraggio Instrumentazione del codice Definizione della struttura del repository Parsing dei file di log

5 xi Analisi OLAP Fault Injection e Robustness Testing Introduzione Fault Injection: Concetti di base Definizioni Obiettivi Modelli di guasto e tecniche di iniezione Applicazioni della Fault Injection Interazione con metodi modellistici Analisi dei modi di fallimento e valutazione del rischio Selezione di componenti e Dependability Benchmarking Metodologie di Fault Injection Una metodologia per l iniezione di guasti hardware Una metodologia per l iniezione di guasti software Robustness Testing Approccio generale Robustness Testing di sistemi operativi Robustness Testing di web services Bibliografia 271

PARTE PRIMA 1 1 Complessità dei sistemi 2. 2 Elementi di statistica e di teoria della probabilità 13

PARTE PRIMA 1 1 Complessità dei sistemi 2. 2 Elementi di statistica e di teoria della probabilità 13 Indice Prefazione Presentazione XI XII PARTE PRIMA 1 1 Complessità dei sistemi 2 2 Elementi di statistica e di teoria della probabilità 13 3 Elementi di teoria della affidabilità, manutenibilità e disponibilità

Dettagli

Prefazione. Introduzione

Prefazione. Introduzione Prefazione Introduzione XI XIII 1 Comportamento a stati finiti di un sistema embedded 3 1.1 Richiami su automi a stati finiti riconoscitori di linguaggi... 4 1.2 Grammatiche............................

Dettagli

PROFILI UML PER LA DESCRIZIONE DI INFRASTRUTTURE CRITICHE E LA MODELLAZIONE DELLE INTERDIPENDENZE. Definizione di infrastrutture critiche

PROFILI UML PER LA DESCRIZIONE DI INFRASTRUTTURE CRITICHE E LA MODELLAZIONE DELLE INTERDIPENDENZE. Definizione di infrastrutture critiche tesi di laurea PROFILI UML PER LA DESCRIZIONE DI INFRASTRUTTURE CRITICHE E LA MODELLAZIONE DELLE INTERDIPENDENZE Anno Accademico 2009-2010 relatore Ch.mo prof. Valeria Vittorini correlatore Ch.mo prof.

Dettagli

Presentazione. Risorse Web. Metodi Statistici 1

Presentazione. Risorse Web. Metodi Statistici 1 I-XVI Romane_ 27-10-2004 14:25 Pagina VII Prefazione Risorse Web XI XIII XVII Metodi Statistici 1 Capitolo 1 Tecniche Statistiche 3 1.1 Probabilità, Variabili Casuali e Statistica 3 1.1.1 Introduzione

Dettagli

Indice. 1 Introduzione 7 1.1 Introduzione... 7 1.2 Cos è un impianto informatico enterprise... 8

Indice. 1 Introduzione 7 1.1 Introduzione... 7 1.2 Cos è un impianto informatico enterprise... 8 Indice 1 Introduzione 7 1.1 Introduzione............................. 7 1.2 Cos è un impianto informatico enterprise............. 8 2 Affidabilità 11 2.1 Introduzione............................. 12 2.1.1

Dettagli

Seminari Eucip, Esercizio e Supporto di Sistemi Informativi

Seminari Eucip, Esercizio e Supporto di Sistemi Informativi Seminari Eucip, Esercizio di Sistemi Informativi Service Delivery and Support Dipartimento di Informtica e Sistemistica Università di Roma La Sapienza ITIL.1 Relazioni con il.2 Pianificazione.3 Gestione

Dettagli

Ringraziamenti dell editore. Introduzione. Parte I MODELLISTICA 1

Ringraziamenti dell editore. Introduzione. Parte I MODELLISTICA 1 romane.pdf 24-07-2008 18:14:24-7 - ( ) Prefazione Ringraziamenti dell editore Introduzione XIII XVI XVII Parte I MODELLISTICA 1 1 Modelli di trasferimento di risorse 3 1.1 Variabili di stato e variabili

Dettagli

Barriere assorbenti nelle catene di Markov e una loro applicazione al web

Barriere assorbenti nelle catene di Markov e una loro applicazione al web Università Roma Tre Facoltà di Scienze M.F.N Corso di Laurea in Matematica a.a. 2001/2002 Barriere assorbenti nelle catene di Markov e una loro applicazione al web Giulio Simeone 1 Sommario Descrizione

Dettagli

Testi del Syllabus. Docente CONTE GIANNI Matricola: 004116. Insegnamento: 05973 - SISTEMI INFORMATIVI. Anno regolamento: 2013 CFU:

Testi del Syllabus. Docente CONTE GIANNI Matricola: 004116. Insegnamento: 05973 - SISTEMI INFORMATIVI. Anno regolamento: 2013 CFU: Testi del Syllabus Docente CONTE GIANNI Matricola: 004116 Anno offerta: 2013/2014 Insegnamento: 05973 - SISTEMI INFORMATIVI Corso di studio: 5015 - INGEGNERIA INFORMATICA Anno regolamento: 2013 CFU: 9

Dettagli

NEAL. Increase your Siebel productivity

NEAL. Increase your Siebel productivity NEAL Increase your Siebel productivity Improve your management productivity Attraverso Neal puoi avere il controllo, in totale sicurezza, di tutte le Enterprise Siebel che compongono il tuo Business. Se

Dettagli

Reti di Petri: analisi, modellistica e controllo

Reti di Petri: analisi, modellistica e controllo Reti di Petri: analisi, modellistica e controllo 2-3/2/24 Alessandro De Luca Reti di Petri Sono un formalismo grafico/matematico per la modellazione di sistemi dinamici a eventi discreti introdotte nel

Dettagli

Esercitazioni 2013/14

Esercitazioni 2013/14 Esercitazioni 2013/14 Esercizio 1 Due ditte V e W partecipano ad una gara di appalto per la costruzione di un tratto di autostrada che viene assegnato a seconda del prezzo. L offerta fatta dalla ditta

Dettagli

PROGETTAZIONE DI SISTEMI QUALITÀ E AFFIDABILITÀ DEL PRODOTTO

PROGETTAZIONE DI SISTEMI QUALITÀ E AFFIDABILITÀ DEL PRODOTTO PROGETTAZIONE DI SISTEMI QUALITÀ E AFFIDABILITÀ DEL PRODOTTO 1 Direttore Antonio CASTELLANI Sistemista Spazio e Difesa Comitato scientifico Sergio DI VEROLI Telebit S.r.l. Elsayed Ali ELSAYED The State

Dettagli

Sommario. Capitolo 1 Impiego della statistica per la gestione dell azienda 1. Capitolo 2 Disponibilità e produzione delle informazioni statistiche 19

Sommario. Capitolo 1 Impiego della statistica per la gestione dell azienda 1. Capitolo 2 Disponibilità e produzione delle informazioni statistiche 19 Prefazione XI Capitolo 1 Impiego della statistica per la gestione dell azienda 1 1.1 Premessa 1 1.2 Il ruolo della statistica a supporto del processo decisionale del manager 3 1.3 L impiego della statistica

Dettagli

Le catene di Markov come metodologia utilizzata dai motori di ricerca per classificare le pagine web su internet.

Le catene di Markov come metodologia utilizzata dai motori di ricerca per classificare le pagine web su internet. Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Statistiche e Matematiche S. Vianelli Dottorato di Ricerca in Statistica e Finanza Quantitativa - XXI Ciclo Sergio Salvino

Dettagli

I QUADERNI DEL GMEE N 1. L affidabilità nella moderna progettazione:

I QUADERNI DEL GMEE N 1. L affidabilità nella moderna progettazione: ASSOCIAZIONE ITALIANA GRUPPO MISURE ELETTRICHE ED ELETTRONICHE I QUADERNI DEL GMEE N 1 G E ME L affidabilità nella moderna progettazione: un elemento competitivo che collega sicurezza e certificazione

Dettagli

Valutazione delle Prestazioni Dipartimento di Informatica Università di Torino. Matteo Sereno

Valutazione delle Prestazioni Dipartimento di Informatica Università di Torino. Matteo Sereno Valutazione delle Prestazioni Dipartimento di Informatica Università di Torino Matteo Sereno Workshop Qualita' del Servizio nei Sistemi Geograficamente Distribuiti 9-10 Giugno 2004 Roma 1 Outline Breve

Dettagli

Monitoraggio e performance: il ruolo del DBA manager e gli strumenti a supporto

Monitoraggio e performance: il ruolo del DBA manager e gli strumenti a supporto Denis Monari Monitoraggio e performance: il ruolo del DBA manager e gli strumenti a supporto Cinisello Balsamo, 26 novembre 2013 AGENDA Performance, servizi e risorse Tre scenari a crescente complessità

Dettagli

Introduzione al risk management

Introduzione al risk management ALBERTO FLOREANI Introduzione al risk management Un approccio integrato alla gestione dei rischi aziendali Fotocomposizione e redazione: Studio Norma, Parma ISBN 978-88-17-05810-0 Copyright 2005 RCS Libri

Dettagli

I Metodi statistici utili nel miglioramento della qualità 27

I Metodi statistici utili nel miglioramento della qualità 27 Prefazione xiii 1 Il miglioramento della qualità nel moderno ambiente produttivo 1 1.1 Significato dei termini qualità e miglioramento della qualità 1 1.1.1 Le componenti della qualità 2 1.1.2 Terminologia

Dettagli

Ciclo di vita dimensionale

Ciclo di vita dimensionale aprile 2012 1 Il ciclo di vita dimensionale Business Dimensional Lifecycle, chiamato anche Kimball Lifecycle descrive il framework complessivo che lega le diverse attività dello sviluppo di un sistema

Dettagli

2.A.1 Il design of experiments (DOE) criteri di attuazione in azienda

2.A.1 Il design of experiments (DOE) criteri di attuazione in azienda 2.A.1 Il design of experiments (DOE) criteri di attuazione in azienda Favorire la comprensione e l applicabilità delle metodiche del DOE nelle sue diverse applicazioni, in modo da permettere un reale controllo

Dettagli

Progetto I-MULE www.progetto-imule.it

Progetto I-MULE www.progetto-imule.it Progetto I-MULE www.progetto-imule.it Motivazioni e finalità! criticità dei sistemi di smistamento e instradamento dei bagagli mediante nastri trasportatori in ambito aeroportuale! costosi, ingombranti,

Dettagli

INDICE 22-02-2005 15:25 Pagina V. Indice

INDICE 22-02-2005 15:25 Pagina V. Indice INDICE 22-02-2005 15:25 Pagina V Indice Gli autori XIII XVII Capitolo 1 I sistemi informativi aziendali 1 1.1 INTRODUZIONE 1 1.2 IL MODELLO INFORMATICO 3 1.2.1. Il modello applicativo 3 Lo strato di presentazione

Dettagli

Prefazione all edizione originale. Prefazione all edizione italiana

Prefazione all edizione originale. Prefazione all edizione italiana Indice Prefazione all edizione originale Prefazione all edizione italiana xiii xv 1 Il miglioramento della qualità nel moderno ambiente produttivo 1 1.1 Significato dei termini qualità e miglioramento

Dettagli

Affidabilità nel tempo tasso di guasto. h( t) =! dt N dt N ( ) ( ) = =! N N

Affidabilità nel tempo tasso di guasto. h( t) =! dt N dt N ( ) ( ) = =! N N Affidabilità nel tempo tasso di guasto 1 N=numero componenti N s (t)=numero componenti sopravvissuti al tempo t N f (t)=numero componenti rotti al tempo t N ( ) ( ) s t N f t R( t) = = 1! N N dr( t) 1

Dettagli

Processi. Giuseppe Sanfilippo. 27 febbraio 2006. 1 Catene di Markov a tempo discreto DTMC

Processi. Giuseppe Sanfilippo. 27 febbraio 2006. 1 Catene di Markov a tempo discreto DTMC Processi Giuseppe Sanfilippo 27 febbraio 2006 1 Catene di Markov a tempo discreto DTMC 11 Introduzione ed esempi DTCM (vedi [3]) Sia {X n, n = 0, 1, 2, } un processo stocastico a parametro discreto e a

Dettagli

Articolazione Elettronica. Specializzazione Elettronica ed Elettrotecnica Articolazione Elettronica. Elettronica ed Elettrotecnica - Classe 3^

Articolazione Elettronica. Specializzazione Elettronica ed Elettrotecnica Articolazione Elettronica. Elettronica ed Elettrotecnica - Classe 3^ Articolazione Elettronica Specializzazione Elettronica ed Elettrotecnica Articolazione Elettronica Elettronica ed Elettrotecnica - Classe 3^ Elettrotecnica Tipologie di Segnali Unità di misura delle grandezze

Dettagli

Corso di Laurea in Infermieristica "S" A.A. 2015/2016 Orario Lezioni III Anno - I Semestre Nuovo Ordinamento (D.M. 270/04)

Corso di Laurea in Infermieristica S A.A. 2015/2016 Orario Lezioni III Anno - I Semestre Nuovo Ordinamento (D.M. 270/04) I^ Settimana 12 ottobre 16 ottobre II^ Settimana 19 ottobre 23 ottobre III^ Settimana 26 ottobre 30 ottobre IV^ Settimana 2 novembre 6 novembre V^ Settimana 9 novembre 13 novembre VI^ Settimana 16 novembre

Dettagli

DISTRIBUZIONI DI PROBABILITÀ

DISTRIBUZIONI DI PROBABILITÀ Metodi statistici e probabilistici per l ingegneria Corso di Laurea in Ingegneria Civile A.A. 2009-10 Facoltà di Ingegneria, Università di Padova Docente: Dott. L. Corain 1 LE PRINCIPALI DISTRIBUZIONI

Dettagli

Università degli Studi di Napoli Federico II Facoltà di Ingegneria. Corso di. Sistemi Distribuiti. Prof. Stefano Russo. Field Failure Data Analysis

Università degli Studi di Napoli Federico II Facoltà di Ingegneria. Corso di. Sistemi Distribuiti. Prof. Stefano Russo. Field Failure Data Analysis Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corso di Sistemi Distribuiti Prof. Stefano Russo Domenico Cotroneo Failure Data Analysis (FDA) (1/2) I mezzi per la dependability possono

Dettagli

CENNI DI METODI STATISTICI

CENNI DI METODI STATISTICI Corso di Laurea in Ingegneria Aerospaziale CENNI DI METODI STATISTICI Docente: Page 1 Page 2 Page 3 Due eventi si dicono indipendenti quando il verificarsi di uno non influisce sulla probabilità di accadimento

Dettagli

Testi del Syllabus. Docente CONTE GIANNI Matricola: 004116. Insegnamento: 05973 - SISTEMI INFORMATIVI. Anno regolamento: 2013 CFU:

Testi del Syllabus. Docente CONTE GIANNI Matricola: 004116. Insegnamento: 05973 - SISTEMI INFORMATIVI. Anno regolamento: 2013 CFU: Testi del Syllabus Docente CONTE GIANNI Matricola: 004116 Anno offerta: 2013/2014 Insegnamento: 05973 - SISTEMI INFORMATIVI Corso di studio: 5015 - INGEGNERIA INFORMATICA Anno regolamento: 2013 CFU: 9

Dettagli

Indice. pag. 15. Prefazione. Introduzione» 17

Indice. pag. 15. Prefazione. Introduzione» 17 Indice Prefazione 15 Introduzione 17 1. Pianificazione della qualità 1.1. Il concetto di 6 sigma 1.1.1. Le aree e le fasi del sei sigma 1.2. I processi produttivi e la variabilità 1.2.1. Cause comuni 1.2.2.

Dettagli

OFFERTA FORMATIVA SU: RAMS, FMEA, FMECA, HAZOP, FTA, ETA, RBD, MARKOV

OFFERTA FORMATIVA SU: RAMS, FMEA, FMECA, HAZOP, FTA, ETA, RBD, MARKOV OFFERTA FORMATIVA SU: RAMS, FMEA, FMECA, HAZOP, FTA, ETA, RBD, MARKOV NIER Ingegneria S.p.A. da diversi anni offre attività di formazione specialistica di alto livello per ingegneri e manager. NIER Ingegneria,

Dettagli

Albero dei guasti DOTT. ING. KONSTANTINOS MILONOPOULOS 1

Albero dei guasti DOTT. ING. KONSTANTINOS MILONOPOULOS 1 Albero dei guasti E uno strumento di analisi dei guasti che si affianca all FMECA. L FMECA e un analisi di tipo bottom-up, perche si parte da un componente e si risale agli effetti di un suo guasto L Albero

Dettagli

Calcolo delle Probabilità A.A. 2013/2014 Corso di Studi in Statistica per l Analisi dei dati Università degli Studi di Palermo

Calcolo delle Probabilità A.A. 2013/2014 Corso di Studi in Statistica per l Analisi dei dati Università degli Studi di Palermo Calcolo delle Probabilità A.A. 2013/2014 Corso di Studi in Statistica per l Analisi dei dati Università degli Studi di Palermo docente Giuseppe Sanfilippo http://www.unipa.it/sanfilippo giuseppe.sanfilippo@unipa.it

Dettagli

AFFIDABILITA DEI SISTEMI

AFFIDABILITA DEI SISTEMI AFFIDABILITA DEI SISTEMI STOCASTICI (complessi) Esercizio: Si assuma che i collegamenti tra una centrale elettrica e una città siano costituite da tre linee collegate in serie i cui tempi di funzionamento

Dettagli

Collaudo (testing) dei sistemi digitali

Collaudo (testing) dei sistemi digitali Collaudo (testing) dei sistemi digitali Realizzazione di sistemi digitali (VLSI) Collaudo e verifica Collaudo ideale e collaudo reale Costo del collaudo Ruolo del collaudo Struttura di un sistema VLSI

Dettagli

Affidabilità e sicurezza degli schemi di protezione del sistema elettrico: oltre la IEC 61508

Affidabilità e sicurezza degli schemi di protezione del sistema elettrico: oltre la IEC 61508 Affidabilità e sicurezza degli schemi di protezione del sistema elettrico: oltre la IEC 61508 Luca Ferrarini, Leonardo Ambrosi, Emanuele Ciapessoni Questo articolo 1 considera il problema dell analisi

Dettagli

Corso di Progettazione di Impianti e della Sicurezza Industriale: Fault Tree Analysis (FTA) I/E e Safety Instrumented System (SIS)

Corso di Progettazione di Impianti e della Sicurezza Industriale: Fault Tree Analysis (FTA) I/E e Safety Instrumented System (SIS) Corso di Progettazione di Impianti e della Sicurezza Industriale: Fault Tree Analysis (FTA) I/E e Safety Instrumented System (SIS) Negli impianti a rischio di incidente rilevante, al fine di prevenire

Dettagli

Per ampliare il loro potere di modellazione, le reti P/T sono state variamente estese per diventare, ad esempio:

Per ampliare il loro potere di modellazione, le reti P/T sono state variamente estese per diventare, ad esempio: ALCUNE ESTENSIONI DELLE RETI DI PETRI Le reti di Petri classiche o P/T sono reti untimed (senza tempo) e risultano utili per analisi qualitative di un sistema, es. per verificare se una marcatura è raggiungibile

Dettagli

Modelli Stocastici per la Finanza e le Assicurazioni

Modelli Stocastici per la Finanza e le Assicurazioni Modelli Stocastici per la Finanza e le Assicurazioni CORSO DI LAUREA SPECIALISTICA IN METODI QUANTITATIVI PER LA FINANZA A.A. 2007/2008 DOCENTE: Marco Minozzo CREDITI (CFU): 10 PROGRAMMA (definitivo) Spazi

Dettagli

Dependability. Alcune note di A. Fantechi per il corso di Informatica Industriale

Dependability. Alcune note di A. Fantechi per il corso di Informatica Industriale Dependability Alcune note di A. Fantechi per il corso di Informatica Industriale Lo Working Group WG 10.4 (Dependable Computing and Fault-Tolerance) dell'ifip (International Foundation for Information

Dettagli

Abstract 1. 1. Introduzione 3. 1.1 Descrizione del problema 3. 1.2 Obiettivi 5. 1.3 Approccio adottato 6. 1.4 Organizzazione della tesi 8

Abstract 1. 1. Introduzione 3. 1.1 Descrizione del problema 3. 1.2 Obiettivi 5. 1.3 Approccio adottato 6. 1.4 Organizzazione della tesi 8 Indice Abstract 1 1. Introduzione 3 1.1 Descrizione del problema 3 1.2 Obiettivi 5 1.3 Approccio adottato 6 1.4 Organizzazione della tesi 8 1.4.1 Suggerimenti per la consultazione 10 I Analisi del contesto

Dettagli

RRF Reply Reporting Framework

RRF Reply Reporting Framework RRF Reply Reporting Framework Introduzione L incremento dei servizi erogati nel campo delle telecomunicazioni implica la necessità di effettuare analisi short-term e long-term finalizzate a tenere sotto

Dettagli

Specializzazione Elettronica ed Elettrotecnica Articolazione Automazione. Elettronica ed Elettrotecnica - Classe 3^

Specializzazione Elettronica ed Elettrotecnica Articolazione Automazione. Elettronica ed Elettrotecnica - Classe 3^ Specializzazione Elettronica ed Elettrotecnica Articolazione Automazione Elettronica ed Elettrotecnica - Classe 3^ Elettrotecnica Tipologie di segnali Unità di misura delle grandezze elettriche Simbologia

Dettagli

Paolo Giachin (paolo.giachin@gmail.com) 07.12.2006

Paolo Giachin (paolo.giachin@gmail.com) 07.12.2006 Paolo Giachin (paolo.giachin@gmail.com) 07.12.2006 Introduzione Alcuni concetti sul afidabilità Elementi determinanti Predire l affidabilità Verificare l affidabilità Progettare l affidabilità Risorse

Dettagli

Corso di Ingegneria del Software 2 PROGETTO DI LABORATORIO N = 48.9047. φ =0.00070413

Corso di Ingegneria del Software 2 PROGETTO DI LABORATORIO N = 48.9047. φ =0.00070413 UNIVERSITÀ DEGLI STUDI DI ROMA TOR VERGATA FACOLTÀ DI INGEGNERIA LAUREA SPECIALISTICA IN INGEGNERIA INFORMATICA Corso di Ingegneria del Software 2 A.A. 27/28 PROGETTO DI LABORATORIO N = 48.947 φ =.7413

Dettagli

ANALISI TRAMITE ALBERO DEI GUASTI (FTA)

ANALISI TRAMITE ALBERO DEI GUASTI (FTA) ANALISI TRAMITE ALBERO DEI GUASTI (FTA) Generalità Oltre alla metodologia FMEA uno dei metodi più diffusi e conosciuti per l'analisi del rischio, E' il Fault Tree Analysis (FTA) o albero dei guasti. Diversamente

Dettagli

Valutazione sperimentale di tecniche di testing per software in relazione ai tipi di guasti

Valutazione sperimentale di tecniche di testing per software in relazione ai tipi di guasti tesi di laurea Valutazione sperimentale di tecniche di testing per software Anno Accademico 2008/2009 relatore Ch.mo prof. Stefano Russo correlatore Ing. Roberto Pietrantuono candidato Giuseppe Scafuti

Dettagli

Capitolato Tecnico. Per l infrastruttura hardware e servizi per la. migrazione verso sistemi aperti. del CED per il trattamento economico

Capitolato Tecnico. Per l infrastruttura hardware e servizi per la. migrazione verso sistemi aperti. del CED per il trattamento economico Capitolato Tecnico Per l infrastruttura hardware e servizi per la migrazione verso sistemi aperti del CED per il trattamento economico della Polizia di Stato 1/18 INDICE 1 OGGETTO DELLA FORNITURA... 3

Dettagli

Pagine romane (I-XVIII) OK.qxd:romane.qxd 7-09-2009 16:23 Pagina VI. Indice

Pagine romane (I-XVIII) OK.qxd:romane.qxd 7-09-2009 16:23 Pagina VI. Indice Pagine romane (I-XVIII) OK.qxd:romane.qxd 7-09-2009 16:23 Pagina VI Prefazione Autori XIII XVII Capitolo 1 Sistemi informativi aziendali 1 1.1 Introduzione 1 1.2 Modello organizzativo 3 1.2.1 Sistemi informativi

Dettagli

Strategie per il miglioramento dei log applicativi basate su Software Fault Injection

Strategie per il miglioramento dei log applicativi basate su Software Fault Injection tesi di laurea Anno Accademico 2010/2011 relatore Ch.mo prof. Marcello Cinque correlatore Ing. Roberto Natella candidato Daniele Esposito Matr. 534/003280 Introduzione Software Fault: difetti presenti

Dettagli

Simulazione di guasto

Simulazione di guasto Simulazione di guasto Problemi e applicazioni Algoritmi Seriale Parallelo Deduttivo Concorrente Random Fault Sampling Sommario Problemi e Applicazioni Problema, dati: Un circuito Una sequenza di vettori

Dettagli

metodi matematici per l ingegneria prove scritte d esame 1 Indice

metodi matematici per l ingegneria prove scritte d esame 1 Indice metodi matematici per l ingegneria prove scritte d esame Indice. Novembre 4 - Prova in itinere. Luglio 5.. Febbraio 6 4 4. Giugno 6. 5 5. Luglio 6 6 . Novembre 4 - Prova in itinere Esercizio. Una scatola

Dettagli

Ferrara, 18 gennaio 2011. Gianluca Nostro Senior Sales Consultant Oracle Italia

Ferrara, 18 gennaio 2011. Gianluca Nostro Senior Sales Consultant Oracle Italia Ferrara, 18 gennaio 2011 Gianluca Nostro Senior Sales Consultant Oracle Italia Agenda 18 gennaio 2011 Kick Off Oracle - ICOS Business Intelligence: stato dell arte in Italia Oracle Business Intelligence

Dettagli

Modelli Stocastici per la Finanza

Modelli Stocastici per la Finanza Modelli Stocastici per la Finanza A.A. 2011/2012 (primo semestre) CREDITI (CFU): 9 CORSO DI LAUREA MAGISTRALE IN BANCA E FINANZA DOCENTE: Marco Minozzo ORARIO DI RICEVIMENTO: martedì 12.00 13.00 TELEFONO:

Dettagli

La rilevanza del risk management nella gestione d impresa. Giorgia Profumo Università degli Studi di Napoli Parthenope

La rilevanza del risk management nella gestione d impresa. Giorgia Profumo Università degli Studi di Napoli Parthenope La rilevanza del risk management nella gestione d impresa Giorgia Profumo Università degli Studi di Napoli Parthenope Le nozioni alternative di rischio L approccio tradizionale-assicurativo: il rischio

Dettagli

Mean Time To Failure, MTTF. Failure Rate, FR. Affidabilità. Funzione di affidabilità (Reliability function) Pr T t = f x dx=f t

Mean Time To Failure, MTTF. Failure Rate, FR. Affidabilità. Funzione di affidabilità (Reliability function) Pr T t = f x dx=f t Affidabilità Si parla di affidabilità (reliability) riferendosi a un sistema o a un suo componente o anche a una persona. Essa è associata al concetto di buon funzionamento. L'affidabilità può essere definita

Dettagli

Luigi Piroddi piroddi@elet.polimi.it

Luigi Piroddi piroddi@elet.polimi.it Automazione industriale dispense del corso 14. Controllo con reti di Petri Luigi Piroddi piroddi@elet.polimi.it Uso delle reti di Petri nel controllo di sistemi a eventi discreti Ai fini del controllo

Dettagli

CURRICULUM VITAE DI ANDREA BOBBIO. email: bobbio@mfn.unipmn.it http://people.unipmn.it/bobbio/

CURRICULUM VITAE DI ANDREA BOBBIO. email: bobbio@mfn.unipmn.it http://people.unipmn.it/bobbio/ CURRICULUM VITAE DI ANDREA BOBBIO email: bobbio@mfn.unipmn.it http://people.unipmn.it/bobbio/ Andrea Bobbio è attualmente professore ordinario di Informatica presso l Università del Piemonte Orientale

Dettagli

UX model e Architetture di SI web-based. B. Pernici D. Ardagna

UX model e Architetture di SI web-based. B. Pernici D. Ardagna UX model e Architetture di SI web-based B. Pernici D. Ardagna Conallen, cap. 7,9 Bibliografia Modellazione concettuale: UX model Primo passo di analisi UX: user experience Schermate Modellare la navigazione,

Dettagli

Introduzione al Corso di Reti di Telecomunicazioni pag. 1. Network Organization pag. 1 2. NETWORK ORGANIZATION pag. 2

Introduzione al Corso di Reti di Telecomunicazioni pag. 1. Network Organization pag. 1 2. NETWORK ORGANIZATION pag. 2 RETI DI TELECOMUNICAZIONI INDICE CAPIITOLO 1 Introduzione al Corso di Reti di Telecomunicazioni pag. 1 Presentazione del corso di Reti di Telecomunicazioni pag. 2 Argomenti trattati nel corso di Reti di

Dettagli

L AFFIDABILITA NELLA FASE DI PROGETTAZIONE

L AFFIDABILITA NELLA FASE DI PROGETTAZIONE 8. L AFFIDABILITA NELLA FASE DI PROGETTAZIONE Ed.1 del 14/09/98 Rev. 3 del 08/09/00 AFFIDABILITA' DI COMPONENTI E SCHEDE ELETTRONICHE-sez 8 1 L AFFIDABILITA NELLA PROGETTAZIONE L AFFIDABILITA DEVE ESSERE

Dettagli

Metodi e Modelli Matematici di Probabilità per la Gestione

Metodi e Modelli Matematici di Probabilità per la Gestione Metodi e Modelli Matematici di Probabilità per la Gestione Prova scritta del 30/1/06 Esercizio 1 Una banca ha N correntisti. Indichiamo con N n il numero di correntisti esistenti il giorno n-esimo. Descriviamo

Dettagli

Histogram of C1 Normal

Histogram of C1 Normal Soluzioni domande ed esercizi Fondamenti di Affidabilità Capitolo 2. La vita di un cambio ad ingranaggi può essere fortemente influenzata nelle fasi iniziali della sua vita da problemi derivanti principalmente

Dettagli

NON C'È CLOUD SENZA STORAGE. CEPH - distributed object storage system

NON C'È CLOUD SENZA STORAGE. CEPH - distributed object storage system NON C'È CLOUD SENZA STORAGE CEPH - distributed object storage system Chi sono? Nome: Dimitri Bellini Biografia: Decennale esperienza su sistemi operativi UX based, Storage Area Network, Array Management

Dettagli

Architetture dei WIS. Definizione di WIS. Benefici dei WIS. Prof.ssa E. Gentile a.a. 2011-2012

Architetture dei WIS. Definizione di WIS. Benefici dei WIS. Prof.ssa E. Gentile a.a. 2011-2012 Architetture dei WIS Prof.ssa E. Gentile a.a. 2011-2012 Definizione di WIS Un WIS può essere definito come un insieme di applicazioni in grado di reperire, cooperare e fornire informazioni utilizzando

Dettagli

Modelli Stocastici per la Finanza

Modelli Stocastici per la Finanza Modelli Stocastici per la Finanza A.A. 2013/2014 (primo semestre) CREDITI (CFU): 9 CORSO DI LAUREA MAGISTRALE IN BANCA E FINANZA (curriculum Finanza Quantitativa) DOCENTE: Marco Minozzo ORARIO DI RICEVIMENTO:

Dettagli

((e ita e itb )h(t)/it)dt. z k p(dz) + r n (t),

((e ita e itb )h(t)/it)dt. z k p(dz) + r n (t), SINTESI. Una classe importante di problemi probabilistici e statistici é quella della stima di caratteristiche relative ad un certo processo aleatorio. Esistono svariate tecniche di stima dei parametri

Dettagli

Metodologie per l Analisi di Prestazioni

Metodologie per l Analisi di Prestazioni Metodologie per l Analisi di Prestazioni Prof. Michele Colajanni Corso di Impianti di Elaborazione Ingegneria Informatica Università di Modena e Reggio Emilia Principali passi di una metodologia valutativa

Dettagli

Survey sui Framework per Testing di Sistemi Basati su Web Services

Survey sui Framework per Testing di Sistemi Basati su Web Services Survey sui Framework per Testing di Sistemi Basati su Web Services Severoni Francesco Facoltà di Scienze Dipartimento di Informatica Università degli Studi - L Aquila 67100 L Aquila, Italia Argomenti Trattati

Dettagli

AFFIDABILITA DEI SISTEMI STOCASTICI (semplici)

AFFIDABILITA DEI SISTEMI STOCASTICI (semplici) AFFIDABILITA DEI SISTEMI STOCASTICI (semplici) Un sistema (o uno qualsiasi dei suoi componenti) può essere soggetto a stress casuali. Es: un fusibile in un circuito; una trave di acciaio sotto carico;

Dettagli

Verifica e validazione della qualità del sw

Verifica e validazione della qualità del sw Verifica e validazione della qualità del sw Tecniche di Programmazione Lez. 07 Università di Firenze a.a. 2009/10, I semestre 1/40 contenuti Termini e definizioni Tecniche rispetto alle caratteristiche

Dettagli

Introduzione alle variabili aleatorie discrete e continue notevoli Lezione 22.01.09 (ore 11.00-13.00, 14.00-16.00)

Introduzione alle variabili aleatorie discrete e continue notevoli Lezione 22.01.09 (ore 11.00-13.00, 14.00-16.00) Introduzione alle variabili aleatorie discrete e continue notevoli Lezione 22.01.09 (ore 11.00-13.00, 14.00-16.00) Richiami di matematica pag. 2 Definizione (moderatamente) formale di variabile aleatoria

Dettagli

Metodologie e strumenti per il collaudo di applicazioni Web

Metodologie e strumenti per il collaudo di applicazioni Web Università degli studi Tor Vergata Facoltà di Ingegneria Metodologie e strumenti per il collaudo di applicazioni Web Candidato: Luca De Francesco Relatore Chiar.mo Prof. Salvatore Tucci Correlatore Ing.

Dettagli

Ottimizzazione dell infrastruttura per la trasformazione dei data center verso il Cloud Computing

Ottimizzazione dell infrastruttura per la trasformazione dei data center verso il Cloud Computing Ottimizzazione dell infrastruttura per la trasformazione dei data center verso il Cloud Computing Dopo anni di innovazioni nel settore dell Information Technology, è in atto una profonda trasformazione.

Dettagli

DIPARTIMENTO DELLA PUBBLICA SICUREZZA DIREZIONE CENTRALE PER I SERVIZI TECNICO LOGISTICI E DELLA GESTIONE PATRIMONIALE UTAM I SETTORE INFORMATICA

DIPARTIMENTO DELLA PUBBLICA SICUREZZA DIREZIONE CENTRALE PER I SERVIZI TECNICO LOGISTICI E DELLA GESTIONE PATRIMONIALE UTAM I SETTORE INFORMATICA DIPARTIMENTO DELLA PUBBLICA SICUREZZA DIREZIONE CENTRALE PER I SERVIZI TECNICO LOGISTICI E DELLA GESTIONE PATRIMONIALE UTAM I SETTORE INFORMATICA CAPITOLATO TECNICO FORNITURA DI FIGURE PROFESSIONALI PER

Dettagli

Alessandro Ramponi Lezioni di Finanza Matematica

Alessandro Ramponi Lezioni di Finanza Matematica A01 185 Alessandro Ramponi Lezioni di Finanza Matematica Copyright MMXII ARACNE editrice S.r.l. www.aracneeditrice.it info@aracneeditrice.it via Raffaele Garofalo, 133/A B 00173 Roma (06) 93781065 ISBN

Dettagli

03/11/2009. Circa equivalente al test di chip hardware. Il testing è effettuato, per ogni modulo, in modo isolato per verificarne il comportamento

03/11/2009. Circa equivalente al test di chip hardware. Il testing è effettuato, per ogni modulo, in modo isolato per verificarne il comportamento Introduzione al Testing Unit Testing Ingegneria del Software L-A Glossario Reliability / Affidabilità: la misura del successo con cui il comportamento osservato di un sistema si correla con le specifiche

Dettagli

STRATEGIES FOR ACHIEVING DEPENDABILITY IN PARALLEL FILE SYSTEMS

STRATEGIES FOR ACHIEVING DEPENDABILITY IN PARALLEL FILE SYSTEMS UNIVERSITA' DEGLI STUDI DI NAPOLI FEDERICO II Dottorato di Ricerca in Ingegneria Informatica ed Automatica STRATEGIES FOR ACHIEVING DEPENDABILITY IN PARALLEL FILE SYSTEMS XIX Ciclo Tesi di Dottorato di

Dettagli

Modellistica e Controllo di Sistemi ad Eventi Discreti

Modellistica e Controllo di Sistemi ad Eventi Discreti Modellistica e Controllo di Sistemi ad Eventi Discreti Cos è l Automazione Industriale? Automazione Industriale: insieme di discipline (modelli, metodi e strumenti) che permettono di analizzare e progettare

Dettagli

3.1 ESERCIZI DI RIEPILOGO

3.1 ESERCIZI DI RIEPILOGO 3 3.1 ESERCIZI DI RIEPILOGO Esercizio 3.1.1 Dato un sistema M/M/2 con frequenza media di arrivo pari a λ e velocità di servizio pari a µ, con λ < 2µ Scrivere le equazioni di Kolmogorov relative al processo

Dettagli

Curriculum di Jeremy James SPROSTON

Curriculum di Jeremy James SPROSTON Studi Curriculum di Jeremy James SPROSTON 1996-2001: PhD in Computer Science, School of Computer Science dell Università di Birmingham, Regno Unito, con tesi: Model Checking of Probabilistic Timed and

Dettagli

Direttamente dalla sorgente Network IDS Oggi & nel Futuro

Direttamente dalla sorgente Network IDS Oggi & nel Futuro Direttamente dalla sorgente Network IDS Oggi & nel Futuro Graham Welch Director EMEA, Sourcefire Inc. Agenda Background sull Intrusion Detection Un giorno nella vita di Intrusion Prevention vs. Intrusion

Dettagli

Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corso di Laurea Specialistica in Ingegneria Informatica.

Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corso di Laurea Specialistica in Ingegneria Informatica. Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corso di Laurea Specialistica in Ingegneria Informatica Corso di Sistemi Distribuiti Prof. Stefano Russo Modellidi SistemiDistribuiti

Dettagli

Implementazione parallela di algoritmi genetici per la stima di HMM

Implementazione parallela di algoritmi genetici per la stima di HMM Università degli Studi di Trieste Implementazione parallela di algoritmi genetici per la stima di HMM Relatore Enzo Mumolo Candidato Nicola Timeus 14 marzo 2014 Motivazioni Pattern recognition mediante

Dettagli

Prefazione. Parte prima - La funzione finanziaria nel management delle imprese 1

Prefazione. Parte prima - La funzione finanziaria nel management delle imprese 1 Indice Prefazione Autori XI XV Parte prima - La funzione finanziaria nel management delle imprese 1 Capitolo 1 Compiti ed evoluzione della funzione finanziaria 3 1.1 Compiti e finalità della funzione finanziaria

Dettagli

Descrizione dell Offerta Formativa

Descrizione dell Offerta Formativa Descrizione dell Offerta Formativa Titolo dell Offerta Formativa TECNICHE AVANZATE DI PROGRAMMAZIONE Articolazione e Contenuti dell Offerta Formativa Il percorso è articolato in due moduli didattici, della

Dettagli

Indice. Prefazione. Capitolo 1 Introduzione 1. Capitolo 2 Livello applicazione 30

Indice. Prefazione. Capitolo 1 Introduzione 1. Capitolo 2 Livello applicazione 30 Prefazione XI Capitolo 1 Introduzione 1 1.1 Internet: una panoramica 2 1.1.1 Le reti 2 1.1.2 Commutazione (switching) 4 1.1.3 Internet 6 1.1.4 L accesso a Internet 6 1.1.5 Capacità e prestazioni delle

Dettagli

Integrazione di Tecniche di Fault-Forecasting

Integrazione di Tecniche di Fault-Forecasting Pisa Dependable Computing Center Ente Per le Nuove Tecnologie, l Energia e l Ambiente Integrazione di Tecniche di Fault-Forecasting Contributo PDCC nell ambito del Terzo Obiettivo Intermedio del Contratto

Dettagli

Approfondimenti tecnici su framework v6.3

Approfondimenti tecnici su framework v6.3 Sito http://www.icu.fitb.eu/ pagina 1 I.C.U. "I See You" Sito...1 Cosa è...3 Cosa fa...3 Alcune funzionalità Base:...3 Alcune funzionalità Avanzate:...3 Personalizzazioni...3 Elenco Moduli base...4 Elenco

Dettagli

Metodi di previsione statistica

Metodi di previsione statistica Metodi di previsione statistica Francesco Battaglia Metodi di previsrone statisttca ~ Springer FRANCESCO BATTAGLIA Dipartimento di Statistica, Probabilita e Statistiche Applicate Universita La Sapienza

Dettagli

Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corso di Laurea Specialistica in Ingegneria Informatica.

Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corso di Laurea Specialistica in Ingegneria Informatica. Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corso di Laurea Specialistica in Ingegneria Informatica Corso di Sistemi Distribuiti Prof. Stefano Russo Caratterizzazionedei SistemiDistribuiti

Dettagli

Richiami: funzione di trasferimento e risposta al gradino

Richiami: funzione di trasferimento e risposta al gradino Richiami: funzione di trasferimento e risposta al gradino 1 Funzione di trasferimento La funzione di trasferimento di un sistema lineare è il rapporto di due polinomi della variabile complessa s. Essa

Dettagli

Strumento per l iniezione di guasti software nel sistema operativo GNU/Linux

Strumento per l iniezione di guasti software nel sistema operativo GNU/Linux Tesi di laurea Strumento per l iniezione di guasti software nel sistema operativo GNU/Linux Anno Accademico 2009/2010 Relatore Ch.mo prof. Marcello Cinque Correlatore Ch.mo ing. Roberto Natella Candidato

Dettagli

METODI PER LA QUANTIFICAZIONE DEL RISCHIO: Sicurezza Funzionale

METODI PER LA QUANTIFICAZIONE DEL RISCHIO: Sicurezza Funzionale Corso di Laurea in Ingegneria Aerospaziale METODI PER LA QUANTIFICAZIONE DEL RISCHIO: Docente: Page 1 Definizione di Safety Integrity Level (SIL) I SIL sono delle espressioni dei livelli di sicurezza di

Dettagli

Indice REGIONE BASILICATA

Indice REGIONE BASILICATA DIPARTIMENTO PROGRAMMAZIONE UFFICIO SISTEMA INFORMATIVO REGIONALE E Via Vincenzo Verrastro n 4 fax 0971/668954 REGI ONE BASI UFFICIO S. I. LICA R. S. TA Piano dei Test Id Sistema APPROVAZIONI Redatto da:

Dettagli

Cambiamenti e novità della terza edizione...xix. Condivisione delle risorse in un workgroup con Samba...1

Cambiamenti e novità della terza edizione...xix. Condivisione delle risorse in un workgroup con Samba...1 Introduzione...xv Cambiamenti e novità della terza edizione...xix Ringraziamenti...xxi Capitolo 1 Condivisione delle risorse in un workgroup con Samba...1 Reti Windows... 2 Struttura base di Samba... 3

Dettagli