REFLEX Generation

From a generic controller application developped with REFLEX Studio, REFLEX Generation enables to generate a specific application for the programmable logic controller of your choice (PLCs, PACs) and for embedded controllers.

REFLEX Verification

REFLEX Validation

REFLEX Simulation

REFLEX Generation

Technologies

REFLEX synchronous language

Verification methods

Validation methods

Code generation

Documentation

> REFLEX Studio brochure

Contact us !

REFLEX Generation provides automatic code generation tools, which convert a generic REFLEX controller application and generate source code for different types of controller platforms.

The REFLEX Code generation tools available today are :

Generation of IEC 61131-3 source code for the following PLC programming tools :
- Unity Pro (Schneider Electric)
- Step7 and TIA Portal (Siemens)
- RSLogix (Rockwell Automation)
- Codesys (3D-Smart Software Solutions)
- Isagraph
- other PLC pogramming tools on demand

Generation of PLC-Open XML file

Generation of source code for embedded controllers :
- C langage
- ADA langage
- SPARK langage

La génération de code suit des schémas formalisés qui garantissent le strict respect à l'exécution des conditions édictées par REFLEX Studio et assurent que les applications développées dans REFLEX Studio se comportent fonctionnellement à l'identique, une fois traduites dans le langage cible et exécutées dans le matériel.