Analisi della dependability di un middleware per la
|
|
- Baldassare Gallo
- 7 anni fa
- Visualizzazioni
Transcript
1 tesi di laurea Analisi della dependability di un middleware per la distribuzione ib i dei dati conforme allo standard d OMG Anno Accademico relatori Ch.mo prof. Stefano Russo Ch.mo prof. Domenico Cotroneo correlatore Ing. Christiancarmine Esposito candidato Alessandro Manzo matr
2 Contesto La tesi è stata svolta nell'ambito del progetto COSMIC, laboratorio pubblicoprivato dei partner CINI, DIS-UNINA, CRIAI, SELEX-SI, SESM Sistemi Near Real-Time Mission-Critical (RTMC) Un fallimento può avere effetti sull incolumità di persone o determinare danni ambientali Il requisito di real-time è fondamentale per il corretto funzionamento di tali sistemi Data Distribution Service (DDS): Sottosistemi di distribuzione dei dati utilizzati dai sistemi RTMC
3 Problematiche Requisiti: Tolleranza ai guasti Consegna in tempo Reale Scalabilità Interoperabilità Valutazione delle soluzioni middleware DDS-compliant in grado di soddisfare i requisiti Le soluzioni middleware in uso negli attuali sistemi non forniscono un supporto adeguato alle diverse tipologie di requisiti Per valutare possibili soluzioni innovative dei middleware basati su DDS è utile disporre di uno strumento basato su modelli
4 Obiettivi Valutazione di attributi di performability: Disponibilità del dato Overhead Probabilità di blocco del Publisher Valutazione di attributi di dependability: Disponibilità del Publisher Uno strumento per la stima di questi parametri è offerto dal formalismo delle Stochastic Activity Network (SAN) Soluzione proposta: Realizzazione di un modello operazionale SAN di un sistema aderente allo DDS Approccio integrato nell analisi del modello: il modello viene popolato p con parametri elementari ottenuti attraverso una campagna sperimentale
5 Data Distribution ib ti Service (DDS) Data Distribution Service: Standard OMG (2001) Paradigma Publish-Subscribe di tipo Topic Based Data-Centric: alto livello di astrazione dei dati Spazio globale dei dati (Domain, Topic, Key) Politiche di Qualità del Servizio RTPS: Standard OMG per l interoperabilità tra le implementazioni DDS Distribuzione dei dati basata su eventi Discovery di tipo built-in Assenza di single point of failure Flessibilità nella definizione dello schema del messaggio e del protocollo di comunicazione
6 Comunicazione affidabile in RTPS Passi fondamentali: Invocazione di una write() e scrittura di un dato in coda (send queue) Invio del dato sul canale Invio HB per richiedere una notifica Ricezione ACKNACK ed eliminazione del dato dalla coda Aspetti critici: Dimensionamento delle code Definizione del periodo di invio di HB
7 Modello SAN del sistema Definizione di modelli elementari delle entità DDS: Publisher Subscriber Modellazione di un canale di comunicazione Unicast RTPS Channel Ciascuna entità è interfacciata al modello elementare di fallimento Il modello complessivo è ottenuto da modelli elementari tramite gli operatori di JOIN e REP
8 Modelli SAN: Publisher e Subscriber Modello dlpblih del Publisher Pubblicazione Gestione coda di invio Gestione Heartbeat e ritrasmisisoni Modello del Subscriber Ricezione messaggi Gestione messaggi fuori ordine Invio ACKNACK
9 Approccio Integrato: Analisi del modello I parametri elementari del modello (latenza e jitter), sono stati ottenuti da una campagna sperimentale, realizzata su RTI DDS I parametri utilizzati nelle simulazioni sono stati forniti da SELEX-SI, e si riferiscono ad applicazioni di Air Traffic Control (ATC) PacketLoss : 10-4 Dimensione Pacchetto:100KB PublicationRate: 100Hz L'esecuzione del modello è realizzata con l'ausilio del tool MOBIUS (realizzato dal Performability Engeeniring Group della University of Illinois )
10 Risultati sperimentali (1/3) Mti Metrica di Dependability: Disponibilità del Publisher Risultati: Disponibilità di 7 nine con tre Publisher Inutile l introduzione di ulteriori i repliche
11 Risultati sperimentali (2/3) Metriche di Performability: Disponibilità del dato: probabilità di poter passare all applicazione il messaggio ricevuto Overhead Relativo: Risultati: Disponibiltà diminuisce con 8 Subscriber e periodo HB pari a 8 messaggi Overhead lineare fino ad 8 Subscriber
12 Risultati sperimentali (3/3) Metrica di Performability: Blocco del Publisher: probabilità di riempimento della send queue Risultati: Probabilità di blocco non nulla a partire da 13 Subscriber Dimensionamento delle code dipendente dal numero di Subscriber Sistema sotto stress : PacketLoss : 10-3 Dimensione Pacchetto:100KB PublicationRate: 100Hz Numero nodi elevato
13 Conclusioni Prestazioni complessive fortemente dipendenti dalle politiche di QoS impostate Fino a 8 Subscriber l overhead risulta lineare Il risultati sulla disponibilità evidenziano problemi di performance già a partire da 8 Subscriber Sviluppi futuri Estensione del modello allo scenario di comunicazione Multicast Confronto delle performance per reti di tipo LAN e WAN Studi di scalabilità con un numero molto elevato di nodi
UN SUPPORTO AUTOMATICO PER LA RACCOLTA E L ANALISI DI DATI SPERIMENTALI DI UN MIDDLEWARE PER LA DISTRIBUZIONE DI DATI
tesi di laurea UN SUPPORTO AUTOMATICO PER LA RACCOLTA E L ANALISI DI DATI SPERIMENTALI DI UN MIDDLEWARE PER LA DISTRIBUZIONE DI DATI Anno Accademico 2006/2007 relatore Ch.mo prof. Domenico Cotroneo correlatore
DettagliUno strumento per il deployment automatico di performance test su piattaforme per la distribuzione di dati
tesi di laurea Anno Accademico 2006/2007 relatore Ch.mo prof. Domenico Controneo correlatore Ing. Christiancarmine Esposito candidato Antonella Niola Matr. 534/158 .:: Contesto ::. www.cosmiclab.it Il
DettagliImplementazione di tecniche di tolleranza ai guasti in un middleware per la Data Distribution Service
tesi di laurea Implementazione di tecniche di tolleranza ai guasti in un middleware per la Data Distribution Service Anno Accademico 2005/2006 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Ganna
DettagliOttimizzazione dello scambio messaggi in un middleware di distribuzione dati conforme allo standard OMG DDS
conforme Metodologie allo standard e strumenti OMG per DDSil reengineering del workflow management tesi di laurea Ottimizzazione dello scambio messaggi in un middleware di distribuzione dati conforme allo
DettagliAnalisi e sperimentazione della piattaforma Web Service Notification nell ambito del controllo del traffico aereo
tesi di laurea Analisi e sperimentazione della piattaforma Web Service Notification Anno Accademico 2006/2007 relatore Ch.mo prof. Domenico Cotroneo Correlatore Ing. Christiancarmine Esposito candidato
DettagliValutazione sperimentale di middleware pub/sub per reti wireless!
tesi di laurea! Valutazione sperimentale di middleware pub/sub per reti wireless! Anno Accademico 2009/2010! relatore! Ch.mo prof. Domenico Cotroneo! correlatore! Ing. Christiancarmine Esposito! candidato!
DettagliProgettazione e sviluppo di uno strumento di monitoraggio dei componenti software di un sistema per il controllo del traffico aereo
tesi di laurea Progettazione e sviluppo di uno strumento di monitoraggio dei componenti software di un sistema per il controllo del traffico aereo Anno Accademico 2007/2008 relatore Ch.mo prof. Domenico
DettagliUna metodologia per la definizione dei livelli di criticità dei componenti di un sistema software complesso
tesi di laurea Anno Accademico 2006/2007 relatore Ch.mo Prof. Massimo Ficco correlatore Ing. Roberto Pietrantuono candidato Antonio Pecchia Matr. 885/108 Sistemi safety-critical Sistemi complessi i cui
Dettaglitesi di laurea Anno Accademico relatore Ch.mo prof. Stefano Russo correlatore Ing. Generoso Paolillo candidato Marco Leoni Matr.
tesi di laurea Progetto di un servizio distribuito di video streaming per Anno Accademico relatore Ch.mo prof. Stefano Russo correlatore Ing. Generoso Paolillo candidato Marco Leoni Matr. 534/431 Contesto:
DettagliUn approccio innovativo per il delivery di servizi in infrastrutture di nomadic computing
Un approccio innovativo per il delivery di servizi in infrastrutture di nomadic computing Relatore Prof. Ing. Stefano Russo Correlatore Ing. Domenico Cotroneo Candidato Armando Migliaccio matr. 41/2784
DettagliRealizzazione di un framework di monitoring per l'analisi di sistemi critici Anno Accademico 2013/2014
tesi di laurea specialistica Realizzazione di un framework di monitoring per l'analisi di sistemi critici Anno Accademico 2013/2014 relatore Ch.mo Prof. Domenico Cotroneo correlatore Ch.mo ing. Antonio
DettagliPrototipazione di un componente di elaborazione dei piani di volo in un sistema di Traffic Management
tesi di laurea in un sistema di Traffic Management Anno Accademico 2006/2007 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Antonio Strano candidato Giuseppe Diodato Mottola Matr. 534/2115 Obiettivo
DettagliMemorizzazione affidabile di dati in un ambiente di Griglia 2006-2007
tesi di laurea Memorizzazione affidabile di dati in un ambiente di Griglia 2006-2007 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Generoso Paolillo candidato Luigi Abate Matr. 041-3145 Contesto
DettagliUn Sistema Informativo per il Monitoraggio di Apparati Radar mediante l uso di Griglie Computazionali
tesi di laurea Un Sistema Informativo per il Monitoraggio di Apparati Radar Anno Accademico 2008/2009 relatore Ch.mo prof. Stefano Russo correlatore Ing. Generoso Paolillo candidato Vincenzo Carletti Matr.
DettagliSMD: a sensor data distribution service for FIN-BOX middleware for the interoperability in systems of systems Anno Accademico 2011/2012
tesi di laurea specialistica SMD: a sensor data distribution service for FIN-BOX middleware for the Anno Accademico 2011/2012 relatore Ch.mo prof. Stefano Russo correlatori Ch.mo prof. Domenico Cotroneo
DettagliTesi di Laurea Specialistica EMULAZIONE DI EFFETTI WAN NELLA VALUTAZIONE DELLE PRESTAZIONI DI SERVER WEB. Candidato Emiliano Zeppa.
Tesi di Laurea Specialistica EMULAZIONE DI EFFETTI WAN NELLA VALUTAZIONE DELLE PRESTAZIONI DI SERVER WEB Candidato Emiliano Zeppa Relatore Chiar.mo Prof. Salvatore Tucci Correlatore Dr. Valeria Cardellini
DettagliAnalisi di prestazioni di applicazioni web in ambiente virtualizzato
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana correlatore Ing. Andrea Toigo in collaborazione con candidato Antonio Trapanese Matr. 534/1485 La virtualizzazione è un
DettagliUn architettura per lo streaming multimediale in ambiente distribuito
tesi di laurea Anno Accademico 2012/2013 relatore Ch.mo prof. Simon Pietro Romano correlatori Ing. Tobia Castaldi candidato Alessandro Arrichiello Matr. M63/43 Contesto: o Content Distribution Networks
DettagliBilanciamento di traffico VoIP su reti wireless
Bilanciamento di traffico VoIP su reti wireless Sommario Scenario e Obiettivi Ipotesi Progettazione Valutazione Conclusioni Relatore: Dott. Vittorio Ghini Candidato: Diego Rodriguez Scenario e Obiettivi
DettagliRealizzazione di un tool di instrumentazione automatica a supporto della failure analysis
tesi di laurea Realizzazione di un tool di instrumentazione automatica a supporto della failure analysis Anno Accademico 2011/2012 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Antonio Pecchia
DettagliUn approccio innovativo alla tecnica di robustness testing del sistema operativo Linux
tesi di laurea Un approccio innovativo alla tecnica di robustness testing del sistema Anno Accademico 2009/2010 relatore Ch.mo prof. Domenico Cotroneo correlatori Ing. Domenico Di Leo Ing. Roberto Natella
DettagliProgetto ed implementazione di un tool di supporto allo sviluppo di applicazioni per Linux LibeRTOS
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo Prof. Ing. Domenico Cotroneo correlatore Ing. Armando Migliaccio candidato Giuseppe Di Luca Matr. 534/1493 LibeRTOS KUSP Contesto Linux based Real
DettagliRealizzazione di uno strumento web-based per la simulazione remota di reti di sensori senza filo
tesi di laurea Realizzazione di uno strumento web-based per la simulazione remota di reti di sensori senza filo Anno Accademico 2009/2010 relatore Ch.mo prof. Marcello Cinque correlatore Ing. Catello di
DettagliImplementazione di un servizio VoIP in ambienti SOA per mobile computing
tesi di laurea Implementazione di un servizio VoIP in ambienti SOA per mobile computing Anno Accademico 2006/2007 relatore Ch.mo prof. Domenico Cotroneo correlatore ing. Marcello Cinque candidato Vittorio
DettagliReplicazione. Requisisti di consistenza i clienti devono ricevere risposte consistenti e coerenti. Motivazioni
Replicazione Replicazione dei dati: gestione e manutenzione di un insieme di copie dei dati Motivazioni: - disponibilità - tolleranza ai guasti - prestazioni aching diverso da replicazione aching non aumenta
DettagliIl sistema operativo TinyOS
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Domenico Cotroneo candidato Giovanni Chierchia Matr. 534 / 804 ::. Obiettivi del lavoro di tesi Studio del sistema operativo TinyOS Studio
DettagliUniversità degli Studi Roma Tre
Università degli Studi Roma Tre FACOLTÀ DI INGEGNERIA CORSO DI LAUREA SPECIALISTICA IN INGEGNERIA MECCANICA DIPARTIMENTO DI INGEGNERIA MECCANICA LABORATORIO DI TERMODINAMICA APPLICATA AI SISTEMI ENERGETICI
DettagliConfronto sperimentale tra tecniche di testing automatico per applicazioni Android
Tesi di laurea in Ingegneria del Software Confronto sperimentale tra tecniche di testing automatico per applicazioni Anno Accademico 2011/2012 Relatore Ch.mo prof. Porfirio Tramontana Correlatore Ing.
DettagliStrumenti per la gestione della configurazione del software
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana correlatore Ch.mo ing. Luigi Suarato candidato Pasquale Palumbo Matr. 534/000021 MANUTENZIONE DEL SOFTWARE Il Configuration
DettagliStrumento 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
DettagliPROFILI 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.
DettagliAnalisi sperimentale di software aging nel kernel Linux
Tesi di laurea specialistica Anno Accademico 2008/09 Relatore Ch.mo Prof. Stefano Russo Correlatori Ing. Roberto Natella Ing. Roberto Pietrantuono Candidato Berniero Volzone Matr.: 885/288 1 Contesto Software
DettagliUn architettura per la gestione dei log di applicazioni distribuite
tesi di laurea Anno Accademico: 2007/2008 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Antonio Strano candidato Renato Riccio Matr. 534/2116 Contesto applicativo e problematiche Applicazioni
DettagliStrategie 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
DettagliProgetto e sviluppo di un applicazione per il pilotaggio remoto di reti
tesi di laurea Progetto e sviluppo di un applicazione per il pilotaggio remoto di reti di sensori Anno Accademico 2011/2012 relatore Ch.mo prof. Marcello Cinque candidato Andrea Fretta Matr. 534003135
DettagliUn Sistema per la Disseminazione Multipunto di Dati in Ambito Geografico con Garanzie di Tempo ed Affidabilità
tesi di laurea Un Sistema per la Disseminazione Multipunto di Dati in Ambito Geografico Anno Accademico 2008/2009 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Christiancarmine Esposito candidato
DettagliTesi di Laurea Automazione del testing delle Interfacce utente di applicazioni WEB:
Tesi di Laurea Automazione del testing delle Interfacce utente di applicazioni WEB: un caso di studio Anno accademico 2009 / 2010 Relatore Ch.mo prof. Porfirio Tramontana Correlatore Ch.mo Ing. Domenico
DettagliUn sistema di identificazione basato su tecnologia RFID
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Stefano Russo correlatore Ch.mo prof. Massimo Ficco candidato Alessandro Ciasullo Matr. 831/166 Obiettivo Progettazione ed implementazione
DettagliProgetto RE.VE.N.GE. DDS con Fault-tolerance. del Sistema di Consegna
Progetto RE.VE.N.GE. DDS con Fault-tolerance del Sistema di Consegna Progetto di: Marco Livini, Luca Nardelli, Christian Pinto Reti di Calcolatori LS 08-09 Prof. Antonio Corradi, Ing. Luca Foschini Relazione
DettagliProgettazione di un tool a supporto di un metodo per la selezione delle tecniche di test
tesi di laurea Progettazione di un tool a supporto di un metodo per la selezione delle Anno Accademico 2011/2012 relatore Ch.mo prof. Roberto Pietrantuono candidato Franco Crimaldi Matr. 534001692 Contesto
DettagliProgettazione ed implementazione di un tool per lo sviluppo di applicazioni in Esperanto
Università degli studi di Napoli Federico II Facoltà di Ingegneria Corso di laurea in Ingegneria Informatica Capri Feb. 2004 Progettazione ed implementazione di un tool per lo sviluppo di applicazioni
DettagliUn sistema di identificazione basato sulla tecnologia RFID
tesi di laurea Un sistema di identificazione basato sulla tecnologia RFID Anno Accademico 2005-2006 relatore Ch.mo prof. Stefano Russo correlatore Ch.mo prof. Massimo Ficco candidato Giacomo Scibelli Matr.
DettagliComunicazione tra Computer. Protocolli. Astrazione di Sottosistema di Comunicazione. Modello di un Sottosistema di Comunicazione
I semestre 04/05 Comunicazione tra Computer Protocolli Prof. Vincenzo Auletta auletta@dia.unisa.it http://www.dia.unisa.it/professori/auletta/ Università degli studi di Salerno Laurea in Informatica 1
DettagliIl Paradigma REST per lo sviluppo di applicazioni Web 2.0
tesi di laurea Anno Accademico 2006/2007 Il Paradigma REST per lo sviluppo di applicazioni Web 2.0 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Marcello Cinque candidato Antonio Alonzi Matr.
DettagliRealizzazione di un sistema di logging prototipale per la piattaforma
tesi di laurea Realizzazione di un sistema di logging prototipale per la piattaforma Android Anno Accademico 2011 / 2012 relatore Ch.mo prof. Marcello Cinque candidato Dario De Meis Matr. 528 / 741 Smartphone
DettagliIndice I INTRODUZIONE E RICHIAMI 1
vii Indice I INTRODUZIONE E RICHIAMI 1 1 Introduzione 3 1.1 La dependability.......................... 4 1.1.1 Le Minacce: guasti, errori e fallimenti.......... 5 1.1.2 Gli attributi della dependability.............
DettagliVersione 1. (marzo 2010)
ST 763-27 - Soluzione tecnica di interconnessione per i servizi SMS e MMS a sovrapprezzo Allegato 1 - Linee guida per l interfaccia di accesso tra operatore telefonico ed il CSP Versione 1 (marzo 2010)
DettagliDefinizione di metodi e tecniche per il testing di applicazioni Android Sensor Based
tesi di laurea Definizione di metodi e tecniche per il testing di applicazioni Android Sensor Based Anno Accademico 2010/2011 relatore Ch.mo prof. Porfirio Tramontana correlatore Ing. Domenico Amalfitano
DettagliConcetti di base di ingegneria del software
Concetti di base di ingegneria del software [Dalle dispense del corso «Ingegneria del software» del prof. A. Furfaro (UNICAL)] Principali qualità del software Correttezza Affidabilità Robustezza Efficienza
DettagliUn architettura di servizi integrati di comunicazione su rete IP per una PMI
tesi di laurea Un architettura di servizi integrati di comunicazione su rete IP per una Anno Accademico 2005/2006 relatore Ch.mo Prof. Massimo Ficco correlatore Ch.mo Prof. Stefano Russo candidato Raffaele
DettagliAnalisi e sviluppo di un componente per un ESB open source
tesi di laurea Anno Accademico 2010/2011 relatore Ch.mo prof. Porfirio Tramontana correlatore Ing. Ciro Romano candidato Rosario Celotto Matr. 534/1459 Introduzione L attività svolta è stata l analisi
DettagliSviluppo di processi per l automatizzazione del testing per applicazioni Android
tesi di laurea Sviluppo di processi per l automatizzazione del testing per applicazioni Anno Accademico 2011/2012 relatori Ch.mo prof. Porfirio Tramontana candidato Enrico Solimeo Matr. 534002361 Contesto:
DettagliArgomenti della lezione
Multicast IP Contenuti del corso La progettazione delle reti Il routing nelle reti IP Il collegamento agli Internet Service Provider e problematiche di sicurezza Analisi di traffico e dei protocolli applicativi
DettagliCorso di Reti di Calcolatori M
Università degli Studi di Bologna Facoltà di Ingegneria Corso di Reti di Calcolatori M DDS Data Distribution Service Luca Foschini Anno accademico 2014/2015 DDS 1 Agenda Lo standard DDS Sviluppo di un
DettagliReti e Internet: introduzione
Facoltà di Medicina - Corso di Laurea in Logopedia Corso di Informatica III anno Prof. Crescenzio Gallo Reti e Internet: introduzione c.gallo@unifg.it Reti e Internet: argomenti Tipologie di reti Rete
DettagliTesi Di Laurea. Anno Accademico 2010/2011. relatore Ch.mo prof. Cinque Marcello. correlatore Ch.mo Ing. Catello Cacace
Tesi Di Laurea Progettazione e Realizzazione di un Applicazione Web per la Gestione di Dati relativi ad Interventi Chirurgici Anno Accademico 2010/2011 relatore Ch.mo prof. Cinque Marcello correlatore
DettagliRealizzazione 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.
DettagliDesktop Video Conference
Desktop Video Conference Guida all uso V. 3.0.1 4. Requisiti tecnici dell applicativo e-works client Per ottenere i migliori risultati nell utilizzo di e-works è importante verificare la rispondenza delle
DettagliUn sistema per l'emulazione delle reti su cluster di macchine virtuali Anno Accademico 2007/2008
tesi di laurea Un sistema per l'emulazione delle reti su cluster di macchine virtuali Anno Accademico 2007/2008 relatore Ch.mo prof. Roberto Canonico correlatore ing. Pasquale Di Gennaro candidato Roberto
DettagliCoordinamento e sincronizzazione
Coordinamento e sincronizzazione Tempo locale e globale Nei sistemi distribuiti non esiste un orologio fisico globale Algoritmi di sincronizzazione e di coordinamento Applicazioni: correttezza di sequenze
DettagliSicurezza nei Sistemi Distribuiti
Sicurezza nei Sistemi Distribuiti Aspetti di Sicurezza La sicurezza nei sistemi distribuiti deve riguardare tutti i componenti del sistema e coinvolge due aspetti principali: Le comunicazioni tra utenti
DettagliSicurezza nei Sistemi Distribuiti
Sicurezza nei Sistemi Distribuiti Aspetti di Sicurezza La sicurezza nei sistemi distribuiti deve riguardare tutti i componenti del sistema e coinvolge due aspetti principali: Le comunicazioni tra utenti
DettagliSISTEMI OPERATIVI DISTRIBUITI
SISTEMI OPERATIVI DISTRIBUITI E FILE SYSTEM DISTRIBUITI 12.1 Sistemi Distribuiti Sistemi operativi di rete Sistemi operativi distribuiti Robustezza File system distribuiti Naming e Trasparenza Caching
DettagliSPECIFICA TECNICA N. 763-22 relativa alle. Caratteristiche tecniche dell interconnessione tra reti di telecomunicazioni
SPECIFICA TECNICA N. 763-22 relativa alle Caratteristiche tecniche dell interconnessione tra reti di telecomunicazioni TRATTAMENTO DELLE NUMERAZIONI DI TIPO 70X PER L ACCESSO AI SERVIZI INTERNET Versione
DettagliSistemi Web Tolleranti ai Guasti
Sistemi Web Tolleranti ai Guasti Candidato: Paolo Romano Relatore: Prof. Salvatore Tucci Correlatore: Prof. Bruno Ciciani Sommario Il problema: garantire semantica exactly once alle transazioni Web. Sistema
DettagliAnalisi e sviluppo di un sistema automatico per la segnalazione di stati anomali dei job del Data Center S.Co.P.E.
Tesi di Laurea Analisi e sviluppo di un sistema automatico per la segnalazione di stati anomali dei job del Data Center S.Co.P.E. Anno Accademico 2011/2012 Relatore Ch.mo prof. Marcello Cinque Correlatore
DettagliUno strumento per l emulazione di fallimenti hardware in sistemi virtualizzati
Tesi di laurea magistrale Uno strumento per l emulazione di fallimenti hardware in sistemi virtualizzati Anno Accademico 2012/2013 relatore Ch.mo prof. Marcello Cinque Ing. Antonio Pecchia correlatore
DettagliFACOLTÀ DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA INFORMATICA DIPARTIMENTO DI INFORMATICA E SISTEMISTICA. Presentazione
UNIVERSITÀ DEGLI STUDI DI NAPOLI FEDERICO II FACOLTÀ DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA INFORMATICA DIPARTIMENTO DI INFORMATICA E SISTEMISTICA Presentazione Tesi di Laurea in Misure per l Automazione
DettagliUn applicazione client per la localizzazione via Bluetooth e Wi-Fi di dispositivi Smartphone Anno Accademico 2005/2006
tesi di laurea Un applicazione client per la localizzazione via Bluetooth e Wi-Fi di dispositivi Anno Accademico 2005/2006 relatore Ch.mo prof. Stefano Russo correlatore Ing. Massimo Ficco candidato Giorgio
DettagliValutazione 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
DettagliGli strumenti di simulazione per lo sviluppo di sistemi elettronici automotive
18 aprile 2012 Gli strumenti di simulazione per lo sviluppo di sistemi elettronici automotive Andrea Delmastro R&D Manager La normativa ISO 26262 Road vehicles Functional Safety Soddisfare esigenze per
DettagliA cura di Giorgio Mezzasalma
GUIDA METODOLOGICA PER IL MONITORAGGIO E VALUTAZIONE DEL PIANO DI COMUNICAZIONE E INFORMAZIONE FSE P.O.R. 2007-2013 E DEI RELATIVI PIANI OPERATIVI DI COMUNICAZIONE ANNUALI A cura di Giorgio Mezzasalma
Dettaglitesi di laurea Anno Accademico 2004/2005 relatore Ing. Massimo Ficco candidato Pasquale Incarnato Matr. 534/938
tesi di laurea Anno Accademico 2004/2005 relatore Ing. Massimo Ficco candidato Pasquale Incarnato Matr. 534/938 Obbiettivi del progetto Progettazione ed implementazione di un applicazione, basata su un
DettagliUNIVERSITÀ DEGLI STUDI DI NAPOLI FEDERICO II
UNIVERSITÀ DEGLI STUDI DI NAPOLI FEDERICO II SCUOLA POLITECNICA E DELLE SCIENZE DI BASE DIPARTIMENTO DI INGEGNERIA CIVILE, EDILE E AMBIENTALE CORSO DI LAUREA SPECIALISTICA IN INGEGNERIA PER L AMBIENTE
DettagliUn applicazione per il trasferimento file in ambiente Symbian
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Paolo Ascione candidato Barbara Migliaccio Matr. 534/1026 Scenario Applicativo File Transfer via Bluetooth
DettagliScheduling della CPU. Sistemi multiprocessori e real time Metodi di valutazione Esempi: Solaris 2 Windows 2000 Linux
Scheduling della CPU Sistemi multiprocessori e real time Metodi di valutazione Esempi: Solaris 2 Windows 2000 Linux Sistemi multiprocessori Fin qui si sono trattati i problemi di scheduling su singola
DettagliSurfCop. Informazioni sul prodotto
SurfCop Informazioni sul prodotto Contenuto Introduzione... 3 Funzioni del programma... 3 Vantaggi del programma... 3 Funzionalità del programma... 4 Requisiti di sistema:... 4 Come funziona il programma...
DettagliSistemi Diagnostici Integrati e Distribuiti
U n i v e r s i t à degli S t u d i C a F o s c a r i di V e n e z i a Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Specialistica in I n f o r m a t i c a Presentazione Tesi di Laurea
DettagliTesi di Laurea. Cluster di server Web a Qualità del Servizio garantita
Tesi di Laurea Cluster di Web a Qualità del Servizio garantita Candidato: Marco Orazi Relatore: Chiar.mo Prof. Salvatore Tucci Correlatore: Chiar.mo Prof. Michele Colajanni Sommario Qualità del Servizio
DettagliDISPOSIZIONI DELL AUTORITA PER L ENERGIA ELETTRICA E IL GAS IN TEMA DI STANDARD DI COMUNICAZIONE
Allegato A Allegato A alla deliberazione 18 dicembre 2006, n. 294/06 così come modificata ed integrata con deliberazione 17 dicembre 2008 ARG/gas 185/08 DISPOSIZIONI DELL AUTORITA PER L ENERGIA ELETTRICA
DettagliIndice. 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
DettagliProf. Ing. Andrea Giuseppe CAPODAGLIO. Prof. Ing. Arianna CALLEGARI
RIDUZIONE IMPATTO AMBIENTALE CERTIFICATI DI VALIDAZIONE DIFFUSIONE DELLE EMISSIONI ODORIGENE DAL CANALE DI INGRESSO DELL IMPIANTO DI NOSEDO: STUDIO DIFFUSIONALE DI CONFRONTO TRA RISULTATI DEL SISTEMA ODOWATCH
DettagliDettaglio attività e pianificazione. snamretegas.it. San Donato Milanese Aprile 2014
Evoluzioni tecnologiche nelle integrazioni B2B introdotte dalla Nuova Piattaforma informatica per la Gestione dei processi commerciali di Programmazione e Bilancio Dettaglio attività e pianificazione San
DettagliPiano di gestione della qualità
Piano di gestione della qualità Pianificazione della qualità Politica ed obiettivi della qualità Riferimento ad un eventuale modello di qualità adottato Controllo della qualità Procedure di controllo.
DettagliCollaborazione estesa delle supply chain
Il progetto di ricerca FLUID-WIN nell ambito del sesto Programma Quadro Panoramica generale Integrazione dei fornitori di servizio di terze parti con l intera Trend dell economia globale La globalizzazione
DettagliCorso di Informatica
CdLS in Odontoiatria e Protesi Dentarie Corso di Informatica Prof. Crescenzio Gallo crescenzio.gallo@unifg.it Le Reti di Computer 2 Introduzione Una rete è un complesso insieme di sistemi di elaborazione
DettagliLa Formazione: elemento chiave nello Sviluppo del Talento. Enzo De Palma Business Development Director
La Formazione: elemento chiave nello Sviluppo del Talento Enzo De Palma Business Development Director Gennaio 2014 Perché Investire nello Sviluppo del Talento? http://peterbaeklund.com/ Perché Investire
DettagliOCS Open Control System
OCS Open Control System L OCS è una applicazione software innovativa di supervisione e controllo, progettata e realizzata da Strhold S.p.A. per consentire la gestione centralizzata di sottosistemi periferici.
DettagliStrumenti per la personalizzazione delle informazioni contenute nella piattaforma Geo Web Starter
Strumenti per la personalizzazione delle informazioni contenute nella piattaforma Geo Web Starter Tool ETL (Extract, Trasform, Loading) Applicazione disponibile per gli utenti Administrator di ogni Organizzazione
DettagliProgetto di un sistema di controllo per un robot basato su CAN
Progetto di un sistema di controllo per un robot basato su CAN Laurea in Ingegneria Informatica ed Elettronica Università degli Studi di Perugia Facoltà di Ingegneria Candidato: Giulio Spinozzi Relatore:
DettagliWiFi: Connessione senza fili. di Andreas Zoeschg
WiFi: Connessione senza fili di Andreas Zoeschg Introduzione Le tecnologie wireless risultano particolarmente adatte qualora sia necessario supportare la mobilità dei dispositivi utenti o per il deployment
DettagliScenari di Deployment i. Scenari di Deployment
i Scenari di Deployment ii Copyright 2005-2011 Link.it srl iii Indice 1 Introduzione 1 2 La configurazione minima 1 3 La gestione totalmente centralizzata 3 4 Porte di Dominio Locali con Registro Centrale
DettagliTAS Network FOCUS ON. Pronti per SWIFTNet 7.0!
01 TAS Network Gateway Pronti per SWIFTNet 7.0! Dopo il 31 marzo 2012 tutti gli utenti della rete SWIFT dovranno obbligatoriamente utilizzare la versione SWIFTNet 7.0 per la gestione delle connessioni
DettagliGrid Data Management Services. Griglie e Sistemi di Elaborazione Ubiqui
Grid Data Management Services D. Talia - UNICAL Griglie e Sistemi di Elaborazione Ubiqui Sommario Grid Data Management in Globus Toolkit GridFTP RFT RLS OGSA-DAI GridFTP GT4 Data Services High-performance
DettagliAllegato) all art.4 punto 5 Informatizzazione del Magazzino
Allegato) all art.4 punto 5 Informatizzazione del Magazzino PREMESSA L integrazione in oggetto ha lo scopo di sostituire la soluzione attualmente in essere, basata sullo scambio di file di testo, con una
DettagliDFD DISPENSA DEL CORSO DI SISTEMI INFORMATIVI UNIVERSITÀ DEGLI STUDI DI VERONA FACOLTÀ DI MM.FF.NN LAUREA SPECIALISTICA IN INFORMATICA
UNIVERSITÀ DEGLI STUDI DI VERONA FACOLTÀ DI MM.FF.NN LAUREA SPECIALISTICA IN INFORMATICA DISPENSA DEL CORSO DI SISTEMI INFORMATIVI Prof. Carlo Combi DFD Appunti a cura di E. Peri M. Devincenzi Indice 1
DettagliFieldbus Foundation e la sicurezza
Fieldbus Foundation Freedom to choose. Power to integrate Italia Fieldbus Foundation e la sicurezza Safety Integrity System Alberto Digiuni Filedbus Foundation Italia La sicurezza Cosa è la sicurezza?...
DettagliL INSIGHT. Vorrei... Desidoo Marketing System contribuisce a costruire il tuo successo!
Club Grandi Marche Vorrei... L INSIGHT...Poter analizzare le vendite dei miei prodotti in maniera indipendente rispetto alle Insegne della GDO...Poter disporre di uno strumento che mi indichi le quote
DettagliUNIVERSITA DI PISA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA ELETTRONICA ANNO ACCADEMICO 2004-2005 TESI DI LAUREA
UNIVERSITA DI PISA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA ELETTRONICA ANNO ACCADEMICO 2004-2005 TESI DI LAUREA SVILUPPO DI METODI DECONVOLUTIVI PER L INDIVIDUAZIONE DI SORGENTI INDIPENDENTI
DettagliSMART IRRIGATION SYSTEMS. L'evoluzione del telecontrollo al servizio delle reti irrigue
SMART IRRIGATION SYSTEMS L'evoluzione del telecontrollo al servizio delle reti irrigue ing. Elisabetta Giusti PhD ing. Marco Parri SMART Community SMART IRRIGATION SYSTEM L evoluzione tecnologica ha portato
Dettagli