High productivity Solutions

• Support for Requirement based Engineering methodologies
• Embedded Systems developments (executable specifications, architecture definition, SIL2 code generation for real-time MCUs, test generation, project documentation generation)
• Development of re-usable model libraries and functions libraries
• Embedded Systems modelling and simulation
  
• Integration, Verification and Validation (IV&V) activities
  
• Hardware in the Loop (HIL) and System Qualification Benches development
  
• Automatic Train Control (ATC) simulation and validation
  
• Support for SIL certification processes
  
• Simulators used for Factory Acceptance Tests (FAT) and Operators Training Systems (OTS)

Products

• ControlBuild: front-to-back environment for the design, development, validation, deployment and maintenance of control and automation systems
• Reqtify: management of Embedded Systems and Software requirements capture, traceability, and impact analysis throughout the entire development lifecycle
• RT-Builder: modelling, simulation and validation of real-time systems
  
• Integrated Tool Chains
  

References

Alstom, Ansaldo, Bombardier, Cegelec, DCNS, Firema, Ineo, RATP, Siemens, SNCF, etc