UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Normativa di riferimento UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Diagrammi funzionali UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Diagramma delle fasi/spostamenti UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Circuiti semiautomatici UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Circuiti automatici UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Circuiti sequenziali (ciclo quadro) (ciclo quadro) UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Circuiti sequenziali (ciclo quadro) UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Circuiti sequenziali - Segnali bloccanti - b0 (ciclo a L) UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Tecnica dei collegamenti UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Tecnica dei collegamenti UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Tecnica delle memorie in cascata UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Tecnica delle memorie in cascata UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Tecnica delle memorie in cascata UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Introduzione al linguaggio SFC (Sequential Function Chart) Deriva dal linguaggio grafico Grafcet (Graphe de coordination étapes- transitions) sviluppato in Francia negli anni 70. Il Grafcet è tuttora uno dei linguaggi standard per descrivere processi discreti ed è stato incluso nella normativa IEC 61131-3 con il nome di Sequential Functional Chart. Sito da dove è possibile scaricare liberamente testi e altro materiale didattico (in inglese) http://claymore.engineer.gvsu.edu/ http://claymore.engineer.gvsu.edu/~jackh/ UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Sequential Function Chart Elementi fondamentali fasi o passi (step) o tappe (étapes), transizioni, archi orientati che connettono fasi/transizioni regole di evoluzione che definiscono senza ambiguità il comportamento della macchina (programma) azioni associate alle fasi, condizioni logiche associate alle transizioni. Lo stato di attivazione delle fasi rappresenta lo stato del sistema. Viene modificato da eventi, che mediante le transizioni portano il sistema in una nuova condizione (attivano altre fasi). UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Fase (step) Nome Nome Due tipi di Step: Normal Step, Initial Step Vi può essere un solo Initial Step Ogni step ha associato un nome unico A ciascuno Step è associato uno Stato: attivo o non attivo (contrassegnato da un “gettone”) Lo step iniziale viene automaticamente attivato all’avvio UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Transizioni Una transizione è rappresentata da una barra orizzontale nera A ciascuna transizione è sempre possibile associare almeno uno Step precedente ed almeno uno Step seguente A ciascuna transizione DEVE essere associata una condizione booleana (Vero, Falso). Lo stato della transizione coincide con la condizione associata Step1 start (TRUE, FALSE) Step2 condizione (Vero-Falso) UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Valutazione di una Transizione La condizione associata ad una transizione è valutata SOLO quando tutti gli Step precedenti ad essa sono attivi (all’inizio è attivo lo step iniziale) Quando tutti gli Step precedenti ad una transizione sono attivi e la condizione ad essa associata è vera, tutti gli Step precedenti si disattivano e divengono attivi gli Step seguenti. True True UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Archi e Sequenze Un arco è rappresentato da una linea verticale. Un arco è orientato per default dall'alto verso il basso. Quando è necessario usare un arco orientato dal basso verso l'alto, viene rappresentato il senso, tramite una freccia una sequenza è definita da una serie di step – transizioni - step collegati da archi orientati UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Azioni Ad ogni Fase è possibile associare una o più Azioni che descrivono le operazioni da compiere quando la fase è attiva Ogni azione è rappresentata da un rettangolo connesso alla Fase E' possibile non associare alcuna azione alla fase. In tal caso quando lo Step si attiva, non viene eseguito nulla, e si attende che la disattivazione. UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Azioni Qualificatore Nome azione Variable associata Qualificatore. Specifica le modalità di esecuzione dell'azione. Può assumere diversi valori: N: azione non memorizzata e da eseguire fintanto che la fase è attiva L: azione limitata nel tempo D: azione ritardata P: azione impulsiva S, R set o reset di un’azione memorizzata Nome azione. identifica l’azione e DEVE essere unico. All’Action Name viene associato il programma che realizza l'azione. Variable (opzionale). Permette di indicare una variabile che è modificata dall'azione UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Qualificatori della azioni 'S', 'R', Set e Reset S Action1 Step1 Step1.X T1 T1 Action1 StepN R TN Action1 StepN.X TN L'azione "Action1" inizia ad essere eseguita quando lo Step1 diviene attivo. L'azione viene memorizzata (stored) e continua ad essere eseguita fino a quando lo step StepN diviene attivo e resetta l’azione. UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Sequenze Alternative divergenza -convergenza E' possibile realizzare sequenze alternative tramite percorsi divergenti e convergenti. Le sequenze sono eseguite in mutua esclusione. Per evitare ambiguità occorre associare alle transizioni condizioni logiche mutuamente esclusive percorso divergente percorso convergente UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Sequence Skip (salto di sequenza): Sequence Loop (ciclo di sequenza) UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Sequenze Simultanee parallelismo e sincronizzazione Le sequenze simultanee vengono valutate tutte in parallelo La convergenza di sequenze simultanee avviene solo quando tutti gli ultimi step di ciascuna sequenza sono attivi. Divergenza di Sequenze Simultanee Convergenza di Sequenze Simultanee UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Strutture errate Errata convergenza di sequenze simultanee: tutti gli step che afferiscono a tale convergenza devono poter diventare tutti attivi UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Strutture ambigue Parallelismo con convergenza UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Sincronizzazione locale (semaforo) UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Esempio applicativo - inscatolamento semiautomatico - UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Esempio applicativo - inscatolamento semiautomatico - UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Il sequenziatore pneumatico UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Il sequenziatore pneumatico UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Il sequenziatore pneumatico UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Il sequenziatore pneumatico UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Il sequenziatore pneumatico UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA Esercizio UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA UNIVERSITÀ DI BERGAMO FACOLTÀ DI INGEGNERIA