Translation validation for model-based code-generators for PLCs


The use of model-based code-generators for construction of controller software increases the reliability of the software in two ways: first, the models often can be checked for safety conditions. Second the use of code-generators prevents manual implementation faults. However, the reliability depends on the correctness of these code-generators, i.e… (More)
DOI: 10.1109/ETFA.2005.1612509


7 Figures and Tables