Classes, rules, and models are the core of
Itris Automation verification methods
Conventional quality methods for PLC programs are increasingly inadequate. They cannot ensure readability and maintainability at an affordable cost. Rules are difficult to formalize and exhaustive compliance is impossible to verify. As a consequence they are considered as poor acceptance criteria.
Itris Automation’s verification method consists in defining formally the properties of a program and then to prove them. There are mainly two kinds of properties: