Systerel est spécialisée dans le domaine du logiciel critique et de la sûreté de fonctionnement
Produits
-
Safe & Secure OPC
Implémentation libre et sécurisée du protocole OPC-UA
-
Systerel Smart Solver
Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada
-
OVADO 2
Validation formelle automatisée de données de configuration
-
Systerel IXL Builder
Conception d’automatismes formellement prouvée + génération automatique du code cible
Dans le cadre de sa croissance,
Systerel est à la recherche de nouveaux talents.
Une année pétillante pour les collaborateurs de Systerel !
Une fois n’est pas coutume, cette année nos collaborateurs ont reçu une délicate attention pour fêter la fin de l’année 2020 et le lancement de 2021.
Présentation au CERI
Systerel a présenté auprès des étudiants du Master du Centre d'Enseignement et de Recherche en Informatique d'Avignon certaines de ses activités en lien avec les systèmes de contrôle automatique du trafic ferroviaire.
Bonne année
Toute l’équipe de Systerel vous souhaite une très bonne année 2021 !
