Itris' Approach

To take up the challenges of today's PLC programming, Itris Automation Square proposes a new innovative technological approach. It offers a platform and language independent framework: the Glips language.

Based on that framework, Itris Automation Square has developed tools that work on programs written for the main PLC platforms, turn them into high-level abstraction in the Glips language and then produces outputs such as a conversion to another PLC language, metrics on the PLC program or the verification of the compliance with coding rules.

Position of Itris' Approach within the development process

Itris approach can help in most of the development process. As shown below, in the traditional V-cycle, Itris Automation Square technologies support all phases from specification to functional validation. Specification and coding are where the Glips language offers most of its benefits thanks to its modularity and formalism. In the second half of the V-cycle, our verification methods, using abstract interpretation, static analysis and, soon, model checking, do provide unprecedented quality benefits to PLC programs.

Benefits of Itris' Approach

One of the main benefits of Itris' approach is that it takes into account existing technological assets. Indeed, to benefit from the flexibility and the modularity of the Glips language, there is no need to rewrite or remodel all existing PLC programs; they can be directly imported to the Glips format. Also, Itris Automation Square technologies are ready for tomorrow methodologies. They feature a component approach, thus allowing easy reusability while their high-level of formalism allows the use of advanced verification methods.