I materiali pubblicati sul sito costituiscono rielaborazioni personali del Publisher di informazioni apprese con la frequenza delle lezioni e lo studio autonomo di eventuali testi di riferimento in preparazione all’esame finale o della tesi. Non devono intendersi come materiale ufficiale dell’università attribuibile al docente del corso.
…continua
Ultimi appunti inseriti
Appunti più scaricati
Appunti per nome

Filtra per

Tutte le tipologie

Ordina

Filtra

Appunti degli studenti per corsi ed esami del Prof. Pazzi Luca

icona-appunti
icona-appunti

Teoria di Informatica industriale Premium

Esame Informatica industriale

Facoltà Ingegneria

Dal corso del Prof. L. Pazzi

Università Università degli Studi di Modena e Reggio Emilia

Appunti esame
Scarica
Appunti di Informatica industriale. Introduzione ai sistemi di manifattura avanzata. Inquadramento rispetto alle tecnologie attuali ed esame degli scenari nel medio futuro. Classificazione dei sistemi di manifattura avanzata. Autodiagnosi e tolleranza ai guasti. Sistemi di controllo distribuiti. Dal paradigma di programma analogico e elettromeccanico a quello digitale. Applicazioni: Controllo di processo, altre applicazioni industriali. Sensori, attuatori, bus di campo, paradigma event trigged (ET) vs. time triggered (TT). Esempio: bus CAN ET e bus CAN TT. Casi di studio. Sistemi operativi Real Time: differenze e analogie rispetto ai sistemi operativi tradizionali. L'esempio di LinuxRT. Altri esempi. Ingegneria del software per sistemi di manifattura avanzata: caratteristiche del software real-time, specifica dei requisiti, implementazione di relazioni e vincoli temporali. Applicabilità di metodologie tradizionali al dominio real-time. Uso di UML, Use case, Sequence diagram, Statecharts. Sicurezza ed efficacia (SAFETY & LIVENESS): Problematica della sicurezza, classificazione del rischio e metodologie e standard internazionali correlati. Specificità del problema della sicurezza per sistemi di manifattura avanzata;. Logiche temporali (TL) per la specifica di assiomi di sicurezza ed efficacia e loro verifica. Il problema della complessità. Esplosione combinatoria degli stati di funzionamento. Tecniche di model checking. Programmazione di PLC attraverso linguaggi evoluti a stati (Grafcet). Esercitazioni guidate in laboratorio. IoT: Sensori e attuatori, elementi di progettazione di circuiti elettronici (cenni), politiche di sensing e acquisizione dati. Comunicazione M2M tra dispositivi. Programmazione di prototipi mediante microcontrollori & SoC (Arduino, ESP8266, etc.). Protocolli di acquisizione dati: XMPP, CoAP, MQTT, AMQP, WebSocket. Architetture di storage/processamento dati: approcci cloud/fog/edge computing. Piattaforme IoT: AWS IoT, Watson IoT, ThingSpeak, etc.
...continua