Dispositivi e Strumenti Software per l'automazione PLC e SFC. Prof. Carlo Rossi Università di Bologna

Transcript

1 Dispositivi e Strumenti Software per l'automazione PLC e SFC Prof. Carlo Rossi Università di Bologna

2 Collocazione del corso rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-2 Schema tecnologico di un sistema di controllo Compatibilità Elettromagnetica 1001 D A Attuatori 1001 D A 1 N Unità di controllo Sensori Impianto

3 Indice della presentazione rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-3 Parte 1 Dispositivi per il Controllo Logico: PLC Architettura del Sistema di controllo di una macchina architettura interna moduli speciali programmazione Progettazione di controlli sequenziali un esempio Lo standard IEC 1131 strumenti e linguaggi di programmazione Sequential functional chart (SFC) concetti base sintassi strutture

4 Indice della presentazione rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-4 Parte 2 Sequential functional chart (SFC) esempi di utilizzo delle strutture Organizzazione generale del software di un PLC la scansione ciclica la gestione dell' I/O Un linguaggio testuale di basso livello AWL caratteristiche del linguaggio

5 Dispositivi per il Controllo Logico rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-5 Programmable Logic Controller o PLC Controllore con architettura general-purpose dedicato al controllo logico sequenziale Componente fondamentale di ogni sistema di automazione La filosofia del PLC ha avuto origine alla fine degli anni 60 da una specifica della General Motors relativa ai sistemi di controllo da utilizzarsi nei suoi impianti per la produzione delle vetture

6 Dispositivi per il Controllo Logico rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-6 Definizione di PLC Dispositivo o sistema digitale programmabile con un set di istruzioni atte ad implementare specifiche funzioni quali logica combinatoria controlli sequenziali temporizzazioni e conteggi calcoli aritmetici con riferimento al controllo di macchine e di processi

7 Dispositivi per il Controllo Logico rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-7 Evoluzione storica Funzioni Logiche con Contatti (Relais) Funzione OR Funzione AND Forma canonica SP + V-

8 Dispositivi per il Controllo Logico rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-8 Evoluzione storica Il PLC è nato per sostituire sistemi di automazione realizzati con logiche cablate a Relais Esempio: comando motore Consenso Prossimità Motore on Indicatore on misure comandi

9 Dispositivi per il Controllo Logico rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-9 Evoluzione storica Schema di automazione a Relais C P R1 R2 C P R1 AND R2 M M I I R2 + V-

10 Dispositivi per il Controllo Logico rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-10 Evoluzione storica Il Relais industriale è il mattone elementare per la realizzazione di funzioni logiche I Schema in V F out Contatti N.A. in chiusura N.C. in apertura A F B

11 Dispositivi per il Controllo Logico rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-11 Evoluzione storica Il Relais industriale è il mattone elementare per la realizzazione di funzioni logiche Schema Contatti A F B in V N.A. in chiusura out N.C. in apertura

12 PLC: origine rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-12 Le specifiche General Motors del 1968 dalla Logica cablata alla logica programmabile Facile sostituzione di Sistemi di Automazione a Relais Funzionamento in ambiente industriale interfacciamento con sensori standard progetto modulare elevata affidabilità Facilità di programmazione e riprogrammazione sul campo linguaggio naturale interpretato ambiente di sviluppo a bordo Capacità di comunicazione raccolta dati e monitoraggio

13 PLC: architettura interna rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-13 input (EP) ROM CPU RAM output Differenze con sistema a µp realizzazione delle parti parallelismo e struttura interna linguaggio naturale e S.O. Architettura classica

14 PLC: caratteristiche Hardware rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-14 CPU realizzazioni custom custom con processore ad 1 bit per l esecuzione dei controlli logici grandissima efficienza linguaggio naturale microcodificato scarsa flessibilità solo per sistemi ad elevatissime prestazioni uso di µp p standard set di istruzioni più ampio progetto standard necessità di un interprete

15 PLC: caratteristiche Hardware rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-15 Sezione di ingresso/uscita possibilità acquisizione segnali analogici ingressi standard ± 10V interfacciamento con sensori particolari termocoppie, termoresistenze estensimetri ampio corredo di schede per segnali logici isolamento galvanico visualizzazione dello stato interfacciamento con sensori DC V AC V

16 PLC: caratteristiche Hardware rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-16 Memoria programmi RAM batterizzata per lo sviluppo del programma EPROM per la versione definitiva Memoria dati suddivisa in sezione di ingresso sezione di uscita sezione di stato accesso bit, byte, word

17 PLC: caratteristiche Hardware rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-17 Moduli speciali Interfaccia di rete locale ethernet,, proprietaria Interfaccia per Bus di campo di solito proprietaria, standard Profibus, Interbus, CanBus,.. Processori ausiliari regolazione PID, controllo assi Processori di visualizzazione sinottici di impianto, interfaccia operatore Unità di programmazione proprietaria, più spesso PC Unità di back-up nelle applicazioni che richiedono alta sicurezza di funzionamento

18 PLC: programmazione rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-18 Filosofia originaria linguaggio orientato alla specifica applicazione naturale per tecnici esperti del problema eliminare l intermediazione dell esperto informatico Soluzioni originarie Ladder Diagram - schemi a Relais Functional Block - schemi logici Soluzione più recente Boolean Language - lista istruzioni - pseudo Pascal compatibilità col passato Strumenti per la progettazione di controlli sequenziali State Function Chart

19 Progettazione di Controlli Sequenziali rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-19 Introduzione La progettazione del Software di Automazione per una Macchina Automatica è un compito complesso La metodologia generale di soluzione esula dagli scopi di questo corso Mediante un esempio verranno presentati i passi logici della soluzione Chiarimento del compito e strutturazione del sistema Elaborazione dei documenti di specifica Realizzazione del Progetto Collaudo del sistema di controllo e messa in funzione della macchina Stesura della documentazione

20 Progettazione di Controlli Sequenziali rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-20 Chiarimento del compito e strutturazione del sistema Descrizione generale della macchina da automatizzare Descrizione del funzionamento Descrizione dettagliata della macchina liste sensori liste attuatori Strutturazione della macchina in parti omogenee funzionalmente correlazione nel processo produttivo spazialmente collocazione fisica adiacente Grado di automazione delle parti

21 Progettazione di Controlli Sequenziali rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-21 Descrizione del processo produttivo impacchettatrice Alimentazione del prodotto Formazione Movimentazione del pacco del pacco e stesura del film Avvolgimento del pacco Saldatura Evacuazione Pacco finito

22 Progettazione di Controlli Sequenziali rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-22 Elaborazione dei documenti di specifica Cruciale per la buona riuscita del progetto Distribuzione Hardware/Software dei compiti Scelta dei sensori e degli attuatori Lavoro di gruppo specifiche chiare e non ambigue interfaccie ben definite

23 Progettazione di Controlli Sequenziali rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-23 Hardware Realizzazione del Progetto acquisto acquisto + progettazione di parti specifiche progettazione completa Software normalmente va progettato software per uso industriale realizzazione gruppo di lavoro manutenzione, aggiornamento, riutilizzo noi o altre persone Controllo digitale diretto, controllo di sequenze Attività cruciale

24 Progettazione di Controlli Sequenziali rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-24 Collaudo del sistema di controllo e messa in funzione dell'impianto Fase costosa e delicata realizzata da altre persone realizzata presso il cliente esigenze di avvio della produzione tempi e costi dipendono fortemente dalla qualità della fase di progettazione meglio investire tempo e risorse sulla progettazione che spendere poi nel collaudo e nella messa in servizio ella pratica industriale raramente viene seguita questa filosofia per diverse motivazioni, solitamente non tecniche

25 Progettazione di Controlli Sequenziali rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-25 Stesura della documentazione La documentazione è parte integrante e fondamentale di un progetto industriale un progetto non è completato finché non è corredato da adeguata documentazione La predisposizione della documentazione va effettuata congiuntamente con lo sviluppo di ogni fase della progettazione Tecniche di progettazione che intrinsecamente producono documentazione sono da privilegiare CAD programmazione strutturata SFC GEMMA

26 Progettazione di Controlli Sequenziali rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-26 Strumenti di modellazione per il controllo logico descrizione letterale (a parole) lunga, imprecisa, troppo personale descrizione puramente logica troppo particolareggiata legata alla tecnologia implementativa diagrammi temporali carenza nella descrizione degli elementi sequenziali non consente di mettere in evidenza sequenze simultanee diagramma degli stati strumento idoneo per sistemi di modesta complessità perché troppo particolareggiato idoneo con una opportuna ridefinizione del concetto di stato

27 Lo Standard IEC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-27 trumenti software standardizzati per la descrizione e la progettazione del ciclo operativo di macchine ed impianti scopo stimolare una normalizzazione della sintassi dei linguaggi di programmazione per l'automazione obiettivi programmazione strutturata modularità del software riusabilità del software portabilità del codice tra macchine diverse semplicità di programmazione tempi e costi di sviluppo ridotti

28 Lo Standard IEC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-28 Strumenti di Progettazione Progettazione delle sequenze di Controllo Sequential Functional Chart (SFC) 1 Stati 2 3 Condizioni per la transizione 4 Transizioni 5

29 Lo Standard IEC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-29 Linguaggi di Programmazione grafici Linguaggio a contatti (Ladder( Diagram) E1.0 E1.1 A4.0 ( ) AND 1 OR E1.2 A4.1 ( ) 2 + V- E1.1

30 Lo Standard IEC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-30 Linguaggi di Programmazione grafici Schemi a blocchi funzionali (Function( Block Diagram) E1.0 E1.1 & A4.0 ( ) 1 E1.1 E1.2 > = 1 A4.1 ( ) 2 V+ V-

31 Lo Standard IEC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-31 Linguaggi di Programmazione testuali Testo Strutturato (pseudo( pseudo-pascal). if (fine_corsa) then motore := off; else motore := on; end_if if;.

32 Lo Standard IEC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-32 Linguaggi di Programmazione testuali Lista di istruzioni (AWL). AND FINE_CORSA SET MOTORE ANDN FINE_CORSA RESET MOTORE..

33 Strumento per la Progettazione di Controlli Sequenziali Sequential Functional Chart Formalismo gerarchicamente superiore agli altri linguaggi serve per progettare il controllo sequenziale gli altri linguaggi, a discrezione del progettista, servono per implementare il controllo Descrizione e progettazione del ciclo operativo di macchine ed impianti assimilabile ad un diagramma degli stati indipendente dalla tecnologia utilizzata per l implementazione formalismo astratto semplifica la rappresentazione stimolando la scomposizione in sottoproblemi in ogni situazione operativa solo un sottoinsieme delle informazioni è indispensabile per il controllo rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-33

34 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-34 Concetti base Stato (fase, tappa, passo) l evoluzione temporale del funzionamento di un impianto complesso è descrivibile mediante una successione temporale di situazioni operative più semplici (fasi), nelle quali solo un sottoinsieme dei comandi e delle misure è attivo definizione di Stato uno Stato è una condizione operativa della macchina alla quale è associato un ben preciso algoritmo di controllo (Azioni),, diverso da quelli associati agli altri Stati. il verificarsi di un particolare evento forza il passaggio (Transizione) ad un altro Stato in generale, durante il tempo di permanenza in uno Stato le uscite del controllo (comandi) possono variare in risposta alle variazioni degli ingressi (sensori) o allo scorrere del tempo

35 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-35 Transizioni Concetti base possibilità di evoluzione da uno Stato ad un altro non tutti gli Stati ammettono tra loro una Transizione ad ogni Transizione è associata una Condizione che deve essere verificata affinché la Transizione avvenga Condizioni (di transizione) evento che determina il passaggio ad un altro stato La sintassi per definire gli Stati, le Transizioni e le Condizioni è molto precisa n Stato Condizione Transizione m

36 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-36 Concetti base Esempio - timbratrice automatica pistone pneumatico testa di timbratura oggetto da timbrare

37 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-37 Concetti base Esempio - timbratrice automatica tre stati attesa pezzo nessuna azione 1

38 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-38 Concetti base Esempio - timbratrice automatica tre stati pezzo presente 1 2

39 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-39 Concetti base Esempio - timbratrice automatica tre stati 1 esecuzione timbratura comando pistone avanti 2

40 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-40 Concetti base Esempio - timbratrice automatica tre stati 1 timbratura o.k. 2 3

41 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-41 Concetti base Esempio - timbratrice automatica tre stati 1 2 evacuazione pezzo comando evacuazione pezzo comando pistone indietro 3

42 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-42 Concetti base Esempio - timbratrice automatica tre stati 1 2 timbro su 3

43 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-43 Concetti base Esempio - timbratrice automatica tre stati attesa pezzo nessun comando 1 2 3

44 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-44 Stati Sintassi ad ogni stato vanno associate le Azioni da intraprendere quando si è in quello stato algoritmo di controllo attivo quando il sistema si trova in quello lo stato due stati vanno sempre separati da una transizione Transizioni ad ogni transizione va associata una sola Condizione che ne determina l attivazione (passaggio ad un nuovo stato) due transizioni successive non separate da uno stato sono proibite Collegamenti partono da uno stato ed arrivano ad un altro stato di solito linee verticali, ma è opportuno indicare i collegamenti con frecce per evitare ambiguità

45 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-45 Inizializzazione Regole di evoluzione Occorre definire gli stati attivi all avviamento stati iniziali gli stati iniziali possono essere più di uno si indicano con due quadretti uno dentro l altro possono non essere i primi stati di uno schema Abilitazione delle transizioni una transizione si dice Abilitata quando lo stato di partenza è attivo una transizione non Abilitata non viene testata una transizione diventa Attiva quando è Abilitata e la Condizione associata è vera. la transizione Attiva determina il cambio di stato.. Il controllo relativo allo stato precedente viene interrotto e viene attivato quello relativo allo stato successivo

46 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-46 Tipi di Azioni m Azione A m zione continua n n Azione A A Condizione n zione condizionata n Azione A C A

47 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-47 Tipi di Azioni Azione temporizzata limitata nel tempo Tx = Timer n. x n = stato trigger d = durata n n NOT (Tx/n/d) Tx d Azione A A Tx/n/d n Azione temporizzata ritardata n Azione A C A d

48 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-48 Strutture di collegamento Scelta alternativa Parallelismo No No

49 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-49 Strutture di collegamento Convergenza Sincronizzazione No No

50 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-50 Strutture di collegamento T (T3-4)*(T10-11)=0 non basta Sequenze da rendere mutuamente esclusive ad es.. agiscono sulla stessa parte di impianto con azioni diverse Mutua Esclusione tra Sequenze T10-11

51 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-51 Strutture di collegamento T (T3-4)*(T10-11)=0 non basta T Mutua Esclusione tra Sequenze 18

52 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione Strutture di collegamento Mutua Esclusione tra Sequenze 10 T Sincronizzazione T S Semaforo 17 Sblocco 9 Il semaforo deve essere stato iniziale 18

53 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-53 Strutture di collegamento Sincronizzazione di sequenze indipendenti T La sequenza 2 non può andare oltre lo stato 12 finchè la sequenza 1 non ha completato il controllo relativo allo stato 4 Punto di sincronizzazione sequenza sequenza 1 Non basta condizionare T a T4-5 5 perché dopo che Seq.1 è uscita da S4 la T4-5 5 può diventare falsa T12-13

54 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-54 T Strutture di collegamento Sincronizzazione di sequenze indipendenti La sequenza 2 non può andare oltre lo stato 12 finchè la sequenza 1 non ha completato il controllo relativo allo stato 4 sequenza S Semaforo 12 6 sequenza 1 Il semaforo non è uno stato iniziale 13 T12-13

55 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-55 Strutture speciali Macrostati

56 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-56 Strutture speciali Macroazioni - Forzatura 3 a 10 =1 10 =1 4 Forzare SFCX:{Y} b Y= set 11 c =1 SFCX SFCX

57 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-57 Strutture speciali Macroazioni - Forzatura in Sospensione a =1 4 Forzare SFCX:{} b =1 6 Y= vuoto c =1 SFCX SFCX

58 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-58 Strutture speciali Macroazioni - Forzatura in Blocco nello stato attuale a a*not1 4 Forzare SFCX:{} b 11 a*not Y= * c 12 a*not1 12 SFCX SFCX

59 Indice della presentazione rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-59 Parte 2 Sequential functional chart (SFC) esempi di utilizzo delle strutture Strumenti per la gestione delle eccezioni GEMMA Un linguaggio testuale di basso livello AWL dai diagrammi a relais alla programmazione caratteristiche del linguaggio Organizzazione generale del software di un PLC la scansione ciclica la gestione dell' I/O Da un SFC alla Programmazione una possibile soluzione

60 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-60 Esempi di utilizzo delle Strutture Sequenza unica successione di stati che si possono attivare uno dopo l altro esempio: passaggio a livello su binario unico a doppio senso b treno presente a c treno in arrivo

61 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-61 Sequenza unica passaggio a livello su binario unico a doppio senso a 1 attesa treno comando: barriere su treno in a oppure c 2 arrivo treno barriere giù treno in b b 3 treno in transito barriere giù treno fuori da b 4 allontanamento treno barriere su treno in a oppure c c Attenzione!! nel diagramma c'è un errore

62 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-62 Esempi di utilizzo di Strutture Sequenze alternative Esempio: serratura a combinazione l apertura è condizionata dalla digitazione di un codice numerico su una tastiera la successione delle cifre porterà all apertura qualunque errore nella sequenza porta al blocco della porta ed all attivazione di un segnale sonoro di allarme. La condizione di d allarme può essere disattivato solo manualmente da operatore abilitato con chiave il meccanismo di accettazione della combinazione è attivo solamente a porta chiusa

63 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-63 Sequenze alternative Esempio: serratura a combinazione ( ) chiusura sblocca 6 allarme riarmo manuale

64 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-64 Sequenze simultanee Esempio: Isola di foratura con 3 postazioni se la lavorazione è difettosa il sistema si blocca con il tastatore in alto per consentire l espulsione manuale del pezzo difettoso un comando consente la rotazione di 120 della giostra caricamento lavorazione tastatore evacuazione

65 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-65 sola di foratura 1 Attesa tutto O.K 2 Caricamento 3 Lavorazione 4 Misura ed espulsione Tutti fermi 5 Rotazione giostra Fine rotazione

66 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione tutto O.K. 2 caric. avanti caricato 3 caric. indiet. sezione caricamento

67 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione tutto O.K. 4 serraggio serrato 5 foratura forato 6 risalita risalito 7 sblocco sezione lavorazione

68 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione tutto O.K. 8 misura o.k. tastatore su espulso 9 11 risalita tastat. 10 espuls. esp. indietro 12 non o.k risalita tastat. tast. su 13 espuls man. sezione misura ed espulsione

69 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-69 Mutua esclusione tra sequenze Scarico di due vagoni Il carico avviene in zone diverse per i due vagoni lo scarico è in comune A A carico Attesa B B Scarico

70 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-70 Mutua esclusione tra sequenze Scarico di due vagoni Il carico avviene in zone diverse per i due vagoni lo scarico è in comune A A carico B Attesa B Scarico

71 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-71 Mutua esclusione tra sequenze Scarico di due vagoni Il carico avviene in zone diverse per i due vagoni lo scarico è in comune A carico B A Attesa B Scarico

72 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-72 Mutua esclusione tra sequenze Scarico di due vagoni Il carico avviene in zone diverse per i due vagoni lo scarico è in comune A A carico B B Attesa Scarico

73 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-73 Mutua esclusione tra sequenze Scarico di due vagoni Il carico avviene in zone diverse per i due vagoni lo scarico è in comune A carico B B Attesa A Scarico

74 Strumenti Software - SFC rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-74 Scarico di due vagoni 2 3 carica A posizione attesa A attesa se pieno avanza carrello carica B posizione attesa B attesa se pieno avanza carrello =1 s3 4 5 scambio in A posizione scarico scarico T/4/10s avanza sema foro scambio in B posizione scarico scarico T/14/10s avanza 6 ritorno carrello 16 ritorno carrello posizione attesa A posizione attesa B 7 ritorno carrello 17 ritorno carrello posizione carico A posizione carico B

75 Software di controllo in Tempo Reale rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-75 Definizione La correttezza del risultato di un algoritmo di controllo in tempo reale è garantita se: l'uscita corretta è applicata all'impianto e il risultato è fornito entro un tempo massimo stabilito tempo di campionamento L'implementazione di software in tempo reale richiede cautele aggiuntive rispetto a quello tradizionale la verifica di correttezza può risultare complessa molto importante la fase di progettazione è è richiesta una elevata strutturazione una procedura non può occupare una risorsa a tempo indeterminato

76 Software di controllo in Tempo Reale rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-76 Caratteristiche generali Strutturazione in processi semplici e ben definiti la stessa struttura del diagramma SFC il tempo massimo di esecuzione della procedura deve essere ben definito per garantire il rispetto del tempo totale di esecuzione Esecuzione ciclica ad ogni processo è garantita la risorsa di elaborazione entro il tempo necessario Attesa di eventi con interrogazione ad ogni ciclo attenzione ai loop interni violazione dei vincoli di tempo reale Separazione tra gestione I/O ed elaborazione I/O gestito dal Sistema Operativo rete sincrona I/O ad interrupt o a polling da programma attenzione, rete asincrona

77 PLC: ambiente di programmazione rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-77 Il Sistema Operativo garantisce scansione ciclica programma il programma viene eseguito in tempo reale non si devono programmare loop di attesa il S.O. garantisce la costanza del tempo di campionamento per l algoritmo di controllo gestione automatica I/O all inizio di ogni ciclo il S.O. legge gli ingressi aggiorna le uscite gestione dei timer e dei counter

78 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-78 Struttura del programma ed esecuzione ciclica Immagine di Processo di ingresso U E 1.0 UN E 1.1 = A 4.0 ON E 1.2 O E 1.1 = A 4.1 Istruzioni logiche Istruzioni di esecuzione Istruzioni logiche Istruzioni di esecuzione L'esecuzione non ha effetto sulle uscite fino alla fine del ciclo di esecuzione Immagine di Processo di uscita

79 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-79 Procedure Vengono definite BLOCCHI nello STEP5 Sono definiti diversi tipi di blocchi Blocchi Organizzativi (OB) servono per la gestione del programma applicativo Blocchi di Programma (PB) strutturazione del programma applicativo non parametrizzabili Blocchi di Passo (SB) come PB per comandi sequenziali Blocchi Funzionali (FB) procedure utente parametrizzabili set istruzioni esteso Blocchi dati parametri utente

80 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-80 OB 1 Blocchi Organizzativi Importanti Programma principale chiamato ciclicamente dal S.O. OB 2 OB 5 Gestione di allarmi attivati da allarmi (Interrupt( Interrupt) OB 10 OB 13 Procedure attivate a tempo OB 21 OB 22 Inizializzazione di reti sequenziali (eseguite una sola volta all'avviamento) OB 23 OB 34 Procedure attivate da errori

81 PLC: ambiente di programmazione rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-81 Struttura generale del software Run/Stop inizializzazione OB 21 Ritorno rete inizializzazione OB 22 Avviamento Abilitazione uscite Lettura input OB 1 run Attuazione output

82 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-82 Proprietà Blocchi Funzionali sono parametrizzabili ammettono il set esteso di istruzioni si programmano solo in AWL non si possono generare per trasformazione di blocchi PB Tipologie programmabili dall'utente di sistema di libreria (acquistabili separatamente)

83 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-83 Blocchi Funzionali Struttura di intestazione e parametrizzazione Programmazione del blocco FB 5 NOME: ESEMPIO BEZ : IN1 E BI primo parametro BEZ : IN2 E BI secondo parametro BEZ : OUT1 A BI terzo parametro :U = IN1 :U = IN2 corpo della procedura := = OUT1 :BE istruzione di ritorno

84 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-84 Blocchi Funzionali Struttura di intestazione e parametrizzazione Chiamata del blocco :SPA FB 5 NOME: ESEMPIO IN1 : E 4.1 IN1 IN2 : E 4.3 IN2 Prima OUT1: A 5.1 OUT1 chiamata... :SPA FB 5 NOME: ESEMPIO IN1 : E 7.3 IN1 IN2 : E 5.3 IN2 OUT1: A 9.6 OUT1 Seconda chiamata

85 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-85 Annidamento Procedure OB1 FB 10 FB 240 FB 15 FB 50 FB 130 FB 150 PB35 OB21 PB 2 OB22 Livello 1 Livello 2 Livello 15

86 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-86 logiche AND, OR, NOT esecuzione assegnamento sequenziali SET, RESET conteggio e temporizzazione 256 timer e 256 counter aritmetiche confronto controllo del programma Classi di istruzioni

87 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-87 Logiche E Ingressi A Uscite M Flag interni Word T Timers Z Contatori D Parametri di uso generale Tipi di variabili

88 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-88 Modalità di indirizzamento Organizzazione della memoria sezione di ingresso sezione di uscita sezione flag sezione timers sezione contatori sezione parametri Indirizzamento variabili logiche Byte.bit A A 3.6 Ingresso Uscita Flags Timers 256 Contatori 256 X X X X X X X X LOCAZIONE 3 Parametri

89 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-89 Accumulatore specifico ACCU1 Timers Caricamento del tempo da ACCU1 KT Valore costante DW parametro EW parola di ingresso (2 locazioni consecutive) AW parola di uscita (2 locazioni consecutive) MW flag (2 locazioni consecutive) Sintassi L L KT L L DW 2

90 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-90 Timers SI T 1 (generazione di impulso resettabile) attivazione sul fronte di salita di RLC se RLC = 0 il timer è resettato uscita = 1 durante l'impulso PROGRAMMA 5s RLC E 3.0 OUT A 4.0 U E 3.0 L KT 50.1 SI T 1.. U T 1 = A 4.0

91 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-91 Timers SV T 1 (generazione di impulso non resettabile) attivazione sul fronte di salita di RLC se RLC = 0 il timer non viene toccato uscita = 1 durante l'impulso PROGRAMMA 5s 5s RLC E 3.0 OUT A 4.0 U E 3.0 L KT 50.1 SV T 1.. U T 1 = A 4.0

92 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-92 Timers SE T 1 (ritardo all'inserzione resettabile) attivazione sul fronte di salita di RLC se RLC = 0 il timer viene resettato uscita = 1 dopo il ritardo fino a quando RLC = 1 PROGRAMMA 5s 5s RLC E 3.0 OUT A 4.0 U E 3.0 L KT 50.1 SE T 1.. U T 1 = A 4.0

93 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-93 Timers SS T 1 (ritardo all'inserzione con memoria resettabile) attivazione sul fronte di salita di RLC se RLC = 0 il timer non viene influenzato uscita = 1 dopo il ritardo uscita = 0 quando T viene resettato PROGRAMMA 5s 5s RLC OUT RESET E 3.0 A 4.0 E 3.2 U E 3.0 L KT 50.1 SS T 1 U E 3.2 R T 1. U T 1 = A 4.0

94 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-94 Timers SA T 1 (ritardo alla dinserzione) attivazione sul fronte di discesa di RLC se RLC = 1 il timer viene inizializzato uscita = 1 dopo se RLC =1 o mentre il tempo sta scorrendo uscita = 0 quando scade il tempo 5s 5s RLC OUT E 3.0 A 4.0 PROGRAMMA U E 3.0 L KT 50.1 SA T 1.. U T 1 = A 4.0

95 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-95 Sintassi Contatori L KZ 7 Operazione Operando Valore (0 9999) L DW 2 Operazione Operando Indirizzo DW 2 Valore (BCD)

96 Linguaggio AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-96 Istruzioni S Z 2 Contatori Caricamento di un contatore attivo sul fronte di salita di RLC R Z 2 Reset di un contatore attivo se RLC=1 ZV Z 2 Incrementa contatore attivo sul fronte di salita uscita = 0 se valore = 0 ZR Z 2 Come ZV ma decrementa contatore

97 rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-97 Esempio: decremento di conteggio Contatori Linguaggio AWL Esempio: Incremento di conteggio U E 4.0 (evento da contare) ZR Z 1 (decrementa( decrementa).... U E 4.1 (condizione di set) L KZ 7 (valore di conteggio) S Z (set) U Z 1 (interrogazione) = A 2.5 (utilizzo contatore) U E 4.0 (evento da contare) ZV Z 1 (incrementa).... U E 4.1 (condizione di reset) R Z 1 (reset( reset) U Z 1 (interrogazione) = A 2.5 (utilizzo contatore)

98 Dall' SFC al programma AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-98 Due alternative Ambiente di programmazione SFC disponibile interfaccia grafica per ogni stato e per ogni transizione il progettista deve predisporre (in AWL) il programma che implementa il controllo o verifica la condizione di transizione 2 timers possono essere associati ad ogni stato TIME-OUT inizializzato a + dal S.O. (disabilitato) serve per evitare situazioni di dead-lock dell' SFC causate da errori di programmazione o da guasti nei sensori o negli attuatori DELAY inizializzato a 0 dal S.O. (disabilitato) serve per ritardare l'attivazione delle transizioni in uscita

99 Dall' SFC al programma AWL rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione 1-99 Due alternative Ambiente di programmazione SFC non disponibile

100 Sistemi PLC: multiprocessore rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione basso costo utilizzo generico CPU specializzate gestione ottimizzata funzioni logiche tempi di ciclo molto bassi gestione integrata funzioni logiche e funzioni matematiche per automazioni complesse gestione delle comunicazioni reti proprietarie reti standard per l automazione

101 Moduli Ingresso/Uscita intelligenti rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione Con processore a bordo Gestione conteggi con encoder interfaccie Encoder + contatori hardware Controllo di temperatura interfaccie per termocoppie/termoresistenze termoresistenze interfaccie per amplificatore di potenza Controllo di posizione ingressi encoder uscite analogiche/pwm Controllo digitale generico canali I/O analogici

102 Sistemi di automazione e di processo rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione Moderni PLC sistemi multiprocessore ambiente di programmazione dedicato controlli sequenziali complessi integrazione di controlli digitali collegamento in rete locale Controllori di processo sistemi multiprocessore ambiente di programmazione standard algoritmi digitali complessi integrazione di controlli logici collegamento in rete locale Tendenza alla unificazione

103 rof. C. Rossi - DEIS Univ. di Bologna Sistemi di Controllo per l'automazione Dispositivi e Strumenti Software per l'automazione Prof. Carlo Rossi Università di Bologna