Enabling Dependable Communication in Cyber-Physical Systems with a Wireless Bus

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Enabling Dependable Communication in Cyber-Physical Systems with a Wireless Bus"

Transcript

1 Diss. ETH No Enabling Dependable Communication in Cyber-Physical Systems with a Wireless Bus A dissertation submitted to ETH Zurich for the degree of Doctor of Sciences presented by FEDERICO FERRARI M.Sc. ALaRI, USI born January 6, 1981 citizen of Italy accepted on the recommendation of Prof. Dr. Lothar Thiele, examiner Prof. Dr. Prabal Dutta, co-examiner Prof. Dr. Luca Mottola, co-examiner 2013

2 Abstract Cyber-physical systems (CPSs) are physical and engineered systems believed to radically transform how we interact with the physical world. By tightly integrating computation, low-power wireless communication, and physical processes, these systems realize safety-critical control loops with physical processes affecting computation and vice versa in scenarios where traditional systems are hardly applicable. Potential CPS applications include healthcare, factory automation, and smart structures. The safety-critical nature of most CPS applications demands highly dependable system operation. However, it is currently not possible to apply to cyber-physical systems established concepts for the design and validation of dependable distributed systems. These concepts require guarantees (e.g., on message delivery orderings) that existing CPS communication protocols do not provide. It is indeed extremely challenging to guarantee message delivery in low-power wireless networks, due to, for example, severe computation and memory constraints of typical CPS embedded devices, multi-hop wireless communication, and the need of satisfying also requirements on energy efficiency. State-of-the-art solutions try to overcome these challenges by involving in the exchange of messages as few nodes as possible, but they typically operate only in a best-effort manner. By contrast, we conjecture in this thesis that it is possible to enable dependable yet efficient communication in cyber-physical systems by employing a wireless bus a time-triggered communication infrastructure where, similar to protocols for (wired) safety-critical embedded systems, nodes are time-synchronized and communicate as if they were connected by a shared bus. In particular, we implement three main building blocks contributing towards a dependable wireless bus: We design Glossy, a flooding architecture that provides fast and highly reliable one-to-all communication in multi-hop low-power wireless networks, while also accurately time-synchronizing all devices. Glossy exploits synchronous transmissions of the same packet, and does not require nodes to maintain any knowledge of the network topology. Experimental results from three testbeds show that Glossy delivers messages within a few milliseconds and with probabilities above % in most scenarios, while also providing global time synchronization with sub-microsecond accuracy.

3 ii Abstract We present the Low-Power Wireless Bus (LWB), a wireless bus that maps all traffic demands on Glossy floods and globally schedules every flood, thus effectively turning a multi-hop wireless network into an infrastructure similar to a shared bus where all nodes are potential receivers of all data. Therefore, LWB inherently supports one-to-many, many-to-one, and many-to-many traffic without keeping any topology-dependent state at the nodes. Results from four testbeds show that LWB performs comparably or significantly better than seven state-of-the-art many-to-one and many-to-many protocols, adapts efficiently to traffic loads and network topologies varying over time, ensures fair bandwidth allocation, and supports mobile nodes without performance loss. We finally verify the validity of our conjecture by developing Virtus, a wireless bus that extends LWB s best-effort operation and provides virtual synchrony guarantees. By implementing atomic multicast and view management, Virtus ensures that non-faulty nodes see the same events in the same order despite possible communication failures or node crashes. Virtually-synchronous executions allow to apply to cyber-physical systems established methods for fault tolerance based on replication techniques. Testbed results show that Virtus implements virtual synchrony at a marginal cost compared with LWB, and is significantly more energy-efficient than existing best-effort multicast protocols for low-power wireless networks.

4 Sommario Si ritiene che i sistemi ciber-fisici (CPSs) possano cambiare radicalmente il modo in cui interagiamo con il mondo fisico intorno a noi. Integrando in modo stretto computazione, comunicazione senza fili a bassa potenza e processi fisici, questi sistemi realizzano circuiti di controllo critici per la sicurezza, dove processi fisici e computazione si influenzano a vicenda, e in situazioni in cui sistemi più tradizionali sono difficilmente applicabili. Possibili applicazioni CPSs includono assistenza sanitaria, automazione industriale e strutture intelligenti. Poiché la maggior parte delle applicazioni CPSs sono critiche per la sicurezza, è fondamentale che questi sistemi funzionino in modo affidabile. Tuttavia, non è al momento possibile applicare ai sistemi ciberfisici concetti consolidati per la progettazione e la validazione di sistemi distribuiti affidabili. Questi concetti richiedono garanzie (per esempio sulla consegna ordinata dei messaggi) che i protocolli di comunicazione esistenti non forniscono. È infatti estremamente arduo garantire la consegna di messaggi in reti senza fili a bassa potenza, per esempio a causa della limitata capacità di computazione e di memoria dei sistemi embedded (incorporati) tipici dei CPSs, dell uso di comunicazione senza fili di tipo multi hop (multi salto) e della necessità di soddisfare anche requisiti di efficienza energetica. Le soluzioni attuali cercano di superare questi ostacoli coinvolgendo nello scambio di messaggi il minor numero possibile di nodi, ma solitamente operano solo in modalità best effort (senza garanzie). In questa tesi ipotizziamo che è invece possibile ottenere una comunicazione affidabile oltre che efficiente nei sistemi ciber-fisici utilizzando un wireless bus (bus senza fili) un infrastruttura time triggered (attivata dall avanzare del tempo) dove, similmente a protocolli per sistemi embedded cablati critici per la sicurezza, i nodi sono sincronizzati e comunicano come se fossero collegati da un unico bus condiviso. In particolare, implementiamo tre mattoni principali che concorrono a realizzare un wireless bus affidabile: Ideiamo Glossy, un architettura flooding (per l inondazione di pacchetti) che consente ad un nodo di distribuire pacchetti in modo veloce ed altamente affidabile a tutti gli altri nodi di una rete senza fili a bassa potenza e multi hop, oltre a sincronizzare accuratamente tutti i dispositivi. Glossy sfrutta trasmissioni contemporanee dello

5 iv Sommario stesso pacchetto e non richiede che i nodi abbiano alcuna conoscenza della topologia della rete. Esperimenti su tre testbeds (banchi di prova per reti senza fili) mostrano che nella maggior parte dei casi Glossy consegna messaggi entro pochi millisecondi e con probabilità maggiori del %, fornendo anche una sincronizzazione globale con una precisione al di sotto del microsecondo. Presentiamo il Low-Power Wireless Bus (LWB), un wireless bus che usa Glossy per tutte le comunicazioni e che pianifica in modo globale ogni scambio di messaggi, trasformando di fatto una rete di comunicazione senza fili e multi hop in un infrastruttura simile ad un bus condiviso. LWB perciò supporta intrinsecamente traffico di tipo uno-verso-tutti, tutti-verso-uno e tutti-verso-tutti senza dover mantenere nessun tipo di stato che dipenda dalla topologia della rete. Esperimenti su quattro testbeds mostrano che LWB ha prestazioni simili o molto migliori di sette protocolli esistenti di tipo tutti-verso-uno e tutti-verso-tutti, si adatta in modo efficiente a carichi di traffico e topologie di rete variabili, assicura un allocazione equa della banda e supporta nodi mobili senza perdita di prestazioni. Verifichiamo la validità della nostra ipotesi sviluppando Virtus, un wireless bus che estende la modalità best effort di LWB e fornisce garanzie di virtual synchrony (sincronia virtuale). Implementando atomic multicast e view management, Virtus assicura che i nodi non guasti vedano gli stessi eventi nello stesso ordine, nonostante possibili mancate ricezioni o crash di nodi. Esecuzioni di tipo virtual synchrony permettono di applicare ai sistemi ciber-fisici metodi consolidati per la tolleranza ai guasti basati su tecniche di replicazione. Esperimenti su testbeds mostrano che Virtus implementa virtual synchrony con un costo marginale rispetto a LWB ed è sensibilmente più efficiente di protocolli multicast e best effort per reti senza fili a bassa potenza.

VLSI Circuits for Cryptographic Authentication

VLSI Circuits for Cryptographic Authentication Diss. ETH No. 19351 VLSI Circuits for Cryptographic Authentication A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by LUCA HENZEN Dipl. El.-Ing. ETH (MSc ETH) born

Dettagli

A dissertation submitted to ETH ZURICH. for the degree of Doctor of Sciences. presented by DAVIDE MERCURIO

A dissertation submitted to ETH ZURICH. for the degree of Doctor of Sciences. presented by DAVIDE MERCURIO DISS. ETH NO. 19321 DISCRETE DYNAMIC EVENT TREE MODELING AND ANALYSIS OF NUCLEAR POWER PLANT CREWS FOR SAFETY ASSESSMENT A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented

Dettagli

ICT e SmartGrid. Massimiliano Chiandone mchiandone@units.it

ICT e SmartGrid. Massimiliano Chiandone mchiandone@units.it ICT e SmartGrid Massimiliano Chiandone mchiandone@units.it Sommario Introduzione Nuove Architetture dei Sistemi Elettrici Motivazioni, requisiti, caratteristiche Comunicazioni Dispositivi Un esempio Applicazioni

Dettagli

Broadband Sigma-Delta A/D Converters

Broadband Sigma-Delta A/D Converters Diss. ETH No. 15392 Broadband Sigma-Delta A/D Converters A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of Technical Sciences presented by PIO BALMELLI

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

ISAC. Company Profile

ISAC. Company Profile ISAC Company Profile ISAC, all that technology can do. L azienda ISAC nasce nel 1994, quando professionisti con una grande esperienza nel settore si uniscono, e creano un team di lavoro con l obiettivo

Dettagli

A Publishing Infrastructure for Interactive Paper Documents

A Publishing Infrastructure for Interactive Paper Documents Diss. ETH No. 18514 A Publishing Infrastructure for Interactive Paper Documents Supporting Interactions across the Paper-Digital Divide A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY

Dettagli

SYMPHONY ENERGY MANAGER

SYMPHONY ENERGY MANAGER ADVANCED ENERGY MANAGEMENT Innovazione Il Symphony Energy Manager (SEM) rappresenta uno strumento altamente innovativo che nasce all interno del panorama tecnologico offerto dalla piattaforma Symphony.

Dettagli

SCENE UNDERSTANDING FOR MOBILE ROBOTS

SCENE UNDERSTANDING FOR MOBILE ROBOTS DISS. ETH. NO 18767 SCENE UNDERSTANDING FOR MOBILE ROBOTS A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by LUCIANO SPINELLO MSc Automation Engineering, Università

Dettagli

A Neuromorphic VLSI System for Modeling Spike Based Cooperative Competitive Neural Networks

A Neuromorphic VLSI System for Modeling Spike Based Cooperative Competitive Neural Networks Diss. ETH No. 16578 A Neuromorphic VLSI System for Modeling Spike Based Cooperative Competitive Neural Networks A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY (ETH ZURICH) for the

Dettagli

/. ^y^cr-^a. Bandwidth and Energy Efficiency. Continuous-Phase Modulation. and Coding for. 2?.g. g& presented by Bixio E. Rimoldi. dipl. El. Ing.

/. ^y^cr-^a. Bandwidth and Energy Efficiency. Continuous-Phase Modulation. and Coding for. 2?.g. g& presented by Bixio E. Rimoldi. dipl. El. Ing. Diss. ETH No.8629 /. ^y^cr-^a 2?.g. g& Continuous-Phase Modulation and Coding for Bandwidth and Energy Efficiency A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZÜRICH for the degree

Dettagli

NORME E GUIDE TECNICHE PROGRAMMA DI LAVORO PER INCHIESTE PRELIMINARI TECHNICAL STANDARDS AND GUIDES PROGRAMME OF WORKS FOR PRELIMINAR ENQUIRY

NORME E GUIDE TECNICHE PROGRAMMA DI LAVORO PER INCHIESTE PRELIMINARI TECHNICAL STANDARDS AND GUIDES PROGRAMME OF WORKS FOR PRELIMINAR ENQUIRY NORME E GUIDE TECNICHE PROGRAMMA DI LAVORO PER INCHIESTE PRELIMINARI TECHNICAL STANDARDS AND GUIDES PROGRAMME OF WORKS FOR PRELIMINAR ENQUIRY Il presente documento viene diffuso attraverso il sito del

Dettagli

Corso di Applicazioni Telematiche

Corso di Applicazioni Telematiche Corso di Applicazioni Telematiche Lezione n.1 Prof. Roberto Canonico Università degli Studi di Napoli Federico II Facoltà di Ingegneria Obiettivi del corso Supporti didattici Modalità d esame Panoramica

Dettagli

Modeling and Tracking Social Walkers

Modeling and Tracking Social Walkers Diss. ETH No. 20340 Modeling and Tracking Social Walkers A dissertation submitted to the ETH ZURICH for the degree of Doctor of Science ETH presented by Stefano Pellegrini M.Eng. Sapienza University of

Dettagli

Pubblicazioni COBIT 5

Pubblicazioni COBIT 5 Pubblicazioni COBIT 5 Marco Salvato CISA, CISM, CGEIT, CRISC, COBIT 5 Foundation, COBIT 5 Trainer 1 SPONSOR DELL EVENTO SPONSOR DI ISACA VENICE CHAPTER CON IL PATROCINIO DI 2 La famiglia COBIT 5 3 Aprile

Dettagli

SOA e Web Service SISTEMI INFORMATIVI MODULO II. Corso di Sistemi Informativi Modulo II A. A. 2013-2014

SOA e Web Service SISTEMI INFORMATIVI MODULO II. Corso di Sistemi Informativi Modulo II A. A. 2013-2014 Corso di Laurea Magistrale in Ingegneria Gestionale Corso di Sistemi Informativi Modulo II A. A. 2013-2014 SISTEMI INFORMATIVI MODULO II SOA e Web Service Figure tratte dal testo di riferimento, Copyright

Dettagli

We take care of your buildings

We take care of your buildings We take care of your buildings Che cos è il Building Management Il Building Management è una disciplina di derivazione anglosassone, che individua un edificio come un entità che necessita di un insieme

Dettagli

Your home comfort has a new shape. Find out how it works

Your home comfort has a new shape. Find out how it works Your home comfort has a new shape Find out how it works CUBODOMO allows you to manage and monitor your entire home s temperature, from WHEREVER YOU ARE CUBODOMO ti consente di gestire e monitorare la temperatura

Dettagli

Sezione 1 / Section 1. Elementi d identità: il marchio Elements of identity: the logo

Sezione 1 / Section 1. Elementi d identità: il marchio Elements of identity: the logo Sezione 1 / Section 1 2 Elementi d identità: il marchio Elements of identity: the logo Elements of identity: the logo Indice 2.01 Elementi d identità 2.02 Versioni declinabili 2.03 Versioni A e A1, a colori

Dettagli

Analysis of Reachability Properties in Communicating Authorization Policies

Analysis of Reachability Properties in Communicating Authorization Policies Diss. ETH No. 20840 Analysis of Reachability Properties in Communicating Authorization Policies A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by SIMONE FRAU MSc.

Dettagli

Ambienti di calcolo a griglia - Parte 3

Ambienti di calcolo a griglia - Parte 3 TOC Ambienti di calcolo a griglia - Parte 3 Obiettivo Formativo Un software di griglia può essere installato con una certa facilità da programmatori. Al crescere dell uso e della dipendenza dell utenza,

Dettagli

Gestione e controllo della generazione distribuita da fonti rinnovabili nelle reti elettriche

Gestione e controllo della generazione distribuita da fonti rinnovabili nelle reti elettriche Gestione e controllo della generazione distribuita da fonti rinnovabili nelle reti elettriche OUTLINE Stato e funzionamento del sistema elettrico. Gestione energia elettrica da nuove fonti/ nuovi generatori:

Dettagli

Emissions-Controlled Diesel Engine

Emissions-Controlled Diesel Engine Diss. ETH No. 18214 Emissions-Controlled Diesel Engine A dissertation submitted to the Swiss Federal Institute of Technology Zurich for the degree of Doctor of Sciences presented by Ezio Alfieri Dipl.

Dettagli

Scheda di rete 10/100/1000Mbps USB3.0, USB Hub

Scheda di rete 10/100/1000Mbps USB3.0, USB Hub USB-0502 Versione H/w: 1 Scheda di rete 10/100/1000Mbps USB3.0, USB Hub Connessione facile e veloce con l\\\'usb L\\\'adattatore di rete Gigabit USB LevelOne con Hub a 3 Porte USB consente di collegarsi

Dettagli

Mechanisms of neuronal apoptosis and axon growth. presented by. Dipl. accepted on the recommendation of. Valeria Gagliardini. Bioc.hemi.

Mechanisms of neuronal apoptosis and axon growth. presented by. Dipl. accepted on the recommendation of. Valeria Gagliardini. Bioc.hemi. Diss. ETH N 13375 Mechanisms of neuronal apoptosis and axon growth A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZÜRICH for the degree of Doctor of Natural Science presented by

Dettagli

Attuatore a relè Manuale di istruzioni

Attuatore a relè Manuale di istruzioni Attuatore a relè Manuale di istruzioni www.ecodhome.com 1 Sommario 3 Introduzione 4 Descrizione e specifiche prodotto 5 Installazione 6 Funzionamento 6 Garanzia 2 Introduzione SmartDHOME vi ringrazia per

Dettagli

Parte 1 Parte 2 Parte 3 Parte Trasversale

Parte 1 Parte 2 Parte 3 Parte Trasversale STRUTTURA Parte 1: Motivazioni e sfide per la migrazione di applicazioni Parte 2: Metodologia di migrazione delle applicazioni nel cloud Parte 3: Casi di studio Parte Trasversale: Comunicazione PASSAGGIO

Dettagli

Ingegneria del Software

Ingegneria del Software Università di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE Paolo Salvaneschi A1_1 V2.2 Ingegneria del Software Il contesto industriale del software Il contenuto del documento è liberamente utilizzabile

Dettagli

produzione filtri per oleodinamica idrosanitaria ed applicazioni industriali GENERAL CATALOG

produzione filtri per oleodinamica idrosanitaria ed applicazioni industriali GENERAL CATALOG produzione filtri GENERAL CATALOG per oleodinamica idrosanitaria ed applicazioni industriali Born to create filtering systems for liquids and gas present in systems or machinery, by studying them down

Dettagli

Allestimenti Fiere Exhibition Stand Design & Construction

Allestimenti Fiere Exhibition Stand Design & Construction Allestimenti Fiere Exhibition Stand Design & Construction Way Out srl è un impresa d immagine e comunicazione a servizio completo dedicata alle piccole e medie industrie. Dal 1985 presenti sul mercato

Dettagli

A Seamless Framework for Object-Oriented Persistence in Presence of Class Schema Evolution

A Seamless Framework for Object-Oriented Persistence in Presence of Class Schema Evolution DISS. ETH NO. 20910 A Seamless Framework for Object-Oriented Persistence in Presence of Class Schema Evolution A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by MARCO

Dettagli

Architetture software

Architetture software Sistemi Distribuiti Architetture software 1 Sistemi distribuiti: Architetture software Il software di gestione di un sistema distribuito ha funzionalità analoghe ad un sistema operativo Gestione delle

Dettagli

Estendere Lean e Operational Excellence a tutta la Supply Chain

Estendere Lean e Operational Excellence a tutta la Supply Chain Estendere Lean e Operational Excellence a tutta la Supply Chain Prof. Alberto Portioli Staudacher www.lean-excellence.it Dipartimento Ing. Gestionale Politecnico di Milano alberto.portioli@polimi.it Lean

Dettagli

Verso infrastrutture intelligenti per le utility. Vincenzo.Lecchi@Alcatel-Lucent.com 22 Aprile 2010

Verso infrastrutture intelligenti per le utility. Vincenzo.Lecchi@Alcatel-Lucent.com 22 Aprile 2010 Verso infrastrutture intelligenti per le utility Vincenzo.Lecchi@Alcatel-Lucent.com 22 Aprile 2010 L ambiziosa iniziativa Green Touch @ mira a limitare di un fattore 1.000 le future emissioni legate alla

Dettagli

STATO IMPLEMENTAZIONE ONVIF SU TELECAMERE MUNDUS SECURUS

STATO IMPLEMENTAZIONE ONVIF SU TELECAMERE MUNDUS SECURUS IMPLEMENTAZIONE ONVIF SU TELECAMERE MUNDUS SECURUS 1. Ambiente di sviluppo Sono stati analizzati diversi linguaggi e framework differenti utilizzabili per implementare i WebServices ONVIF. Il risultato

Dettagli

Grazie a Ipanema, Coopservice assicura le prestazioni delle applicazioni SAP & HR, aumentando la produttivita del 12%

Grazie a Ipanema, Coopservice assicura le prestazioni delle applicazioni SAP & HR, aumentando la produttivita del 12% Grazie a Ipanema, Coopservice assicura le prestazioni delle applicazioni SAP & HR, aumentando la produttivita del 12% CASE STUDY (Re)discover Simplicity to Guarantee Application Performance Gli obiettivi

Dettagli

COMPANY PROFILE. tecnomulipast.com

COMPANY PROFILE. tecnomulipast.com COMPANY PROFILE tecnomulipast.com PROGETTAZIONE E REALIZZAZIONE IMPIANTI INDUSTRIALI DAL 1999 Design and manufacture of industrial systems since 1999 Keep the faith on progress that is always right even

Dettagli

Corso di Laurea in Ingegneria Informatica. Corso di Reti di Calcolatori I

Corso di Laurea in Ingegneria Informatica. Corso di Reti di Calcolatori I Corso di Laurea in Ingegneria Informatica Corso di Reti di Calcolatori I Roberto Canonico (roberto.canonico@unina.it) Giorgio Ventre (giorgio.ventre@unina.it) Virtual LAN: VLAN I lucidi presentati al corso

Dettagli

COMPOSTING FACILITIES AND BIOAEROSOLS AS SOURCES OF LEGIONELLA AND AMOEBAE

COMPOSTING FACILITIES AND BIOAEROSOLS AS SOURCES OF LEGIONELLA AND AMOEBAE DISS. ETH NO. 21679 COMPOSTING FACILITIES AND BIOAEROSOLS AS SOURCES OF LEGIONELLA AND AMOEBAE A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich) presented

Dettagli

Un Sistema per la Disseminazione Multipunto di Dati in Ambito Geografico con Garanzie di Tempo ed Affidabilità

Un 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

Dettagli

Sistema modulare per visualizzazione prezzi carburanti.

Sistema modulare per visualizzazione prezzi carburanti. Sistema modulare per visualizzazione prezzi carburanti. La gamma NAUTILUS, nata dall esperienza maturata dalla nostra azienda in oltre 36 anni di attività nella progettazione e produzione di sistemi di

Dettagli

Il Data Center come elemento abilitante alla competività dell impresa

Il Data Center come elemento abilitante alla competività dell impresa Il Data Center come elemento abilitante alla competività dell impresa Lorenzo Bovo Senior Solution Consultant HP Technology Consulting lorenzo.bovo@hp.com Udine, 23 Novembre 2009 2009 Hewlett-Packard Development

Dettagli

IP TV and Internet TV

IP TV and Internet TV IP TV e Internet TV Pag. 1 IP TV and Internet TV IP TV e Internet TV Pag. 2 IP TV and Internet TV IPTV (Internet Protocol Television) is the service provided by a system for the distribution of digital

Dettagli

The distribution energy resources impact

The distribution energy resources impact LO STORAGE DI ELETTRICITÀ E L INTEGRAZIONE DELLE RINNOVABILI NEL SISTEMA ELETTRICO. I BATTERY INVERTERS Fiera Milano 8 maggio 2014 Il ruolo dell accumulo visto da una società di distribuzione ENEL Distribuzione

Dettagli

Padova Smart City. Internet of Things. Alberto Corò

Padova Smart City. Internet of Things. Alberto Corò Padova Smart City Internet of Things Alberto Corò Padova 16 ottobre 2013 Smart City Le smart cities ("città intelligenti") possono essere classificate lungo 6 aree di interesse: Economia Mobilità Ambiente

Dettagli

Argomenti di Tesi. A. Beghi. DEI, January 19th, 2011. University of Padua (Italy) - Department of Information Engineering

Argomenti di Tesi. A. Beghi. DEI, January 19th, 2011. University of Padua (Italy) - Department of Information Engineering Argomenti di Tesi A. Beghi University of Padua (Italy) - Department of Information Engineering DEI, January 19th, 2011 Outline Tematiche di ricerca: 1 Modellistica, identificazione e controllo di sistemi

Dettagli

Sensor Networks. I sistemi di data fusion sulle reti di sensori

Sensor Networks. I sistemi di data fusion sulle reti di sensori Sensor Networks I sistemi di data fusion sulle reti di sensori Sensor Networks Reti di sensori intelligenti connessi su topologie variabili e dotati di capacità di elaborazione locale Esempi di applicazioni

Dettagli

Telecontrol systems for renewables: from systems to services

Telecontrol systems for renewables: from systems to services ABB -- Power Systems Division Telecontrol systems for renewables: from systems to Adrian Timbus - ABB Power Systems Division, Switzerland Adrian Domenico Timbus Fortugno ABB - Power ABB Power Systems Systems

Dettagli

TRASMISSIONI FLESSIBILI CAVI GUAINE E MINUTERIE, PER RICAMBI CICLO, MOTOCICLO ED APPLICAZIONI INDUSTRIALI

TRASMISSIONI FLESSIBILI CAVI GUAINE E MINUTERIE, PER RICAMBI CICLO, MOTOCICLO ED APPLICAZIONI INDUSTRIALI TRASMISSIONI FLESSIBILI CAVI GUAINE E MINUTERIE, PER RICAMBI CICLO, MOTOCICLO ED APPLICAZIONI INDUSTRIALI FLEXIBLE TRANSMISSIONS WIRE ROPE, OUTER CABLES AND SMALL, FOR CYCLE AND MOTORCYCLE SPARE PARTS

Dettagli

Solutions in motion.

Solutions in motion. Solutions in motion. Solutions in motion. SIPRO SIPRO presente sul mercato da quasi trent anni si colloca quale leader italiano nella progettazione e produzione di soluzioni per il motion control. Porsi

Dettagli

Tecnologie di Campo nell Automazione Industriale

Tecnologie di Campo nell Automazione Industriale Tecnologie di Campo nell Automazione Industriale Reti per l Automazione Stefano Panzieri Lan e Bus di Campo - 1 Stefano Panzieri Al livello più basso Misura e acquisizione delle grandezze di interesse

Dettagli

Dr Mila Milani. Comparatives and Superlatives

Dr Mila Milani. Comparatives and Superlatives Dr Mila Milani Comparatives and Superlatives Comparatives are particular forms of some adjectives and adverbs, used when making a comparison between two elements: Learning Spanish is easier than learning

Dettagli

Introduzione al corso

Introduzione al corso Corso di Laurea Specialistica in Ingegneria Informatica Corso di Laurea Specialistica in Ingegneria delle Telecomunicazioni Corso di Reti di Applicazioni Telematiche a.a. 2010-2011 Introduzione al corso

Dettagli

CONFIGURATION MANUAL

CONFIGURATION MANUAL RELAY PROTOCOL CONFIGURATION TYPE CONFIGURATION MANUAL Copyright 2010 Data 18.06.2013 Rev. 1 Pag. 1 of 15 1. ENG General connection information for the IEC 61850 board 3 2. ENG Steps to retrieve and connect

Dettagli

Attuatore a relè Manuale di istruzioni

Attuatore a relè Manuale di istruzioni Attuatore a relè Manuale di istruzioni www.ecodhome.com 1 Sommario 3 Introduzione 4 Descrizione e specifiche prodotto 5 Installazione 6 Funzionamento 6 Garanzia 2 Introduzione SmartDHOME vi ringrazia per

Dettagli

Hard Disk Drive Duplicator Dock USB 3.0 to SATA HDD Duplicator. StarTech ID: SATDOCK22RU3

Hard Disk Drive Duplicator Dock USB 3.0 to SATA HDD Duplicator. StarTech ID: SATDOCK22RU3 Hard Disk Drive Duplicator Dock USB 3.0 to SATA HDD Duplicator StarTech ID: SATDOCK22RU3 The SATDOCK22RU3 USB 3.0 to SATA Hard Drive Duplicator Dock can be used as a standalone SATA hard drive duplicator,

Dettagli

Protocolli di Sessione TCP/IP: una panoramica

Protocolli di Sessione TCP/IP: una panoramica Protocolli di Sessione TCP/IP: una panoramica Carlo Perassi carlo@linux.it Un breve documento, utile per la presentazione dei principali protocolli di livello Sessione dello stack TCP/IP e dei principali

Dettagli

TRANSFORMation Dialogue

TRANSFORMation Dialogue TRANSFORMation Dialogue Genova 16 & 17.06.2014 Smart cities Horizon2020 e oltre Simona Costa IL CONTESTO: perché le città? ~70%della popolazione europea ~70%di concentrazione di consumo energetico ~75%gas

Dettagli

Monte Titoli Test di Connettività. v1.0 - Febbraio 2015

Monte Titoli Test di Connettività. v1.0 - Febbraio 2015 Monte Titoli Test di Connettività v1.0 - Febbraio 2015 Page 1 Introduzione Per supportare la piattaforma T2S, Monte Titoli ha predisposto nuovi ambienti dedicati: - Produzione - Avviamento e DR che coesisteranno

Dettagli

brand implementation

brand implementation brand implementation brand implementation Underline expertise in reliable project management reflects the skills of its personnel. We know how to accomplish projects at an international level and these

Dettagli

AUTOMAZIONI PER PORTE BATTENTI

AUTOMAZIONI PER PORTE BATTENTI AUTOMAZIONI PER PORTE BATTENTI AUTOMATIONS FOR SWING DOORS Modernità, compattezza ed affidabilità: tre semplici concetti che riassumono al meglio le automazioni per porte battenti myone. Se a queste caratteristiche

Dettagli

Tipologie di sensori e di estrazione automatica di dati

Tipologie di sensori e di estrazione automatica di dati Tipologie di sensori e di estrazione automatica di dati Prof. Gianluigi Ferrari Wireless Ad-hoc and Sensor Networks Laboratory http://wasnlab.tlc.unipr.it gianluigi.ferrari@unipr.it Dig.it 2014 - Giornalismo

Dettagli

API e socket per lo sviluppo di applicazioni Web Based

API e socket per lo sviluppo di applicazioni Web Based API e socket per lo sviluppo di applicazioni Web Based Cosa sono le API? Consideriamo il problema di un programmatore che voglia sviluppare un applicativo che faccia uso dei servizi messi a disposizione

Dettagli

Auditorium dell'assessorato Regionale Territorio e Ambiente

Auditorium dell'assessorato Regionale Territorio e Ambiente Auditorium dell'assessorato Regionale Territorio e Ambiente Università degli Studi di Palermo Prof. Gianfranco Rizzo Energy Manager dell Ateneo di Palermo Plan Do Check Act (PDCA) process. This cyclic

Dettagli

LO LH BUSREP. 1 2 3 Jp2. Jp1 BUSREP. Ripetitore di linea seriale RS 485 Manuale d installazione RS 485 Serial Line Repeater Instruction Manual

LO LH BUSREP. 1 2 3 Jp2. Jp1 BUSREP. Ripetitore di linea seriale RS 485 Manuale d installazione RS 485 Serial Line Repeater Instruction Manual Jp MS 4 LINEA 4 MS MS LINEA LINEA Tx4 Tx Tx Tx BUSREP S Jp Jp LINEA GND +,8 Jp4 BUSREP Ripetitore di linea seriale RS 485 Manuale d installazione RS 485 Serial Line Repeater Instruction Manual Edizione/Edition.

Dettagli

Energy-Efficient Protocols for Wireless Sensor Networks

Energy-Efficient Protocols for Wireless Sensor Networks Facoltà Di Ingegneria Corso di Laurea in Ingegneria Elettronica Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica Energy-Efficient Protocols for Wireless Sensor Networks Anno Accademico : 2008-2009

Dettagli

Pentair ensures that all of its pumps (see Annex) affected by the above mentioned Regulation meet the 0,1 MEI rating.

Pentair ensures that all of its pumps (see Annex) affected by the above mentioned Regulation meet the 0,1 MEI rating. DIRECTIVE 29/125/EC - REGULATION EU 547/212 Pentair informs you about the new requirements set by Directive 29/125/EC and its Regulation EU 547/212 regarding pumps for water. Here below you find a brief

Dettagli

ANTIVIRALCD8 T CELL RESPONSE: ROLE OF PERSISTENTANTIGEN AND OFT HELP. for the degree of Doctor of Natural Sciences. Presentedby PAOLAAGNELLINI

ANTIVIRALCD8 T CELL RESPONSE: ROLE OF PERSISTENTANTIGEN AND OFT HELP. for the degree of Doctor of Natural Sciences. Presentedby PAOLAAGNELLINI DISS. ETH NO. 17413 ANTIVIRALCD8 T CELL RESPONSE: ROLE OF PERSISTENTANTIGEN AND OFT HELP A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGYZÜRICH for the degree of Doctor of Natural

Dettagli

MS WINDOWS SERVER 2008 - DESIGNING A WINDOWS SERVER 2008 NETWORK INFRASTRUCTURE

MS WINDOWS SERVER 2008 - DESIGNING A WINDOWS SERVER 2008 NETWORK INFRASTRUCTURE MS WINDOWS SERVER 2008 - DESIGNING A WINDOWS SERVER 2008 NETWORK INFRASTRUCTURE UN BUON MOTIVO PER [cod. E112] L obiettivo del Corso è fornire ai partecipanti la preparazione e le competenze necessarie

Dettagli

Oreste Signore, Cultura Senza Barriere Università degli Studi di Padova Padova, 18-20 febbraio 2010

Oreste Signore, <oreste@w3c.it> Cultura Senza Barriere Università degli Studi di Padova Padova, 18-20 febbraio 2010 Oreste Signore, Cultura Senza Barriere Università degli Studi di Padova Padova, 18-20 febbraio 2010 Slides: http://www.w3c.it/talks/2010/csb2010-wcag/slides.html Versione pdf: [ pagina

Dettagli

Cyber Security Energia Una Piattaforma di Ricerca e Innovazione. Giovanna Dondossola

Cyber Security Energia Una Piattaforma di Ricerca e Innovazione. Giovanna Dondossola Cyber Security Energia Una Piattaforma di Ricerca e Innovazione Giovanna Dondossola Agenda Cyber Security in RSE Evoluzione dello scenario energe7co Pia9aforma RSE di Ricerca e Innovazione Funzioni e Capacità

Dettagli

La classificazione delle reti

La classificazione delle reti La classificazione delle reti Introduzione Con il termine rete si intende un sistema che permette la condivisione di informazioni e risorse (sia hardware che software) tra diversi calcolatori. Il sistema

Dettagli

Rinnova la tua Energia. Renew your Energy.

Rinnova la tua Energia. Renew your Energy. Rinnova la tua Energia. Renew your Energy. Dai vita ad un nuovo Futuro. Create a New Future. Tampieri Alfredo - 1934 Dal 1928 sosteniamo l ambiente con passione. Amore e rispetto per il territorio. Una

Dettagli

no. SIC04053.03 Rev. 00 Dated 2008.10.02

no. SIC04053.03 Rev. 00 Dated 2008.10.02 TECHNICAL REPORT RAPPORTO TECNICO no. SIC04053.03 Rev. 00 Dated 2008.10.02 This technical report may only be quoted in full. Any use for advertising purposes must be granted in writing. This report is

Dettagli

IBM Green Data Center

IBM Green Data Center IBM Green Data Center Mauro Bonfanti Director of Tivoli Software Italy www.ibm.com/green Milano, 17/02/2009 Partiamo da qui... L efficienza Energetica è una issue globale con impatti significativi oggi

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

Photonics for THz Quantum Cascade Lasers

Photonics for THz Quantum Cascade Lasers Diss. ETH No. 19024 Photonics for THz Quantum Cascade Lasers A dissertation submitted to ETH Z ÜRICH for the degree of Doctor of Sciences presented by MARIA I. AMANTI Dipl. Phys., Universitita degli studi

Dettagli

Convex Relaxations in MixedInteger Optimization. Methods and Control Applications

Convex Relaxations in MixedInteger Optimization. Methods and Control Applications DISS. ETH NO. 22160 Convex Relaxations in MixedInteger Optimization Methods and Control Applications A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich) presented

Dettagli

THINKING DIGITAL SYNCHRONIZING WITH THE FUTURE PENSIERO DIGITALE: SINCRONIZZARSI COL FUTURO

THINKING DIGITAL SYNCHRONIZING WITH THE FUTURE PENSIERO DIGITALE: SINCRONIZZARSI COL FUTURO THINKING DIGITAL SYNCHRONIZING WITH THE FUTURE PENSIERO DIGITALE: SINCRONIZZARSI COL FUTURO A STEP FORWARD IN THE EVOLUTION Projecta Engineering developed in Sassuolo, in constant contact with the most

Dettagli

GSM WATER CONTROL TELECONTROLLO REMOTO DI IMPIANTI, GESTIONE ACQUA SERBATOI, CONDUTTURE

GSM WATER CONTROL TELECONTROLLO REMOTO DI IMPIANTI, GESTIONE ACQUA SERBATOI, CONDUTTURE GSM WATER CONTROL TELECONTROLLO REMOTO DI IMPIANTI, GESTIONE ACQUA SERBATOI, CONDUTTURE REMOTE CONTROL SYSTEM, MANAGEMENT OF WATER, TANKS AND PIPELINE TELELETTURA REMOTA DI INVASI, ACQUEDOTTI, CONDUTTURE,CONTATORI

Dettagli

Compatibilità del Portale Piaggio con Internet Explorer 10 e 11. Internet Explorer 10

Compatibilità del Portale Piaggio con Internet Explorer 10 e 11. Internet Explorer 10 Italiano: Explorer 10 pagina 1, Explorer 11 pagina 2 English: Explorer 10 page 3 and 4, Explorer 11 page 5. Compatibilità del Portale Piaggio con Internet Explorer 10 e 11 Internet Explorer 10 Con l introduzione

Dettagli

Trasformare dati grezzi in Informazioni strategiche. Fredi Agolli, Country Manager 12 novembre 2013

Trasformare dati grezzi in Informazioni strategiche. Fredi Agolli, Country Manager 12 novembre 2013 Trasformare dati grezzi in Informazioni strategiche Fredi Agolli, Country Manager 12 novembre 2013 Dati mobile: la spesa si fa in metro Il motore è intelligente: i sensori smart delle grandi macchine Big

Dettagli

Renzo Andrich renzo.andrich@siva.it

Renzo Andrich renzo.andrich@siva.it Gruppo di Studio SIGG La cura nella fase terminale della vita sostenuto da un contributo non condizionato della Fondazione Alitti SOSTENIBILITA DELLE CURE DI FINE VITA TRA CULTURA E ORGANIZZAZIONE Bologna

Dettagli

La domotica è un lusso. been easier.

La domotica è un lusso. been easier. La domotica è un lusso. ra Domotic has never been easier. La domotica èra un lusso. BLUE è la domotica della semplicità, dell evoluzione tecnologica capace di trasformare prodotti ed impianti in opportunità

Dettagli

shared bytes -> shared good A geek proposal for the Sharing Economy survival

shared bytes -> shared good A geek proposal for the Sharing Economy survival shared bytes -> shared good A geek proposal for the Sharing Economy survival Sharitaly Milano, 9/11/2015 What challenges? Regulatory uncertainty -> -> Spending and investments delays -> Unplanned direction

Dettagli

Partners and pioneers in automation.

Partners and pioneers in automation. Partners and pioneers in automation. AIS/ANIPLA Wireless Workshop Milano, 6 Maggio 2015 www.pepperl-fuchs.com DIWINE Un progetto europeo per il wireless del futuro in ambito industriale. www.pepperl-fuchs.com

Dettagli

Smart Grids come fattore abilitante nello sviluppo delle Smart Cities. Jon Stromsather Pisa, 26 Maggio 2011

Smart Grids come fattore abilitante nello sviluppo delle Smart Cities. Jon Stromsather Pisa, 26 Maggio 2011 Smart Grids come fattore abilitante nello sviluppo delle Smart Cities Jon Stromsather Pisa, 26 Maggio 2011 Uso: Riservato Outline Introduzione Le Smart Grids e Smart Cities Progetti Smart Grids di Enel

Dettagli

Sistemi Web Tolleranti ai Guasti

Sistemi 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

Dettagli

Nell'era della Business Technology: il business e la tecnologia allineati per migliorare i risultati dell'azienda

Nell'era della Business Technology: il business e la tecnologia allineati per migliorare i risultati dell'azienda Nell'era della Business Technology: il business e la tecnologia allineati per migliorare i risultati dell'azienda Giovanni Vecchio Marketing Program Manager - Hewlett Packard Italiana S.r.l. Treviso, 13

Dettagli

Copyright 2012 Binary System srl 29122 Piacenza ITALIA Via Coppalati, 6 P.IVA 01614510335 - info@binarysystem.eu http://www.binarysystem.

Copyright 2012 Binary System srl 29122 Piacenza ITALIA Via Coppalati, 6 P.IVA 01614510335 - info@binarysystem.eu http://www.binarysystem. CRWM CRWM (Web Content Relationship Management) has the main features for managing customer relationships from the first contact to after sales. The main functions of the application include: managing

Dettagli

Collaborazione e Service Management

Collaborazione e Service Management Collaborazione e Service Management L opportunità del web 2.0 per Clienti e Fornitori dei servizi IT Equivale a livello regionale al Parlamento nazionale E composto da 65 consiglieri Svolge il compito

Dettagli

Redazione Approvazione Autorizzazione all emissione Entrata in vigore. Il Direttore Generale 2015-07-16

Redazione Approvazione Autorizzazione all emissione Entrata in vigore. Il Direttore Generale 2015-07-16 Titolo/Title Elenco norme e documenti di riferimento per l'accreditamento degli Organismi di Verifica delle emissioni di gas ad effetto serra List of reference standards and documents for the accreditation

Dettagli

Cloud Computing - Il progetto RESERVOIR - una infrastruttura Service Oriented 'on demand' per i servizi IT

Cloud Computing - Il progetto RESERVOIR - una infrastruttura Service Oriented 'on demand' per i servizi IT Cloud Computing - Il progetto RESERVOIR - una infrastruttura Service Oriented 'on demand' per i servizi IT L'innovazione tecnologica per la homeland security: opportunità e rischi del Cloud Computing TechFOr

Dettagli

ICT e Crescita Economica

ICT e Crescita Economica ICT e Crescita Economica Alessandra Santacroce Direttore Relazioni Istituzionali Seminario Bordoni - 12 Febbraio 2009 2005 IBM Corporation Agenda Il peso dell ICT nell economia del Paese Economic Stimulus

Dettagli

SOLUZIONI PER IL FUTURO

SOLUZIONI PER IL FUTURO SOLUZIONI PER IL FUTURO Alta tecnologia al vostro servizio Alta affidabilità e Sicurezza Sede legale e operativa: Via Bologna, 9 04012 CISTERNA DI LATINA Tel. 06/96871088 Fax 06/96884109 www.mariniimpianti.it

Dettagli

Cloud Computing e la Sicurezza?

Cloud Computing e la Sicurezza? Cloud Computing e la Sicurezza? Virtualizzazione e Sicurezza ICT Diego Feruglio Direzione Tecnica Area Ricerca Applicata 1 Cloud Computing e la sicurezza? Definizione e tassonomia 2 Il Cloud Computing

Dettagli

IL MULTIPROCESSING. Tendenza attuale: distribuire il calcolo tra più processori.

IL MULTIPROCESSING. Tendenza attuale: distribuire il calcolo tra più processori. IL MULTIPROCESSING Il problema: necessità di aumento della potenza di calcolo. La velocità di propagazione del segnale (20 cm/ns) impone limiti strutturali all incremento della velocità dei processori

Dettagli

1 1 0 /2 0 1 4. 0 n news

1 1 0 /2 0 1 4. 0 n news news n. 04 10/2011 VICO MAGISTRETTI KITCHEN ISPIRATION VIVO MAGIsTReTTI KITCHen IsPIRATIOn news Il nostro rapporto con il "Vico" è durato per più di quarant anni. era iniziato verso la metà degli anni

Dettagli

Equivalence Properties and Probabilistic Reasoning in Symbolic Security Protocol Analysis

Equivalence Properties and Probabilistic Reasoning in Symbolic Security Protocol Analysis DISS. ETH NO. 22087 Equivalence Properties and Probabilistic Reasoning in Symbolic Security Protocol Analysis A thesis submitted to attain the degree of DOCTOR OF SCIENCES of ETH ZURICH (Dr. sc. ETH Zurich)

Dettagli

Le tendenze future nella tecnologia PC Bus

Le tendenze future nella tecnologia PC Bus Le tendenze future nella tecnologia PC Bus Agenda Bus Il software NI Demo Domande I Bus Test and Measurement Message based GPIB Ethernet USB Register-based VXI PCI PXI PCI Express Cos è la GPIB? General

Dettagli