Ladder programs validation through model-code traceability

Control systems are used in industry for process automation and to increase the reliability and dependability when executing critical tasks. Failures in the operation of such systems may cause expensive losses and can compromise the plant safety. Therefore, it is necessary to define techniques, meth... View More