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...

Full description

Bibliographic Details
Main Author: Mário de Sousa (author)
Format: book
Language:eng
Published: 2012
Subjects:
Engenharia de computadores, Engenharia electrotécnica, electrónica e informática
Computer engineering, Electrical engineering, Electronic engineering, Information engineering
Online Access:https://hdl.handle.net/10216/98496
Country:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/98496

Internet

https://hdl.handle.net/10216/98496

Similar Items