Accueil Archives pour coralie

Archive de coralie

JUIN 2026

Article de blog : S3 v2.0 – Une avancée majeure

S3 v2.0 — Une avancée majeure dans le monde de la vérification formelle. La nouvelle version du moteur de preuve S3 arrive … et avec elle, une amélioration significative de …

MAI 2026

Systerel participe à SPS Italia 2026 !
Retrouvez-nous sur le stand de la Fondation OPC (pavilion 4, stand B009) pour découvrir nos solutions innovantes dédiées à l’industrie 4.0 et à la cybersécurité industrielle.

Success Stories

Avril 2026

Systerel présente un agrégateur OPC UA haute performance pour l’industrie 4.0

Nous sommes ravis d’annoncer notre collaboration avec Renault Group pour le lancement d’un agrégateur OPC UA pour l’industrie 4.0.

Cet agrégateur OPC UA hautes performances, cybersécurisé et interopérable, est dédié à la collecte et à l’analyse des données en temps réel.

Formations

NOVEMBRE 2022

Formations certifiées Qualiopi

Vous souhaitez vous former et/ou approfondir vos connaissances en méthodes formelles, norme EN 50128, sûreté de fonctionnement, C, Ada, OPC UA ? Systerel a bâti une offre de formations parfaitement adaptée à vos besoins.

Société

OCTOBRE 2022

L’attention de la rentrée

Chez Systerel, toujours soucieux de notre impact sur l’environnement, nous avons décidé de dire stop aux gobelets, même recyclables ou recyclés ! Nos collaborateurs ont donc eu le plaisir de découvrir en cette rentrée leur nouveau Mug…

Salons - Conférences

OCTOBRE 2022

23ème congrès Lambda Mu

Le 23ème congrès de l’Institut pour la Maîtrise des Risques (IMdR) sur le thème « Innovations et maîtrise des risques pour un avenir durable » se tiendra du 10 au 13 octobre à Paris (EDF Lab Paris-Saclay).

Société

SEPTEMBRE 2022

Renouvellement OQA 2022

Systerel a obtenu en juillet 2022 le renouvellement de son agrément ministériel OQA prévu aux articles 9 et suivants du décret n°2017-440 du 30 mars 2017 relatif à la sécurité des transports publics guidés.

Salons - Conférences

SEPTEMBRE 2022

Cybersécurité des systèmes industriels 2022

Systerel participera à la 8ème journée technique sur le thème de la Cybersécurité des Systèmes Industriels organisée par l’Exera le 29 septembre prochain à l’Espace du Centenaire de la Maison de la RATP à Paris.

Salons - Conférences

SEPTEMBRE 2022

Innotrans 2022

Pour la 4ème fois, Systerel participera au salon international Innotrans à Berlin du 20 au 23 septembre.

Salons - Conférences

SEPTEMBRE 2022

User Conference on Advanced Automated Testing

Systerel participera à la conférence UCAAT (User Conference on Advanced Automated Testing) organisée par Siemens du 13 au 15 septembre à Munich.

Société

AOÛT 2022

Audit de renouvellement ISO9001 :2015 (2022)

Systerel a renouvelé avec succès sa certification ISO9001 :2015 auprès de l’AFNOR.

Salons - Conférences

JUIN 2022

Embedded World – offre safe&secure

Venez rencontrer nos experts et mieux connaître nos produits safe and secure comme S2OPC et le relais digitalisé « SnS StaR ».

Projets

FEVRIER 2022

Robots industriels Stäubli

Systerel a accompagné Stäubli dans une démarche de certification de ses robots industriels (robots 6 axes).

Projets

FEVRIER 2022

Supervision automatique des trains

Depuis plusieurs années, Systerel accompagne Alstom dans le développement de la solution de supervision de trains Iconis.

Projets

JANVIER 2022

Solutions automatisées pour la vérification de conception

Systerel a développé des solutions entièrement automatisées dédiées à la vérification de la conception.

Société

Janvier 2022

La méditation

Systerel prend soin de ses collaborateurs en leur offrant une grande partie du montant d’un abonnement de méditation.

Blog

DECEMBRE 2021

Blog Systerel : 20 ans de développement de logiciels critiques

Un nouvel article est disponible sur le blog Systerel ! Depuis maintenant une bonne dizaine d’années, les industriels doivent mener à bien des programmes de rénovation de systèmes développés en …

Société

OCTOBRE 2021

Audit de renouvellement ISO9001 :2015 (2021)

Systerel a renouvelé avec succès sa certification ISO9001 :2015 auprès de l’AFNOR.

Carrières

OCTOBRE 2021

Forum Entreprises ISMIN

Systerel viendra échanger avec les étudiants de l’école des Mines de Saint-Etienne lors du Forum Entreprises 2021.

Société

OCTOBRE 2021

Métro de Singapour

Mise à niveau du système de supervision du métro de Singapour par Alstom : le dépôt de la ligne de métro « Circle Line 6 » héberge désormais le logiciel assurant l’interface entre salle de contrôle et équipements terrain développé par les équipes Systerel.

Méthodes Formelles

OCTOBRE 2021

Langage HLL pour la vérification formelle de logiciels ou systèmes critiques

Systerel publie une nouvelle version du document de spécification du langage HLL (HLL LFD) et le soumet à la prochaine revue du HLL Forum de manière à converger sur la nouvelle définition du langage en collaboration avec les autres acteurs de la communauté.

Salons - Conférences

SEPTEMBRE 2021

Cybersécurité des systèmes industriels 2021

Systerel participera à la 7ème journée technique sur le thème de la Cybersécurité des Systèmes Industriels organisée par l’Exera le 30 septembre prochain.

Projets de R&D

SEPTEMBRE 2021

LEIA automatise l’analyse logicielle pour garantir la sécurité des objets connectés

Avec l’essor des objets connectés et la multiplication des logiciels qui leur sont associés, les risques de vulnérabilités logicielles croissent considérablement. Pour répondre à ce nouveau défi, le CEA et Systerel, associés au sein du projet LEIA, lauréat du Grand Défi Cybersécurité, proposent une approche inédite et puissante : une plateforme intelligente d’analyse garantissant la sécurité des objets connectés et des logiciels associés.

Formations

SEPTEMBRE 2021

Témoignage Client Formation Méthode B

Grâce à son expertise et à son retour d’expérience de plus de 25 ans dans la réalisation de développements B logiciels dans un contexte industriel, Systerel dispense une formation sur la Méthode B.