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.