L'approche Itris

Pour relever les défis de la programmation des automates programmables, Itris Automation Square propose une nouvelle approche technologique innovante. Itris Automation Square s'appuie sur une plateforme technologique indépendante des différents types d'automates et des langages de programmation : le langage Glips.

Autour de cette plateforme technologique, Itris Automation Square a développé des outils qui peuvent traiter des programmes écrits pour les principaux automates du marché en les transformant sous la forme d'une abstraction de haut niveau et, ensuite, en produisant des résultats tels que la conversion vers un autre type d'automate ou la vérification de la conformité du programme à des règles de codage.

Positionnement de l'approche Itris dans le cycle de développement

L'approche Itris s'applique à la plupart des étapes du cycle de développement. Comme indiqué ci-dessous sur le traditionnel cycle en V, les technologies d'Itris Automation Square apportent des gains pour toutes les phases allant de la spécification à la validation fonctionnelle. Le langage Glips apporte ses principaux bénéfices lors des phases de spécification et de codage grâce à sa modularité et son formalisme. Sur la seconde partie du cycle en V, nos méthodes de vérification - qui s'appuient sur des techniques d'interprétation abstraite, d'analyse statique et de model-checking - permettent des gains de qualité sans précédent.

Bénéfices de l'approche Itris

Un des principaux bénéfices de l'approche Itris est le fait qu'elle prend en compte les actifs technologiques existants. En effet, pour bénéficier de la puissance du langage Glips, il n'est pas nécessaire de ré-écrire ou de remodéliser les programmes : ces derniers sont automatiquement importés dans le format Glips. Par ailleurs, les technologies d'Itris Automation Square sont capables de supporter les approches de demain. En effet, elles offrent une approche par composants, permettant ainsi une réutilisabilité facile, tandis que leur haut niveau de formalisme permet l'utilisation de méthodes de vérification avancées.