Depuis plus de 10 ans, OVADO²®, outil propriété de la RATP, maintenu et distribué par Systerel, offre une réponse innovante et efficace à la problématique de vérification des données de configuration d’un système ou d’un logiciel.
Son approche repose sur la séparation de l’outil de validation des propriétés à valider.
Rejoignez-nous au salon Open Source Experience, le 7 décembre prochain à 13h50, pour une conférence sur le thème « Sécuriser vos données de communication avec l’OPC UA ».
Au cours de cette présentation, nos experts développeront les défis de sécurité liés à la numérisation des infrastructures.
Nous sommes ravis d’annoncer que S2OPC, l’implémentation sûre et sécurisée du standard OPC UA, a reçu le Visa de Sécurité pour la CSPN (Certificat de Sécurité de Premier Niveau ) !
Cette certification, décernée par l’Agence Nationale de la Sécurité des Systèmes d’Information (ANSSI), marque une étape significative, positionnant S2OPC en tant que pionnier sur le marché de l’OPC UA.
Cette semaine, notre directeur technique est intervenu auprès des élèves ingénieurs de Polytech Marseille. Les élèves ont ainsi pu en savoir davantage sur l’application des méthodes formelles dans le cadre de développements logiciels sous contrainte de cybersécurité. Une belle opportunité pour ces futurs ingénieurs d’échanger avec nous et de découvrir la richesse de nos métiers !
Sur un million d’ingénieurs en France en 2022, seulement 24% sont des femmes, selon le dernier baromètre de l’Association Femmes Ingénieures. Chez Systerel, nous pensons que c’est trop peu et qu’il est temps de faire évoluer les choses.
Il y a quelques semaines, l’une de nos ingénieures a témoigné de son parcours auprès des élèves du lycée la Nativité à Aix-en-Provence. Un moment d’échanges privilégiés pour inspirer, aiguiller et rassurer les jeunes concernant leur orientation professionnelle.
Systerel participera au salon SPS Nuremberg 2023, du 14 au 16 novembre prochains. Vous pourrez retrouver nos experts sur le stand de la Fondation OPC, situé dans le hall 5, stand 140.
SPS Nuremberg est un événement majeur dans le secteur de l’automatisation, rassemblant plus de 1 200 exposants. Cette année, nous y présenterons S2OPC : notre implémentation de l’OPC UA sûre et sécurisée.
Systerel a participé à la conférence internationale RSSRail 2023 qui s’est tenue à Berlin du 10 au 12 octobre 2023.
Cette conférence adresse des problématiques telles que l’amélioration de la sécurité, la réduction des coûts, la réduction des émissions de carbone ou encore l’augmentation de la capacité des réseaux de transport.
La découverte et la correction de bugs font partie intégrante du processus de développement logiciel.
Dans ce nouvel article de blog, nous passerons en revue avec légèreté toute une série de bugs informatiques qui ont la particularité d’être nommés d’après des scientifiques célèbres : Heisenbugs, Schrödinbugs, Mandelbugs et Bohrbugs.
Chez Systerel, le stage est un réel tremplin vers le CDI.
Nous recrutons des profils de formations et écoles différentes partout en France. Cette année, c’était à l’université Aix-Marseille, l’ENSIIE Paris Evry, Polytech Montpellier et l’université de Rennes.
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.
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.
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é…
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.
Planet Tech’Care est une initiative pilotée par Numeum, qui a pour ambition d’accompagner les entreprises qui souhaitent intégrer le numérique dans leur stratégie environnementale.
Elle permet, entre autre, d’accéder à un programme d’accompagnement composé de plusieurs ateliers conçus par des experts du numérique et de l’environnement.
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.
La société Railergy, basée à Augsbourg en Allemagne, fournisseur spécialisé dans l’automatisation de systèmes ferroviaires, a choisi Systerel pour l’accompagner dans ses activités autour de l’automatisation d’une locomotive de fret pour Deutsche Bahn Cargo.
Systerel confirme son positionnement de spécialiste des systèmes critiques grâce à la certification CEI 50128 – FSCED (Functional Safety Engineer Development) de plusieurs de ses ingénieurs et experts.
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é.
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.
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.
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).
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.
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).
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.