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

Processi stocastici. variabile casuale: funzione da uno spazio campione S a valori nello spazio E R X(t) : S E. spazio degli stati del processo

Processi stocastici. variabile casuale: funzione da uno spazio campione S a valori nello spazio E R X(t) : S E. spazio degli stati del processo Processi stocastici Processo stocastico: famiglia di variabili casuali {X(t) t T} definite su uno spazio di probabilità indiciate dal parametro t (tempo) X(t) variabile casuale: funzione da uno spazio

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

Automazione Industriale 1

Automazione Industriale 1 Simona Sacone - DIST Automazione Industriale 1 Docente: Simona SACONE Dipartimento di Informatica, Sistemistica e Telematica (DIST) Università di Genova Tel. 010-353-6551; 329-2104394 Email: simona@dist.unige.it

Dettagli

Università Cà Foscari di Venezia

Università Cà Foscari di Venezia 1 Università Cà Foscari di Venezia DIPARTIMENTO DI SCIENZE AMBIENTALI, INFORMATICA E STATISTICA Corso di Laurea Magistrale in Informatica Simulazione di reti di Petri stocastiche in forma prodotto: applicazione

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

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

Indice. Nota degli autori. 1 Capitolo 1 Introduzione alla ricerca operativa

Indice. Nota degli autori. 1 Capitolo 1 Introduzione alla ricerca operativa XI Nota degli autori 1 Capitolo 1 Introduzione alla ricerca operativa 1 1.1 Premessa 1 1.2 Problemi di ottimizzazione 6 1.3 Primi approcci ai modelli di ottimizzazione 13 1.4 Uso del risolutore della Microsoft

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

Analisi matriciale delle reti di Petri (P/T) - sifoni e trappole -

Analisi matriciale delle reti di Petri (P/T) - sifoni e trappole - Analisi matriciale delle reti di Petri (P/T) - sifoni e trappole - - richiami preliminari sulle proprietà strutturali - Abbiamo visto che alcune caratteristiche dei sistemi dinamici (DES compresi) non

Dettagli

Analisi della dependability di un middleware per la

Analisi della dependability di un middleware per la tesi di laurea Analisi della dependability di un middleware per la distribuzione ib i dei dati conforme allo standard d OMG Anno Accademico 2005-2006 relatori Ch.mo prof. Stefano Russo Ch.mo prof. Domenico

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

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

Indice Prefazione xiii 1 Probabilità

Indice Prefazione xiii 1 Probabilità Prefazione xiii 1 Probabilità 1 1.1 Origini del Calcolo delle Probabilità e della Statistica 1 1.2 Eventi, stato di conoscenza, probabilità 4 1.3 Calcolo Combinatorio 11 1.3.1 Disposizioni di n elementi

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

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

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

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

Indice generale. Prefazione

Indice generale. Prefazione Prefazione vii 1 Classificazione dei sistemi e dei modelli 1 1.1 Introduzione 1 1.2 Principi di base della teoria dei sistemi e del controllo 2 1.2.1 I concetti di sistema e di modello 3 1.2.2 Il concetto

Dettagli

Prelazione. Lista delle Figure. Lista delle Tabelle

Prelazione. Lista delle Figure. Lista delle Tabelle Indice Prelazione Indice Lista delle Figure Lista delle Tabelle VI IX XV XVI 1 Nozioni Introduttive 1 1.1 Inferenza Statistica 1 1.2 Campionamento 5 1.3 Statistica e Probabilità 7 1.4 Alcuni Problemi e

Dettagli

Metodologie statistiche in manutenzione

Metodologie statistiche in manutenzione M in in > Statistica di base per la > FMECA per la alla generali Sviluppare una sensibilità al valore aggiunto derivante da un applicazione di metodi e tecniche statistiche in Fornire conoscenze specifiche

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

Teoria ed esercitazioni di Automazione Industriale

Teoria ed esercitazioni di Automazione Industriale POLITECNICO DI TORINO Dipartimento di Automatica e Informatica Fabio Balduzzi Teoria ed esercitazioni di Automazione Industriale Diploma Universitario a Distanza in Ingegneria Logistica e della Produzione

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

Metodi Computazionali

Metodi Computazionali Metodi Computazionali Elisabetta Fersini fersini@disco.unimib.it A.A. 2009/2010 Catene di Markov Applicazioni: Fisica dinamica dei sistemi Web simulazione del comportamento utente Biologia evoluzione delle

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

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

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

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

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

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

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

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

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

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

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

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

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

Introduzione 1. 1 Il controllo supervisivo di una rete di Petri 3 1.1 Il problema del controllo supervisivo... 3 1.2 Il metodo dei posti monitor...

Introduzione 1. 1 Il controllo supervisivo di una rete di Petri 3 1.1 Il problema del controllo supervisivo... 3 1.2 Il metodo dei posti monitor... Indice Introduzione 1 1 Il controllo supervisivo di una rete di Petri 3 1.1 Il problema del controllo supervisivo.................. 3 1.2 Il metodo dei posti monitor....................... 4 Bibliografia

Dettagli

UNIVERSITÀ DEGLI STUDI DI NAPOLI FEDERICO II Dottorato di Ricerca in Ingegneria Informatica ed Automatica

UNIVERSITÀ DEGLI STUDI DI NAPOLI FEDERICO II Dottorato di Ricerca in Ingegneria Informatica ed Automatica UNIVERSITÀ DEGLI STUDI DI NAPOLI FEDERICO II Dottorato di Ricerca in Ingegneria Informatica ed Automatica UNA METODOLOGIA PER LA MODELLAZIONE FORMALE DI SISTEMI CRITICI BASATA SU METODI E TECNICHE DI MODEL

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

SECONDO BIENNIO ISTITUTO TECNICO

SECONDO BIENNIO ISTITUTO TECNICO SETTORE DOCUMENTI PER LA DISCUSSIONE ISTITUTO TECNICO INDIRIZZO ARTICOLAZIONE ELETTROTECNICA TECNOLOGICO ELETTRONICA ED ELETTROTECNICA ESITI DI APPRENDIMENTO (competenze, abilità, conoscenze) Regolamento,

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

Metodologie statistiche in manutenzione

Metodologie statistiche in manutenzione M in in > Statistica di base per la > FMECA per la alla generali Sviluppare una sensibilità al valore aggiunto derivante da un applicazione di metodi e tecniche statistiche in Fornire conoscenze specifiche

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

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

Sommario. Presentazione dell edizione italiana... xi. efazione... xiii

Sommario. Presentazione dell edizione italiana... xi. efazione... xiii Sommario Presentazione dell edizione italiana... xi Prefazione efazione... xiii Capitolo 1 Il lato oscuro o della valutazione... 1 Definizione di un impresa tecnologica... 2 La crescita del settore tecnologico...

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

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

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

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

Programmazione Disciplinare: Calcolo Classe: Quarte - Quinte

Programmazione Disciplinare: Calcolo Classe: Quarte - Quinte Istituto Tecnico Tecnologico Basilio Focaccia Salerno Programmazione Disciplinare: Calcolo Classe: Quarte - Quinte Anno scolastico 01-01 I Docenti della Disciplina Salerno, settembre 01 Anno scolastico

Dettagli

SISTEMI E RETI 4(2) 4(2) 4(2) caratteristiche funzionali

SISTEMI E RETI 4(2) 4(2) 4(2) caratteristiche funzionali CL AS SE INFORMATICA 6(3) 6(4) - 6(4) SISTEMI E RETI 4(2) 4(2) 4(2) TECNOLOGIE E PROGETTAZIONE DI SISTEMI INFORMATICI E DI TELECOMUNICAZIONI COMPETENZE 3 Essere in grado di sviluppare semplici applicazioni

Dettagli

Processi stocastici A.A Corso di laurea Magistrale in Statistica Univ. degli Studi di Palermo

Processi stocastici A.A Corso di laurea Magistrale in Statistica Univ. degli Studi di Palermo Processi stocastici A.A. 09 0 Corso di laurea Magistrale in Statistica Univ. degli Studi di Palermo G. Sanfilippo 20 maggio 200 Registro delle lezioni. Lezione del 3 Marzo 200, 8-, ore complessive 3 Richiami

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

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

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

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

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

Automazione Industriale (scheduling+mms) scheduling+mms. adacher@dia.uniroma3.it

Automazione Industriale (scheduling+mms) scheduling+mms. adacher@dia.uniroma3.it Automazione Industriale (scheduling+mms) scheduling+mms adacher@dia.uniroma3.it Introduzione Sistemi e Modelli Lo studio e l analisi di sistemi tramite una rappresentazione astratta o una sua formalizzazione

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

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

Reti di Petri: analisi, modellistica e controllo

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

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

Company overview. www.hackingteam.com. *stimato

Company overview. www.hackingteam.com. *stimato Company profile Company overview Sicurezza Informatica (difensiva ed offensiva) Vendor Independent Fondata nel 2003 2 soci fondatori e Amministratori operativi Finanziata da 2 primari fondi di Venture

Dettagli

Parte I Processi, organizzazione e sistemi informativi di Demand Planning

Parte I Processi, organizzazione e sistemi informativi di Demand Planning Indice Introduzione... 1 Parte I Processi, organizzazione e sistemi informativi di Demand Planning 1 Demand Planning e Supply Chain Management... 13 1.1 IntroduzionealDemandPlanning... 13 1.1.1 DefinizionediDemandPlanning...

Dettagli

Sistemi di Controllo per l Automazione Industriale

Sistemi di Controllo per l Automazione Industriale 10 marzo 2015 Ing. foglietta.chiara@gmail.com Università degli Studi di Cassino e del Lazio Meridionale Agenda Eventi Esempi di Eventi 2 Ing. Università degli Studi Roma TRE Email: foglietta.chiara@gmail.com

Dettagli

Istituti Tecnici - Settore tecnologico Indirizzo Informatica e telecomunicazioni Articolazione Informatica

Istituti Tecnici - Settore tecnologico Indirizzo Informatica e telecomunicazioni Articolazione Informatica Linee guida Secondo ciclo di istruzione Istituti Tecnici - Settore tecnologico Indirizzo Informatica e telecomunicazioni Quadro orario generale 1 biennio 2 biennio 5 anno 1^ 2^ 3^ 4^ 5^ Sistemi e reti**

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

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

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

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

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

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

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

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

Specializzazione Elettronica ed Elettrotecnica Articolazione Elettrotecnica. Elettronica ed Elettrotecnica - Classe 3^ Specializzazione Elettronica ed Elettrotecnica Articolazione Elettrotecnica Elettronica ed Elettrotecnica - Classe 3^ 1- Reti elettriche in corrente continua Grandezze elettriche fondamentali e loro legami,

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

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

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

MATEMATICA FINANZIARIA P-Z (CFU 6) (1 semestre) Prof. Cristina GOSIO

MATEMATICA FINANZIARIA P-Z (CFU 6) (1 semestre) Prof. Cristina GOSIO MATEMATICA FINANZIARIA P-Z (CFU 6) (1 semestre) Il corso si propone di fornire la formalizzazione e la modellazione matematica di operazioni finanziarie, cioè di operazioni di scambio aventi per oggetto

Dettagli

SCELTA DEL TEST DA ESEGUIRE

SCELTA DEL TEST DA ESEGUIRE SCELTA DEL TEST DA ESEGUIRE Tenete il passo dei cicli di rilascio sempre più veloci. Scoprite l automazione con il tocco umano. ESECUZIONE DI UN TEST 26032015 Test funzionali Con Borland, tutti i membri

Dettagli

Indice. Notazioni generali

Indice. Notazioni generali Indice Notazioni generali XIII 1 Derivati e arbitraggi 1 1.1 Opzioni 1 1.1.1 Finalità 3 1.1.2 Problemi 4 1.1.3 Leggi di capitalizzazione 4 1.1.4 Arbitraggi e formula di Put-Call Parity 5 1.2 Prezzo neutrale

Dettagli

I bus di campo nell automazione industriale

I bus di campo nell automazione industriale I bus di campo nell automazione industriale Fabio Giorgi Introduzione Aspetti di comunicazione nell automazione industriale Esempio di cella di lavorazione Passaggio dal controllo centralizzato al controllo

Dettagli

Indice. Prefazione all edizione italiana

Indice. Prefazione all edizione italiana Indice Prefazione all edizione italiana XV Capitolo 1 Il software e l ingegneria del software 1 1.1 L evoluzione del ruolo del software 3 1.2 Il software 5 1.3 La natura mutevole del software 8 1.4 Il

Dettagli

MODELLI PER L ANALISI DI SISTEMI CRITICI

MODELLI PER L ANALISI DI SISTEMI CRITICI MODELLI PER L ANALISI DI SISTEMI CRITICI L impiego di elaboratori in contesti diversi e sempre più delicati richiede di prestare particolare attenzione alle problematiche di sicurezza e affidabilità. In

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

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

Riassunto 24 Parole chiave 24 Commenti e curiosità 25 Esercizi 27 Appendice

Riassunto 24 Parole chiave 24 Commenti e curiosità 25 Esercizi 27 Appendice cap 0 Romane - def_layout 1 12/06/12 07.51 Pagina V Prefazione xiii Capitolo 1 Nozioni introduttive 1 1.1 Introduzione 1 1.2 Cenni storici sullo sviluppo della Statistica 2 1.3 La Statistica nelle scienze

Dettagli

Reliability Demonstration Tests Distribuzione di Weibull

Reliability Demonstration Tests Distribuzione di Weibull Reliability Demonstration Tests Distribuzione di Weibull Stefano Beretta Politecnico di Milano, Dipartimento di Meccanica Giugno 2009 Sommario Le prove di laboratorio molto spesso vengono intese come tests

Dettagli

BOZZA NON DEFINITIVA. Indice

BOZZA NON DEFINITIVA. Indice Indice 1 Introduzione... 1 1.1 Unpo distoria:glialbori... 1 1.1.1 La probabilitàcomefrequenza... 2 1.1.2 La probabilitàclassica... 2 1.1.3 IlparadossodiBertrand... 5 1.2 La teoria della probabilità diventa

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

Realizzazione di un Tool per l iniezione automatica di difetti all interno di codice Javascript

Realizzazione di un Tool per l iniezione automatica di difetti all interno di codice Javascript tesi di laurea di difetti all interno di codice Javascript Anno Accademico 2009/2010 relatore Ch.mo prof. Porfirio Tramontana correlatore Ch.mo ing. Domenico Amalfitano candidato Vincenzo Riccio Matr.

Dettagli

POLITICHE DI SCHEDULING OTTIME PER SENSORI RADIO ALIMENTATI DA FONTI DI ENERGIA RINNOVABILI

POLITICHE DI SCHEDULING OTTIME PER SENSORI RADIO ALIMENTATI DA FONTI DI ENERGIA RINNOVABILI UNIVERSITÀ DI PADOVA FACOLTÀ DI INGEGNERIA DIPARTIMENTO DI INGEGNERIA DELL INFORMAZIONE Corso di Laurea Magistrale in Ingegneria delle Telecomunicazioni Tesi di Laurea POLITICHE DI SCHEDULING OTTIME PER

Dettagli

PIANO DI LAVORO DEL PROFESSORE

PIANO DI LAVORO DEL PROFESSORE ISTITUTO DI ISTRUZIONE SUPERIORE STATALE IRIS V ERSA RI - Cesano Maderno (MB) PIANO DI LAVORO DEL PROFESSORE Indirizzo LICEO TECNICO MATERIA M ATEMATICA APPLICATA ANNO SCOLASTICO 2011-2012 PROF PIZZILEO

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

Valutazione delle prestazioni e Sistemi Distribuiti Dipartimento di Informatica Universita del Piemonte Orientale

Valutazione delle prestazioni e Sistemi Distribuiti Dipartimento di Informatica Universita del Piemonte Orientale Valutazione delle prestazioni e Sistemi Distribuiti Dipartimento di Informatica Universita del Piemonte Orientale Cosimo Anglano cosimo.anglano@mfn.unipmn.it Roma, 9-10 Giugno 2004 Composizione del gruppo

Dettagli

VIII Indice 2.6 Esperimenti Dicotomici Ripetuti: Binomiale ed Ipergeometrica Processi Stocastici: Bernoul

VIII Indice 2.6 Esperimenti Dicotomici Ripetuti: Binomiale ed Ipergeometrica Processi Stocastici: Bernoul 1 Introduzione alla Teoria della Probabilità... 1 1.1 Introduzione........................................ 1 1.2 Spazio dei Campioni ed Eventi Aleatori................ 2 1.3 Misura di Probabilità... 5

Dettagli

Indice. Introduzione PARTE PRIMA L ARCHITETTURA DEI DATABASE 1

Indice. Introduzione PARTE PRIMA L ARCHITETTURA DEI DATABASE 1 Indice Introduzione XI PARTE PRIMA L ARCHITETTURA DEI DATABASE 1 Capitolo 1 Introduzione all architettura di Oracle 3 1.1 I database e le istanze 3 1.2 Installazione del software 9 1.3 Creazione di un

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