Analisi di aspetti di Security da attacchi informatici su Impianti di Processo

Gli impianti industriali moderni sono di tipo automatizzato, i processi sono cioè pilotati da un’unità di calcolo che fornisce i comandi necessari atti al corretto funzionamento dell’impianto. Queste tecnologie espongono le apparecchiature a problemi di Security, dunque attacchi volontari provenienti dall’esterno, al sistema di controllo. Esso può diventare la variabile manipolabile del terrorista informatico il quale può causare lo shut down del segnale o cambiare l’impostazione dei parametri di processo.Lo studio esposto si propone di identificare le possibili modalità di attacco e di individuare uno strumento sistematico che permetta di valutarne la vulnerabilità ad un possibile atto di sabotaggio. La procedura proposta è la PSC-SHaRP (Process System Cyber-Security Hazard Review Procedure) essa consta di due strutture chiamate rispettivamente Alpha e Beta. La metodologia è volta a individuare i potenziali pericoli posti dagli attacchi informatici piuttosto che a stimarne un profilo di rischio e/o probabilità di successo. La ShaRP Alpha, viene utilizzata per analizzare le conseguenze di deviazioni cyber su singole macchine presenti in impianto o sistemi modulari. La ShaRP Beta viene utilizzata per analizzare le conseguenze di attacchi cyber sul sistema costituito dall’impianto di processo. Essa è quindi in grado di analizzare le ripercussioni che manipolazioni su una o più apparecchiature possono avere sull’impianto nel suo complesso. Nell’ultima parte dell’elaborato sono state trattate le possibilità di accesso da parte del ‘’terrorista’’ al sistema di controllo e sicurezza, dunque i sistemi di gestione del DCS e del SIS e le barriere software e hardware che possono essere presenti.

Comparazione strutturale di componenti realizzati a terra e nello spazio mediante tecniche additive

Questo lavoro di tesi mira ad indagare, a livello preliminare, quali siano i vantaggi e gli svantaggi a livello strutturale legati alla possibilità di realizzare componenti per mezzi spaziali con tecnologie di Rapid Prototyping direttamente nello spazio: questa possibilità verrà confrontata con il caso in cui gli stessi componenti siano realizzati a terra e poi inviati nello spazio con un lanciatore. Nonostante si siano riscontrati dei limiti derivanti dalla carenza di dati tecnici sulle caratteristiche meccaniche dei materiali, è stata sviluppata una metodologia che ha fornito l’opportunità, seppur con grandi approssimazioni, di valutare il problema. Il punto di partenza dell’attività è stato quello di visionare figure ed immagini di mezzi spaziali e di scegliere alcuni componenti che possano essere oggetto di manutenzione o sostituzione in volo. Sei componenti sono stati poi modellati al CAD, ed è stata condotta un’analisi ad elementi finiti (FEM) mediante il software MSC Patran/Nastran, con lo scopo di simulare la risposta strutturale nelle diverse condizioni di carico prese in considerazione. Seppur a livello qualitativo e del tutto preliminare, sono stati svolti dei confronti in termini di massa e tensioni per valutare in quali casi sembra sia conveniente realizzare un componente a terra con tecnologie tradizionali, e in quali sembra sia vantaggioso utilizzare nuove tecnologie di prototipazione rapida stampando direttamente il componente nello spazio.

Il fascicolo tecnico di una macchina astucciatrice: analisi dei rischi e calcoli strutturali di verifica richiesti dalle normative

La tesi, sviluppata presso l'azienda Universal-Pack, tratta del fascicolo tecnico di una macchina astucciatrice nelle sue varie parti: breve descrizione della macchina, analisi dei rischi secondo le normative collegate alla direttiva macchine, e calcoli strutturali di verifica di alcuni componenti, che sopportano sforzi alterni e conseguentemente vanno incontro a limiti di fatica.

Analisi delle microstrutture generate su ingranaggi per uso automotive da processi di rettifica a secco

Il contenuto della tesi riguarda un progetto di ricerca avente come scopo l’eliminazione degli olii di rettifica dal processo di taglio, avviato da alcune aziende del territorio emiliano, con la collaborazione dell’Università di Bologna e di Genova. In particolare essa tratta la rettifica degli ingranaggi a secco, poiché molte aziende del territorio emiliano si occupano della produzione di macchine per la realizzazione degli ingranaggi, oppure della fabbricazione vera e propria degli stessi. Inoltre viene trattato con particolare attenzione uno dei problemi fondamentali che si possono manifestare con la rettifica: le bruciature. Viene eseguita un’analisi dettagliata delle microstrutture dei materiali e di quali sono gli effetti provocati dalle bruciature nel processo di rettifica a secco degli ingranaggi.

Modeling and control algorithms for product phasing using smart belts

Nella seguente tesi è descritto il principio di sviluppo di una macchina industriale di alimentazione. Il suddetto sistema dovrà essere installato fra due macchine industriali. L’apparato dovrà mettere al passo e sincronizzare con la macchina a valle i prodotti che arriveranno in input. La macchina ordina gli oggetti usando una serie di nastri trasportatori a velocità regolabile.
Lo sviluppo è stato effettuato al Laboratorio Liam dopo la richiesta dell’azienda Sitma. Sitma produceva già un tipo di sistema come quello descritto in questa tesi. Il deisderio di Sitma è quindi quello di modernizzare la precedente applicazione poiché il dispositivo che le permetteva di effettuare la messa al passo di prodotti era un PLC Siemens che non è più commercializzato. La tesi verterà sullo studio dell’applicazione e la modellazione tramite Matlab-Simulink per poi proseguire ad una applicazione, seppure non risolutiva, in TwinCAT 3.

Consapevolezza e qualità in process: applicazine della UNI ISO/TS 16949:2009 nel reparto produttivo di pressatura in Sinteris Spa

Lo studio nasce dalla necessità di verificare l’applicazione di alcuni punti della ISO/TS 16949:2009 nel reparto di pressatura dell’azienda. Era importante valutare il livello di consapevolezza dei dipendenti relativamente al problema qualità in un’azienda automotive. Perciò, a partire dalla normativa, è stata fatta un’Indagine di Consapevolezza tra tutti i dipendenti il cui lavoro ha influenza sulla qualità del processo produttivo e del prodotto realizzato. Inoltre, serviva controllare se la logistica del reparto di pressatura fosse adeguata per permettere agli operatori di svolgere al meglio l’ autocontrollo, ossia un controllo in process delle quote geometriche e dimensionali durante la produzione di serie. È stata verificata l’adeguatezza delle unità di carico per la movimentazione dei prodotti, sia a livello logistico che di carico di lavoro per chi le deve movimentare. È risultato che le UdC attualmente in uso, ossia carrelli mossi manualmente, non possono essere sostituite, ma le si può rendere più maneggevoli cambiandone le ruote. Si è studiato il carico di lavoro del reparto di pressatura, per valutare se fosse possibile introdurre misure che diano la possibilità agli operatori di reparto di svolgere i controlli in process con più accuratezza, ipotizzando l’introduzione di una figura specifica, l’Operatore dell’Autocontrollo, che possa occuparsi solo di questo incarico, sollevando gli altri operatori da tale incombenza. Infine, ci si è posti il problema di ridurre l’utilizzo dei carrelli elevatori all’interno del reparto. È risultato necessario mantenerne l’uso per poter garantire la grande flessibilità nella produzione di quest’azienda, ma si è ipotizzato di separare il reparto in due diverse zone al momento del rinnovo del parco macchine, in modo da eliminarne l’utilizzo in una delle due zone e concentrarlo nell’altra, rendendoli indispensabili solo per un determinato tipo di produzione che si svolga in un settore ben definito del reparto.

Studio propedeutico del potenziale di crescita di Listeria monocytogenes durante la shelf life di confezioni monoporzione di battuta di vitello

Scopo della tesi è la valutazione del potenziale di crescita (δ) di Listeria monocytogenes espressa come differenza tra il carico cellulare (log10 ufc/g) alla fine e all’inizio della prova, in monoporzioni di battuta di vitello (tartare) confezionate sottovuoto e conservate a temperatura di refrigerazione. Si tratta di un alimento ready to eat – RTE – prodotto dalla Ditta INALCA Spa e destinato ad una catena di ristorazione. I challenge test hanno lo scopo di fornire informazioni sul comportamento in determinate condizioni di conservazione, di L. monocytogenes inoculata artificialmente in un alimento. L. monocytogenes è un microrganismo patogeno ubiquitario nell’ambiente e resistente a diverse condizioni ambientali. E’ stato dimostrato che il batterio è responsabile della contaminazione post-processo degli alimenti, in quanto è stato isolato da impianti di trasformazione, macchine per l’imballaggio, nastri trasportatori, guanti, congelatori e guarnizioni. Sono state oggetto di studio: - i) 3 u.c. inoculate con soluzione fisiologica sterile su cui sono stati valutati Aw, pH, carica aerobia mesofila, batteri lattici, Pseudomonas, Enterobacteriaceae, muffe e lieviti; - ii) 1 u.c. non soggetta ad alcun inoculo per la ricerca qualitativa/quantitativa di L. monocytogenes; - iii) 9 u.c. contaminate con una miscela di 5 ceppi di L. monocytogenes (circa 100 ufc/g). Le confezioni inoculate sono state conservate per 21 giorni (pari alla shelf-life commerciale), di cui i primi 7 alla temperatura di +3°C, ed i successivi 14 giorni a +5°C. Il valore δ è risultato pari a 0.57: essendo superiore, seppure di poco, al valore soglia 0.5, le tartare in esame sono classificate come alimenti pronti che costituiscono terreno favorevole alla crescita di L. monocytogenes (categoria 1.2); in base al regolamento (CE) 2073/2005, il microrganismo deve essere assente in 25 g alla produzione e < 100 ufc/g durante la shelf–life (nota 5 e 7).

Modellazione del comportamento di un compressore aeronautico in condizioni di funzionamento con fogging

L'obiettivo di questo lavoro di tesi è realizzare un modello, prima statico poi dinamico, dei componenti: imbocco e gruppo compressore, del turboalbero Allison 250 C18 sottoposto alla tecnologia del fogging. I dati sperimentali utilizzati provengono da prove sperimentali svolte da un altro tesista nel laboratorio di Propulsione e macchine della Scuola di Ingegneria e Architettura di Forlì. Grazie al modello statico, realizzato con il software MATLAB®, sono state create le principali mappe prestazionali dei singoli componenti. Queste ultime sono state poi implementate all'interno del modello dinamico realizzato con il software Simulink. Attraverso il modello dinamico, siamo stati in grado di osservare, grazie ad una struttura modulare a blocchi, l'andamento delle grandezze anche in regime transitorio, e di cambiare i parametri di inizializzazione in maniera molto rapida. Infine i dati ottenuti sono stati confrontati con i dati sperimentali e sono state effettuate valutazioni sull'utilità o meno del fogging. Entrambe le conclusioni hanno dato buoni risultati.

Gestione automatica di namespace di rete privati in ambienti linux

Sempre più sono i servizi offerti oggigiorno sul cloud. L’isolamento dei vari utenti diviene una componente fondamentale se si vuole proteggere la privacy e la confidenzialità dei dati dei clienti. Mantenere una struttura che offre questo genere di servizi però è estremamente complesso ed oneroso. Si vuole mostrare come sia possibile evitare la creazione di centinaia di migliaia di macchine virtuali, quando potrebbe bastare creare una macchina virtuale per tipo di servizio offerto, e far accedere ogni cliente che necessita di quel servizio semplicemente isolandolo con linux namespace, in maniera automatica.

Monitoraggio attivo di un cluster di Raspberry Pi

In questa tesi viene trattata la selezione ed implementazione di un software che permetta di effettuare il monitoraggio e l'invio di segnalazioni automatiche di allerta per un cluster composto da dispositivi aventi capacità computazionali ridotte.

Il monolite di copertura del Mausoleo di Teodorico in Ravenna: commento alle ipotesi sulla sua messa in opera

Nella tesi si cerca di dare una nuova chiave di lettura del monumento unico nel suo genere, quanto noto Parliamo del Mausoleo di Teodorico che si erige nelle immediate vicinanze del centro di Ravenna.Il Mausoleo costruito nel v secolo, quando Ravenna è capitale dell’impero d’Occidente e vi si stabilisce Teodorico il Grande. La struttura è stata molto esaminata nel corso del tempo da molti studiosi ma non si ha notizia di una analisi d'insieme. Si è cercato quindi di mettere a fuoco uno degli aspetti più emblematici ed ancor ben lungi da scientifiche certezze: La sua copertura.Si tratta di un monolite con un peso stimato tra le 240 e le 270 Tonnellate proveniente dalle cave di Aurisina in Istria. Numerosi studiosi si sono cimentati nello stipulare le proprie ipotesi sul trasporto e soprattutto sulla sua messa in opera senza giungere ad un univoca conclusione. Si è proceduto poi alla loro schematizzazione in filoni principali senza tralasciare una propria opinione valutandone i pro e i contro anche in base alle conoscenze attuali. Si sono confrontati metodi di trasporto dei monoliti, senza tralasciare l’analisi delle macchine da cantiere dell’epoca a supporto delle ipotesi proposte. Da ultimo mi sono soffermato sul significato semantico delle dentellature di sommità della copertura, o modiglioni: anche per questi elementi vi sono stati e mi auguro ci saranno numerosi dibattiti sul loro aspetto simbolico o quantomeno funzionale. Durante la stesura della è scaturito anche un interessante confronto di idee che testimonia quanto la questione sia ancora articolata ed interessante. Si apre quindi a suggerimenti per spunti futuri specialmente per quanto riguarda indagini diagnostiche strumentali sulla cupola e sulla sua crepa. Mi auguro che raccogliendo e analizzando le principali ipotesi si possa proseguire questo filone investigativo.