Products
August 2024
Systerel Supports RATP in Renewing the SAET System for Line 14 with OVADO²®
Systerel played a key role in the renewal of the Train Operation Automation System (SAET) for Line 14, thanks to OVADO²®.
Software operational safety
July 2024
Riyadh Metro Line 2
Systerel is proud to support Siemens Mobility in the development of signaling and train control systems for the Riyadh Metro.
This ambitious project aims to provide efficient public transportation services to the Saudi capital while encouraging a reduction in the use of private cars.
Formal Methods
June 2024
ABZ 2024 – 10th International Conference on Rigorous State Based Methods
Our experts will participate in the 10th International ABZ Conference, which will be held in Bergamo from June 25 to 28, 2024.
The conference aims to promote exchanges within the scientific community on various formal methods.
Company
June 2024
Systerel participates in the extension of line 14 of the Paris Metro
Systerel is proud to have assisted the RATP in the renewal of the Train Operation Automation System (SAET) for line 14 of the Paris Metro.
Systerel will continue to play an active role in the upcoming deployments of the new SAET on the extensions of line 14 in the coming months.
Careers
May 2024
INSA Centre Val de Loire Business Forum
On June 6th and 7th, Systerel will participate in the business forum organized by the National Institute of Applied Sciences Centre Val de Loire.
This event will take place entirely online and is specifically aimed at recently graduated engineers.
Company
May 2024
Hinkley Point Nuclear Power Plant: Automation of Design Rule Verification
With the construction of two EPR reactors at the Hinkley Point nuclear power plant site, Framatome is participating in one of the major industrial projects in the United Kingdom. Ultimately, these new reactors will meet the electricity needs of 6 million households.
Systerel is proud to have contributed to this vast project as part of its partnership with TechnicAtome.
Company
May 2024
Systerel earns silver medal from EcoVadis for sustainable development
We are delighted to announce that Systerel has once again obtained the silver medal awarded by EcoVadis for Corporate Social Responsibility actions in 2023!
This recognition places us in the top 25% of evaluated companies, demonstrating our commitment to building a sustainable future.
Company
May 2024
Systeral takes part in the “Bougeons Solidaire” challenge
In April, teams from Systerel took on the Bougeons Solidaire challenge proposed by Santé au Travail Provence!
This engaging sports challenge aimed to promote physical activity while strengthening connections between companies and supporting charitable causes.
Careers
April 2024
Systerel gave a presentation on critical systems at Centrale Méditerranée
Systerel gave Centrale Méditerranée students an overview of critical systems engineering.
They were able to address the different facets of this exciting field as well as the working methods associated with it.
Software operational safety
APRIL 2024
Towards the future of railway software operational safety with CENELEC EN 50716 standard
The introduction of the CENELEC EN 50716 standard marks a pivotal moment for software operational safety in railways!
This new standard will replace the long-standing CENELEC EN 50128 by 2026, after over 20 years in use.
Company
April 2024
Salary donation: in 2024, we support the Institut Curie
Implemented for several years, salary donations allow employees to financially support associations recognized as being of public utility.
In 2024, we have decided to once again support research and the fight against cancer by committing ourselves alongside the Institut Curie.
Careers
March 2024
Systerel will be attending “Rencontres PME – Grandes Écoles”
On March 21st, Systerel will be attending the “Rencontres PME – Grandes Écoles” at the École des Mines de Saint-Étienne on the Provence campus alongside two other renowned schools: Centrale Méditerranée and Les Arts et Métiers ParisTech – École Nationale Supérieure d’Arts et Métiers.
Company
MARCH 2024
Systerel is committed with “Elles Bougent” to promoting gender diversity in engineering careers.
By joining the “Elles Bougent” association, Systerel commits to contributing to concrete actions aimed at improving the attractiveness of engineering and computer science fields among female talents.
Company
February 2024
Automation of Paris metro line 4
We are celebrating a significant advancement in the modernization of Paris Metro Line 4 with the full automation of train operations.
This technological challenge required, among other things, the implementation of a Train Operation Automation System (SAET).
Conferences and fairs
JANUARY 2024
InfraBIM Open 2024
Our team has participated in InfraBIM Open 2024, currently underway in Lyon!
This event delves into the digital transformation of infrastructure, featuring discussions on the low-carbon trajectory, insights into cost reduction, and dialogues on the adoption of openBIM practices.
Company
JANUARY 2024
Blood donations
Blood donations play a crucial role in saving lives, and Systerel supports employees who choose to contribute to this cause through the French Blood Establishment (EFS).
We know time can be a challenge for making a blood donation, so we have chosen to offer our employees the possibility of taking time off during their working hours to go to an EFS collection point.
Company
December 2023
Systerel organizes a charitable donation for the French Red Cross
Systerel consistently organizes charitable donations, encouraging all our employees to contribute. This year, we have decided to support the French Red Cross, an organization dedicated to assisting people facing difficulties.
Conferences and fairs
DECEMBER 2023
NII Shonan Meeting: Formal Method Extensions to Support Domain Theories
Systerel recently participated in the NII Shonan Meeting, held in Japan, on the theme “Formal Method Extensions to Support Domain Theories”.
The NII Shonan Meetings provide a leading platform for international collaboration in computer science research.
Conferences and fairs
NOVEMBER 2023
Open Source Experience
Join us for the Open Source Experience tradeshow on December 7 at 1:50 p.m. as we present a conference on the theme “Securing your communication data with OPC UA.”
During this presentation, our experts will discuss the security challenges associated with the digitization of infrastructures.
Products
November 2023
S2OPC awarded the Security visa from ANSSI for the CSPN
We are thrilled to announce that S2OPC, the safe, secure OPC UA stack, has been awarded the Security Visa, for the CSPN (First Level Security Certification)!
S2OPC is now the OPC UA market’s pioneer in obtaining the Security Visa issued by the French National Cybersecurity Agency (ANSSI).
Careers, Formal Methods
NOVEMBER 2023
Formal methods and cybersecurity: meeting at Polytech Marseille
Last week, our technical director spoke to engineering students from Polytech Marseille. The students were able to learn more about the application of formal methods in the context of software development under cybersecurity constraints.
Careers, Company
November 2023
Meet-up with students from Nativité high school and Femmes Ingénieures association
Out of a million engineers in France in 2022, only 24% are women, according to the latest barometer from the Association Femmes Ingénieures.
At Systerel, we think that this is too little and that it is time to change things. A few weeks ago, one of our female engineers shared her experience with students at the Nativité high school in Aix-en-Provence.
Conferences and fairs
OCTOBER 2023
RSSRail 2023
Systerel participated in the international conference RSSRail 2023 which was held in Berlin from October 10 to 12, 2023.
This conference addresses issues such as improving safety, reducing costs, reducing carbon emissions and increasing the capacity of transport networks.
Company
October 2023
Charity run: Foulée Ressource
Systerel unites for a good cause!
We are proud to announce that Systerel’s teams will be participating in the “Foulée Ressource” in Aix-en-Provence on October 7, 2023. This event is dedicated to supporting individuals affected by cancer and their families.
Conferences and fairs
September 2023
Exera: conference “Industrial Systems Cybersecurity”
Systerel will participate in the 9th technical conference on the theme of Industrial Systems Cybersecurity, organized by Exera, on September 28th at the Centenary Space of the RATP House in Paris.
This annual event provides an opportunity to explore the latest innovations and technical developments related to Industry 4.0 and cybersecurity challenges.
Conferences and fairs
JUNE 2023
User feedback S2OPC 2023
On June 29, Systerel invites you to participate in a user feedback session around the Open Source, the OPC UA and its implementation Safe & Secure: S2OPC.
Several industrial players will be sharing their experiences and ideas to help build innovative solutions to face tomorrow’s challenges.
Conferences and fairs
JUNE 2023
Conference Ada-Europe 2023
Systerel is a partner of the 27th Ada-Europe International Conference on Reliable Software Technologies, held in Lisbon from 13 to 16 June.
The conference brings together researchers, developers and users of safe software technologies from around the world.
Blog
JUNE 2023
Blog post: Expect automation tool
In this article, we focus on the Tcl/Expect automation tool and more specifically on its Ada implementation through GNAT.Expect.
By using this tool, it is possible to easily control third-party applications through a mechanism of expected questions/answers (expect).
Formal Methods
MAY 2023
ABZ International Conference 2023
Our teams will participate in the 9th ABZ International Conference, which will be held in Nancy from May 31 to June 2, 2023.
This year, Systerel will co-organize the workshop for Rodin users and developers. The Rodin platform is dedicated to event-driven B development, robustly supporting model refinement and mathematical proof.
Blog
APRIL 2023
Generating and verifying configuration data with OVADO²®
In this new article, we explore the possibilities offered by the OVADO²® formal validation tool.
For the first time, Systerel used OVADO²® to formally generate configuration data for railway equipment derived from system configuration data.
Company
April 2023
Automation of line 4 of the Paris metro
Since September 2022, the first four automated shuttles on line 4, the second-busiest metro line in Paris, have started to circulate.
In order to modernise this line, RATP chose the Train Operation Automation System (SAET), already installed on lines 1 and 14.
Conferences and fairs
MARCH 2023
SIFER 2023 Exhibition
We look forward to seeing you in Lille, France, from 28 to 30 March for the 13th edition of SIFER. Our teams will be present alongside our partner ARCYS, on stand #2-330.
This year, we will present the KICS 2 project, selected as a laureate of the France 2030 plan. The aim of this project is to develop a range of equipment that reconciles cybersecurity update constraints with maintaining the safety of critical systems.
Conferences and fairs
MARCH 2023
Systerel will be attending Embedded World 2023
Once again, Systerel’s teams will be present at the Embedded World trade fair from 14 to 16 March.
Embedded World is THE annual event for embedded systems specialists. Join us on the OPC Foundation booth: hall 4, booth 151.
Company
DECEMBER 2022
Systerel commits to being an eco-responsible actor in the digital sector
Planet Tech’Care is an initiative led by Numeum, the first professional union of the digital companies in France, which aims to support companies wishing to integrate digital technology into their environmental trajectory.
Conferences and fairs
OCTOBER 2022
23rd Lambda Mu Congress
The 23rd congress of the Institut pour la Maîtrise des Risques (IMdR – Institute for Risk Management) on the theme “Innovations and risk management for a sustainable future” will be held from October 10th to 13th in Paris (EDF Lab Paris-Saclay).
Projects
APRIL 2022
Automated shunting locomotive for Deutsche Bahn Cargo: Railergy chooses Systerel.
The Augsburg-based company Railergy, a specialist supplier of railway system automation, has chosen Systerel to support its activities around the development of automated shunting locomotive for Deutsche Bahn Cargo.
Company
DECEMBER 2021
Functional safety of industrial systems: Systerel engineers certified IEC 61508 (FSCED)!
Systerel confirms its position as a specialist in critical systems thanks to the IEC 50128 – FSCED (Functional Safety Engineer Development) certification of several of its engineers and experts.
Formal Methods
OCTOBER 2021
HLL language for formal verification of critical software or systems
Systerel publishes a new version of the HLL specification document (HLL LFD) and submits it to the next HLL Forum review in order to converge on the new definition of the language in collaboration with the other actors of the community.
R&D
SEPTEMBER 2021
Automated software analysis for secure IoT devices with LEIA
As the number of IoT devices increases, so does the amount of IoT-related software. And more software means considerably more vulnerabilities to contend with. The CEA and Systerel are working together to develop a powerful and original smart analysis platform to guarantee the security not only of IoT devices, but also of the software associated with these devices. The research is taking place under the LEIA project, which was awarded funding through the French government’s Grand Défi instrument for technology projects.
Products
APRIL 2021
OPC UA – Foundation OPC Interoperability Workshop
Systerel has participated in the latest interoperability workshop organised by the OPC Foundation. The main objective of these regular OPC Foundation workshops is to test the interoperability, compliance and reliability of products incorporating OPC UA technology.
Formal Methods
NOVEMBER 2020
CEA and Systerel: a new step towards the functional modeling of the interlocking system of the future
The CEA List Institute and Systerel have reached a major milestone in the digitization of railway systems, by delivering a new version of the functional modelling module for new-generation of interlocking systems to SNCF Réseau. They are supporting the growing complexity of these systems with an efficient modelling and validation environment.