On analysing the semantics of IEC61131-3 ST and IL applications
The IEC 61508 standard recognizes the programming languages defined in IEC 61131-3 as being appropriate for safety-related applications, and suggests the use of static analysis techniques to find errors in the source code. In this context, we have added a semantic verification stage to the MatIEC co...
| Autor principal: | |
|---|---|
| Formato: | book |
| Idioma: | eng |
| Publicado em: |
2013
|
| Assuntos: | |
| Texto completo: | https://hdl.handle.net/10216/70036 |
| País: | Portugal |
| Oai: | oai:repositorio-aberto.up.pt:10216/70036 |