Systerel en action pour une cause solidaire !
Nous sommes fiers d’annoncer que les équipes de Systerel participeront à la « Foulée Ressource » à Aix-en-Provence, le 07 octobre 2023. Celle-ci est dédiée à la prise en charge des personnes atteintes par un cancer ainsi que de leurs familles.
Systerel participera à la 9e journée technique organisée par l’Exera, sur le thème de la Cybersécurité des Systèmes Industriels, le 28 septembre prochain à l’Espace du Centenaire de la Maison de la RATP à Paris.
Systerel interviendra lors de la conférence pour partager son expertise sur le thème « OPC UA et cybersécurité des systèmes industriels ».
Retrouvez-nous les 20 & 21 septembre prochains à la Cité internationale de Lyon pour la 9e édition du SIDO : le rendez-vous incontournable de tous les acteurs de l’écosystème IoT, de l’Intelligence Artificielle et de la Robotique.
Les équipes de Systerel auront le plaisir de vous accueillir sur le stand de notre partenaire STMicroelectronics.
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.
Chez Systerel, nous encourageons et soutenons les initiatives de nos collaborateurs pouvant contribuer à leur développement personnel ou à celui de la société.
C’est ainsi qu’est né le FreeWork à Systerel. Concrètement, le FreeWork, c’est du temps libre accordé aux collaborateurs pour leur permettre de participer à des projets internes.
Le 29 juin, Systerel vous invite dans ses locaux d’Aix-en-Provence afin de participer à un retour d’expérience autour de l’Open Source, de l’OPC UA et de son implémentation Safe & Secure : S2OPC.
Au programme : des interventions de plusieurs acteurs du monde industriel venant partager leurs expériences et leurs idées pour contribuer à la construction de solutions innovantes face aux challenges de demain.
Systerel est partenaire de la 27e conférence « International Conference on Reliable Software Technologies » organisée par Ada-Europe qui se tiendra à Lisbonne du 13 au 16 juin prochains.
Cette conférence réunit chercheurs, développeurs et utilisateurs de technologies logicielles sûres issus du monde entier.
Dans cet article, nous nous intéressons à l’outil d’automatisation Tcl/Expect et plus particulièrement à son implémentation Ada au travers de GNAT.Expect.
En utilisant cet outil, il est possible de contrôler facilement des applications tierces au travers d’un mécanisme de questions/réponses attendues (expect).
La cybersécurité devenant l’un des défis les plus critiques de l’industrie 4.0, S2OPC – l’implémentation sûre et sécurisée d’OPC UA – offre désormais des fonctionnalités encore plus sécurisées grâce à son intégration avec PikeOS.
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.
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.
Dans le cadre du projet de modernisation du métro parisien, Systerel a réalisé la validation des données liées à la mise en place des automatismes de conduite du système CBTC OCTYS.
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.
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.
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.
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.
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.
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.
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.
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.