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...
| Main Author: | |
|---|---|
| Format: | book |
| Language: | eng |
| Published: |
2013
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10216/70036 |
| Country: | Portugal |
| Oai: | oai:repositorio-aberto.up.pt:10216/70036 |