SF_Equivalent

Standard di sicurezza applicabili

SF_Equivalent è un blocco funzione certificato PLCopen. Per informazioni dettagliate sulle norme applicate, vedere: "PLCopen – Comitato tecnico 5 – Software di sicurezza"

Importante

I requisiti elencati nelle norme devono essere soddisfatti dall'utente.

Descrizione dell'interfaccia

Questo blocco funzione converte due equivalenti SAFEBOOL ingressi (entrambi NO o NC) a uno SAFEBOOL uscita con monitoraggio del tempo di discrepanza. Questo FB non deve essere utilizzato in modo autonomo poiché non ha un blocco al riavvio. È necessario collegare l'uscita ad altre funzionalità relative alla sicurezza.

Tabella 8. VAR_INPUT

Nome	Tipo di dati	Valore iniziale	Descrizione, valori dei parametri
`Activate`	`BOOL`	`FALSE`	Vedere Parametri di input generali
`S_ChannelA`	`SAFEBOOL`	`FALSE`	Variabile Ingresso `A` per connessione logica `FALSE`: Contatto `A` aprire `TRUE`: Contatto `A` Chiuso
`S_ChannelB`	`SAFEBOOL`	`FALSE`	Variabile Ingresso `B` per connessione logica `FALSE`: Contatto `B` aprire `TRUE`: Contatto `B` Chiuso
`DiscrepancyTime`	`TIME`	`T#0ms`	Costante Tempo massimo di monitoraggio dello stato di discrepanza di entrambi gli ingressi È necessario osservare l'avvertenza "DiscrepancyTime".

`DiscrepancyTime`

Si applica agli sviluppatori di livello esteso: The DiscrepancyTime l'ingresso deve essere attivato con un valore costante. Di conseguenza, il valore non deve essere modificato per le chiamate.

Tabella 9. VAR_OUTPUT

Nome	Tipo di dati	Valore iniziale	Descrizione, valori dei parametri
`Ready`	`BOOL`	`FALSE`	Vedere Parametri di uscita generali
`S_EquivalentOut`	`SAFEBOOL`	`FALSE`	Uscita relativa alla sicurezza `FALSE`: Il minimo di un segnale di ingresso è `FALSE` o cambiamento di stato al di fuori del tempo di monitoraggio `TRUE`: Entrambi gli ingressi segnalano "attivo" e cambio di stato entro il tempo di monitoraggio.
`SafetyDemand`	`BOOL`	`FALSE`	Vedere Parametri di uscita generali
`Error`	`BOOL`	`FALSE`	Vedere Parametri di uscita generali
`DiagCode`	`WORD`	`16#0000`	Vedere Codici diagnostici

Suggerimento

Per determinati livelli (inferiori) di requisiti di sicurezza, può essere consentito l'uso BOOL come input e SAFEBOOL come uscita. Tuttavia, questo deve essere valutato tramite l'FMEA dell'applicazione. In biblioteca va fatta una distinzione tra i SAFEBOOL e BOOL versione.

Figura 10. Blocco funzione: SF_Equivalent

Descrizione funzionale

Questo blocco funzione converte due equivalenti SAFEBOOL ingressi (entrambi NO o NC) a uno SAFEBOOL uscita con monitoraggio del tempo di discrepanza. Entrambi i canali sono interdipendenti. L'uscita del blocco funzione mostra il risultato della valutazione di entrambi i canali.

Wenn sich das Signal eines Kanals cambia da TRUE a FALSE, l'uscita passa immediatamente a FALSE per ragioni di sicurezza.

Monitoraggio del tempo di discrepanza: il tempo di discrepanza è il periodo massimo durante il quale entrambi gli ingressi possono avere stati diversi senza che il blocco funzione rilevi un errore. Il monitoraggio del tempo di discrepanza inizia quando lo stato di un ingresso cambia. Il blocco funzione rileva un errore quando entrambi gli ingressi hanno stati diversi una volta trascorso il tempo di discrepanza.

Entrambi gli ingressi devono essere commutati simmetricamente. Ciò significa che il monitoraggio viene eseguito per entrambi gli ingressi per il passaggio da TRUE a FALSE così come per il passaggio da FALSE a TRUE.

Tabella 10. Tabella logica degli ingressi e delle uscite

Ingressi				Uscite
`Activate`	`S_ChannelA`	`S_ChannelB`	`DiscrepancyTime`	`Ready`	`S_EquivalentOut`	`SafetyDemand`	`Error`	`DiagCode`
`FALSE`	`FALSE`	`TRUE`	Non iniziato	`FALSE`	`FALSE`	`FALSE`	`FALSE`	`0000`
`TRUE`	`FALSE`	`FALSE`	Non iniziato	`TRUE`	`FALSE`	`TRUE`	`FALSE`	`8801`
`TRUE`	`TRUE`	`FALSE`	Cominciato	`TRUE`	`FALSE`	`TRUE`	`FALSE`	`8802`
`TRUE`	`TRUE`	`FALSE -> TRUE`	Cominciato	`TRUE`	`TRUE`	`FALSE`	`FALSE`	`8000`
`TRUE`	`TRUE`	`TRUE`	Non iniziato	`TRUE`	`TRUE`	`FALSE`	`FALSE`	`8000`
`TRUE`	`TRUE`	`TRUE -> FALSE`	Cominciato	`TRUE`	`FALSE`	`TRUE`	`FALSE`	`8806`
`TRUE`	`TRUE -> FALSE`	`FALSE`	Cominciato	`TRUE`	`FALSE`	`TRUE`	`FALSE`	`8801`
`TRUE`	`FALSE`	`FALSE`	Non iniziato	`TRUE`	`FALSE`	`TRUE`	`FALSE`	`8801`
`TRUE`	`FALSE`	`FALSE -> TRUE`	Cominciato	`TRUE`	`FALSE`	`TRUE`	`FALSE`	`8804`
`TRUE`	`FALSE -> TRUE`	`TRUE`	Cominciato	`TRUE`	`TRUE`	`FALSE`	`FALSE`	`8000`

Suggerimento

Nella tabella logica, una freccia -> sta per una transizione. TRUE -> FALSE significa che il valore della variabile jas è cambiato da TRUE a FALSE.

Diagramma di stato

Figura 11. Diagramma di stato: SF_Equivalent

Suggerimento

Il passaggio da qualsiasi stato al Idle stato dovuto a Activate = FALSE non è mostrato. Tuttavia, queste transizioni hanno la massima priorità.

Tipici diagrammi temporali

Figura 12. Diagramma di temporizzazione 1: SF_Equivalent

Figura 13. Diagramma di temporizzazione 2: SF_Equivalent

Rilevamento errori

Il blocco funzione controlla il tempo di discrepanza tra i canali S_ChannelA e canale S_ChannelB, quando si passa a TRUE oltre a passare a FALSE.

Comportamento di errore

L'output S_EquivalentOut è impostato per FALSE. Error è impostato per TRUE. DiagCode indica gli stati di errore. Non esiste un Reset definito come un ingresso accoppiato al reset di un errore. Non appena un insieme di valori di input con il corretto S_EquivalentOut è presente, Error è FALSE ancora.

Errori specifici dell'FB e codici di stato

Tabella 11. Codici di errore specifici dell'FB

`DiagCode`	Nome dello stato	Descrizione dello stato e impostazione dell'uscita
`16#C010`	`Error 1`	Tempo di discrepanza trascorso nello stato `16#8802` `Ready = TRUE` `S_EquivalentOut = FALSE` `SafetyDemand = FALSE` `Error = TRUE`
`16#C020`	`Error 2`	Tempo di discrepanza trascorso nello stato `16#8804` `Ready = TRUE` `S_EquivalentOut = FALSE` `SafetyDemand = FALSE` `Error = TRUE`
`16#C030`	`Error 3`	Tempo di discrepanza trascorso nello stato `16#8806` `Ready = TRUE` `S_EquivalentOut = FALSE` `SafetyDemand = FALSE` `Error = TRUE`

DiagCode

Nome dello stato

Descrizione dello stato e impostazione dell'uscita

16#C010

Error 1

Tempo di discrepanza trascorso nello stato 16#8802

Ready = TRUE

S_EquivalentOut = FALSE

SafetyDemand = FALSE

Error = TRUE

16#C020

Error 2

Tempo di discrepanza trascorso nello stato 16#8804

Ready = TRUE

S_EquivalentOut = FALSE

SafetyDemand = FALSE

Error = TRUE

16#C030

Error 3

Tempo di discrepanza trascorso nello stato 16#8806

Ready = TRUE

S_EquivalentOut = FALSE

SafetyDemand = FALSE

Error = TRUE

Tabella 12. Codici di stato specifici dell'FB

`DiagCode`	Nome dello stato	Descrizione dello stato e impostazione dell'uscita
`16#0000`	`Idle`	Il blocco funzione non è attivo (stato iniziale). `Ready = FALSE` `S_EquivalentOut =FALSE` `SafetyDemand = FALSE` `Error = FALSE`
`16#8801`	`Init`	È stata rilevata un'attivazione dall'FB e l'FB è ora attivato. `Ready = TRUE` `S_EquivalentOut = FALSE` `SafetyDemand = TRUE` `Error = FALSE`
`16#8000`	`Safety Output Enabled`	Gli ingressi vengono commutati su `TRUE` in modalità equivalente. `Ready = TRUE` `S_EquivalentOut = TRUE` `SafetyDemand = FALSE` `Error = FALSE`
`16#8802`	`Wait for Channel B`	`S_ChannelA` è stato commutato a `TRUE` - aspettando `S_ChannelB`; timer di discrepanza avviato. `Ready = TRUE` `S_EquivalentOut = FALSE` `SafetyDemand = TRUE` `Error = FALSE`
`16#8804`	`Wait for Channel A`	`S_ChannelB` è stato commutato a `TRUE` - aspettando `S_ChannelA`; timer di discrepanza avviato. `Ready = TRUE` `S_EquivalentOut = FALSE` `SafetyDemand = TRUE` `Error = FALSE`
`16#8806`	`From Active Wait`	Un canale è stato commutato `FALSE`; in attesa di passare all'altro canale `FALSE`, il timer di discrepanza è stato avviato. `Ready = TRUE` `S_EquivalentOut = FALSE` `SafetyDemand = TRUE` `Error = FALSE`

In questa sezione:

SF_Equivalent

Standard di sicurezza applicabili

Importante

Descrizione dell'interfaccia

DiscrepancyTime

Suggerimento

Descrizione funzionale

Suggerimento

Diagramma di stato

Suggerimento

Tipici diagrammi temporali

Rilevamento errori

Comportamento di errore

Errori specifici dell'FB e codici di stato

Risultati della ricerca

`DiscrepancyTime`