Data-Type Checking 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 data type analysis of the source code. In this context, we have added a data type semantic verifier to the MatIEC compiler - an open...
| Autor principal: | |
|---|---|
| Formato: | book |
| Idioma: | eng |
| Publicado em: |
2012
|
| Assuntos: | |
| Texto completo: | https://hdl.handle.net/10216/98496 |
| País: | Portugal |
| Oai: | oai:repositorio-aberto.up.pt:10216/98496 |