Traduzione degli SFC in Ladder Logic

Transcript

1 Traduzione degli SFC in adder ogic Equazioni Booleane Equivalenti Algoritmi di Evoluzione Traduzione in adder ogic Stefano Panzieri Traduzione SFC - 1

2 Data una generica fase n di un SFC Regole di evoluzione i j1 j2 jd Ti Fi Tj Fj n l1 l2 le Tk Fk Tl Fl Stefano Panzieri Traduzione SFC - 2

3 Equazioni Booleane Equivalenti Equazione dello stato: d j X n ( X i Fi ) F i j j X jh h 1 Equazione di disattivazione Equazioni di uscita X X e NOT F F X A X n n k k l l lh h 1 n B X c n Ma le transizioni si perdono in questa rappresentazione Stefano Panzieri Traduzione SFC - 3

4 Algoritmi di Evoluzione Algoritmi senza ricerca di stabilità Quattro passi ad ogni ciclo: ettura ingressi Transizioni superabili Determinazione nuovo stato Aggiornamento uscite Ma le uscite vengono aggiornate ad ogni scansione dell SFC: questo potrebbe essere sbagliato! ettura ingressi Inizializzazione fasi Aggiornamento uscite ettura ingressi Determinazione transizioni superabili Determinazione nuova condizione Aggiornamento uscite Stefano Panzieri Traduzione SFC - 4

5 Algoritmi di Evoluzione Cosa succede per una fase non stabile? In questo caso l azione continua B non deve essere accesa nemmeno per una scansione Ma se B fosse impulsiva allora deve essere generato l impulso 11 A T4 fun4 ( =1 ) 12 B T5 fun5 ( =1 ) 13 C Stefano Panzieri Traduzione SFC - 5

6 ettura ingressi Algoritmi di Evoluzione Inizializzazione fasi Algoritmo con ricerca di stabilità Esecuzione azioni impulsive ettura ingressi Determinazione transizioni superabili Determinazione nuova condizione Esecuzione azioni impulsive Condizione invariata NO Aggiornamento uscite Stefano Panzieri Traduzione SFC - 6

7 Traduzione in adder ogic Ad ogni fase si associa un bit di memoria (marker di fase) Ad ogni transizione si associa un bit di memoria (marker della transizione) Quattro sezioni: Sezione di inizializzazione Sezione di esecuzione delle azioni Sezione di valutazione delle transizioni Sezione di aggiornamento della condizione Stefano Panzieri Traduzione SFC - 7

8 Inizializzazione Eseguita una sola volta inizializza ad 1 i marker delle fasi iniziali First Pass Reset 100 JMP prima fase iniziale ultima fase iniziale 100 B Stefano Panzieri Traduzione SFC - 8

9 Esecuzione delle azioni Per ogni azione continua si prevede un rung di abilitazione su cui si trovano in OR tutte le fasi che implicano quella azione eventualmente in AND con delle condizioni Per le azioni memorizzate si userà ATCH/UNATCH bobina Per le azioni impulsive si dovrà codificare l CV che produce l opportuno impulso fase i fase j fase k fase i fase j condizione c azione a azione b Stefano Panzieri Traduzione SFC - 9

10 Valutazione delle transizioni Il marker di ogni transizione è attivato se la transizione è superabile Si ha un rung per ogni transizione fase j condizione c transizione a fase j fase k transizione a condizione c Stefano Panzieri Traduzione SFC - 10

11 Aggiornamento condizione In corrispondenza delle transizioni attivate spegne i marker delle fasi a monte ed accende quelli delle fasi a valle transizione a fase i fase j fase k fase l U fase m U Stefano Panzieri Traduzione SFC - 11

12 Traduzione delle variabili temporali e variabili temporali devono essere realizzate con dei temporizzatori senza ritenzione attivati dall accensione dei marker di fase Questi temporizzatori possono essere messi in una sezione a parte fase j T t/xj/6sec T2 Stefano Panzieri Traduzione SFC - 12

13 Associamo al bit Ta il significato di almeno una transizione è stata abilitata durante la valutazione delle condizioni Questo bit può essere attivato durante la sezione di aggiornamento della condizione Algoritmo con ricerca di stabilità: Aggiornamento condizione transizione a fase i fase j Ta U fase k fase l U fase m U Ta Stefano Panzieri Traduzione SFC - 13

14 Algoritmo con ricerca di stabilità: Esecuzione fase i azione impulsiva a delle azioni Solo se Ta non è abilitato aggiorniamo le azioni continue e azioni impulsive le eseguiamo sempre fase j fase k condizione c Ta ZC fase i azione continua b fase j ZC Stefano Panzieri Traduzione SFC - 14