Méthodes Formelles
MAI 2023

Conférence ABZ 2023

Nos équipes participeront à la 9ᵉ Conférence Internationale ABZ, qui se tiendra à Nancy du 31 mai au 2 juin 2023.Cette année, Systerel co-organisera l’atelier destiné aux utilisateurs et aux développeurs de Rodin.

La plate-forme Rodin est dédiée au développement en B événementiel, supportant de façon robuste le raffinement de modèles et la preuve mathématique.

Formations
MAI 2023

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 ?

Forte de son expertise capitalisant plus de 25 ans d’expérience dans la réalisation de systèmes critiques à hauts niveaux de sécurité, Systerel a bâti une offre de formations parfaitement adaptée à vos besoins.

Blog
AVRIL 2023

Générer et vérifier des données de configuration avec OVADO²®

Dans ce nouvel article, nous explorons les possibilités offertes par l’outil de validation formelle OVADO²®.

Pour la première fois, Systerel a utilisé OVADO²® pour générer formellement des données de configuration d’équipements ferroviaires dérivées des données de configuration du système.

Société
Avril 2023

Automatisation de la ligne 4 du métro parisien

Depuis septembre 2022, les quatre premières navettes automatisées de la ligne 4, la deuxième ligne de métro la plus fréquentée à Paris, ont commencé à circuler.

Afin de moderniser cette ligne, la RATP a choisi le Système d’Automatisation de l’Exploitation des Trains (SAET), similaire à celui déjà installé sur la ligne 1.

Société
MARS 2023

Index égalité professionnelle entre les femmes et les hommes

Pour la deuxième année consécutive, Systerel a obtenu la note de 93/100 à l’index de l’égalité entre les femmes et les hommes au titre de l’année 2022.

Nous sommes très fières et fiers de ce résultat qui illustre nos efforts pour soutenir l’égalité professionnelle, une valeur importante que nous défendons quotidiennement.

Salons - Conférences
MARS 2023

Salon SIFER 2023

Nous vous donnons rendez-vous à Lille du 28 au 30 mars pour la 13e édition du SIFER. Nos équipes seront présentes aux côtés de notre partenaire ARCYS, sur le stand #2-330.

Cette année, nous présenterons le projet KICS2, sélectionné comme lauréat du plan France 2030. Ce projet a pour but de développer les bases d’une gamme d’équipements conciliant les contraintes de mises à jour de cybersécurité avec le maintien de la sûreté des systèmes critiques.

Société
MARS 2023

Bilan du challenge Ma Petite Planète

Félicitations à tous nos collaborateurs qui se sont mobilisés pour participer au challenge Ma Petite Planète !

Durant trois semaines, les équipes de Systerel ont réalisé des défis écologiques sur des thématiques variées telles que l’énergie, la biodiversité ou encore la mobilité durable.

Salons - Conférences
MARS 2023

Systerel à Embedded World 2023

Cette année encore, les équipes de Systerel seront présentes au salon Embedded World qui se tiendra du 14 au 16 mars.

Embedded World est LE rendez-vous annuel des spécialistes des systèmes embarqués. Retrouvez-nous sur le stand de la Fondation OPC : hall 4, stand 151.

Salons - Conférences
Mars 2023

Congrès Global Industrie 2023

Nous attendons avec impatience de vous retrouver du 07 au 10 mars à l’Eurexpo Lyon, lors du salon Global Industrie, le plus grand salon industriel de France.

Nous serons présents sur le stand de la Fondation OPC, situé : hall 1, stand #1L44.

Blog
Février 2023

Blog Systerel : Back-to-Back Testing 

Un nouvel article vient d’être publié sur le Blog Systerel !

Il vous dit tout (ou presque) sur le Back-to-Back Testing (B2BT), un procédé de génération automatique de tests basé sur de la modélisation et des méthodes formelles, permettant de maîtriser la conformité des implémentations logicielles.

Société
FÉVRIER 2023

Plus de 5 000 € reversés à l’Institut Curie avec le don sur salaire

Grâce à l’engagement de nos collaborateurs, ce sont plus de 5 000 euros qui ont été récoltés au cours de l’année 2022 et reversés à l’Institut Curie afin de soutenir la recherche et la lutte contre le cancer.

Depuis maintenant plusieurs années, les salariés de Systerel contribuent à des actions solidaires via le don sur salaire.

Société
Janvier 2023

Top départ pour le Challenge Ma Petite Planète !

Pour la 2e année consécutive, les équipes de Systerel vont relever le Challenge Ma Petite Planète !

Au programme : des actions écologiques à réaliser parmi 15 thématiques variées, comme la biodiversité, le recyclage des déchets, la solidarité, la mobilité…

Blog
Janvier 2023

Article : Ada2012 associé au langage Lua

Dans cet article, nous nous penchons sur un cas pratique pour lequel nous avons décidé d’associer Ada2012 au langage de script Lua.

En effet, bien que le langage Ada présente de nombreux avantages, il peut parfois s’avérer mal adapté à un problème donné. De son côté, grâce à son API C riche et à l’efficacité de son implémentation, le langage Lua peut être facilement embarqué au sein d’autres langages.

Société
Décembre 2022

Course des Lumières 2022

À Paris, Toulouse et Marseille, les équipes de Systerel ont chaussé leurs baskets pour participer à la Course des Lumières. L’objectif : courir 10 km ou marcher 4 km afin de lever des fonds en vue d’aider à lutter contre certaines maladies.

Formations
NOVEMBRE 2022

Formations Ada 95, 2005 et 2012

Systerel forme régulièrement au langage Ada de nombreux ingénieurs pour de grands acteurs industriels.

Que ce soit pour acquérir les connaissances de base et bonnes pratiques ou maîtriser sa mise en œuvre avancée, ces formations aident ces équipes à monter significativement en compétences.

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…

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
JUIN 2022

Conférence Ada Europe 2022

Systerel est partenaire de la 26ème conférence « International Conference on Reliable Software Technologies » organisée par Ada-Europe qui se tiendra à Gand (Belgique) du 14 au 17 juin prochains.

Société
MAI 2022

Collecte solidaire de jouets

Systerel a organisé sur son site aixois une collecte de jouets à destination de l’association Remise en Jeux. Les dons furent nombreux et nous remercions les collaborateurs qui se sont mobilisés pour ce geste de solidarité !

Société
MARS 2022

Don sur Salaire 2022

Cette année, nous avons décidé de soutenir la recherche et la lutte contre le cancer en nous engageant aux côtés de l’Institut Curie.

Formations
MARS 2022

Formations OPC UA et S2OPC

Fin 2021, Systerel a formé des équipes de Til Technologies et du CEA sur les fondamentaux de l’OPC UA mais aussi sur sa mise en œuvre avec S2OPC.

Webinaires
Janvier 2022

Webinaire interne IEC 61508

1er webinaire interne de l’année : aujourd’hui nos ingénieurs assistent à une présentation sur la norme IEC 61508, norme « mère » de la sûreté de fonctionnement des systèmes électroniques.

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.

Société
Décembre 2021

Noël 2021

Nos collaborateurs ont démarré l’année 2021 sous le signe de la gourmandise avec des chocolats et du champagne et la terminent sous le signe de la technologie avec un chargeur induction pour téléphone.

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.

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.

Formations
AOUT 2021

Formations externes

Forte de son expertise capitalisant plus de 25 ans d’expérience dans la réalisation de systèmes critiques à hauts niveaux de sécurité, Systerel a bâti une offre de formations parfaitement adaptée à vos besoins !

Société
Juillet 2021

Soutenir le don du sang

Les dons du sang sauvent des vies, c’est pourquoi Systerel soutient les collaborateurs qui s’engagent dans cette démarche de solidarité auprès de l’EFS.

Salons - Conférences
JUIN 2021

Ada Europe 2021

Cette année encore, Systerel est partenaire de la 25ème conférence « International Conference on Reliable Software Technologies » organisée par Ada-Europe qui se tiendra virtuellement du 7 au 11 juin prochains.

Salons - Conférences
JUIN 2021

Zephyr Developer Summit 2021

Dans le cadre de nos développements autour de S2OPC, nous interviendrons le mercredi 9 juin prochain pour présenter notre retour d’expérience sur le déploiement du protocole OPC UA sur Zephyr durant le Zephyr Developer Summit organisé par The Zephyr Project.

Société
AVRIL 2021

Webinaires Techniques Internes

Notre direction technique propose régulièrement des webinaires pour favoriser le développement des compétences et l’accès à de nouvelles techniques ou méthodes.

Projets de R&D
AVRIL 2021

Back To Back Testing

Dans leur démarche d’innovation collaborative, Systerel et ses partenaires, le CEA List et Schneider Electric associent leurs compétences et leurs capacités d’innovation au service d’un nouveau projet B2BT autour de la technologie Back-To-Back Testing (B2BT).

Produits
AVRIL 2021

OPC UA – Atelier d’interopérabilité de la Fondation OPC

Systerel a participé au dernier atelier d’interopérabilité organisé par la Fondation OPC. L’objectif principal de ces journées organisées régulièrement par la Fondation OPC est de tester l’interopérabilité, la conformité et la fiabilité des produits intégrant la technologie OPC UA.

Société
AVRIL 2021

Systerel, partenaire du CEA List

Partenaire du CEA List depuis plusieurs années et sur de nombreux projets, Systerel contribue au dernier rapport d’activité du CEA List dans le cadre de la livraison à SNCF Réseau du module de modélisation de l’Atelier Métier de Signalisation (AMS).

Projets
MARS 2021

Métro d’Amsterdam

Étape majeure pour le métro d’Amsterdam avec le démarrage du service commercial avec voyageurs sur l’ensemble du réseau fin février 2021.

Société
FEVRIER 2021

Nouvel Intranet

Pour bien commencer l’année 2021, Systerel se dote d’un nouvel intranet plus convivial et plus complet !

Société
FEVRIER 2020

Don sur salaire 2020

Systerel et l’ensemble de ses collaborateurs ont fait don de plus de 4000€ à l’association La Voix de l’Enfant grâce à la mise en place du don sur salaire en 2020.

Carrières
JANVIER 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.

Méthodes Formelles
DECEMBRE 2020

SPARK/Ada

Systerel utilise la technologie de vérification formelle SPARK/Ada dans le cadre de développements pour ses clients dans le secteur ferroviaire (norme EN 50128).

Société
NOVEMBRE 2020

La citrouille d’Halloween

Le Covid19 ne nous a pas empêché de fêter Halloween tous ensemble !
Notre Comité Social et Économique y a veillé en organisant un concours pour l’occasion.

Carrières
NOVEMBRE 2020

Salon Focéen

Malgré la crise sanitaire, Systerel poursuit ses recrutements ! Venez échanger avec nous lors du salon virtuel le Focéen le mardi 10 novembre.

Méthodes Formelles
NOVEMBRE 2020

CEA et Systerel : un nouveau pas vers la modélisation fonctionnelle des postes d’aiguillage du futur.

L’institut CEA List et Systerel franchissent un jalon majeur dans la numérisation des systèmes ferroviaires, en livrant à SNCF Réseau une nouvelle version du module de modélisation fonctionnelle des postes d’aiguillage de nouvelle génération. Les deux partenaires accompagnent ainsi la montée en complexité de ces systèmes grâce au déploiement d’un environnement de modélisation et de validation performant.