Méthodes formelles
Le centre d’expertise « Modélisation formelle et preuve » de Systerel constitue l’une des plus importantes équipes européennes sur le sujet.
Logiciels critiques, embarqués et temps réel
Systerel dispose d’un centre de compétence pour le développement de logiciels embarqués, critiques et temps réel.
OPC UA et cybersécurité industrielle
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.
Technologies Ada
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é.
Normes & Processus
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.