Le centre d’expertise « Modélisation formelle et preuve » de Systerel constitue l’une des plus importantes équipes européennes sur le sujet.

Systerel dispose d’un centre de compétence pour le développement de logiciels embarqués, critiques et temps réel.

A travers plusieurs implémentations de la technologie OPC UA dans un contexte industriel, Systerel a développé une réelle expertise sur la norme OPC UA.

Systerel propose des prestations d’experts dédiées à la mise en œuvre du langage Ada dans le cadre du développement de systèmes embarqués avec de fortes contraintes temps réel ou de sécurité.

Systerel applique des processus de développement rigoureux issus de son expérience en systèmes sécuritaires, conformes aux normes et compatibles avec les contraintes de ses clients.