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.

Training
MAY 2023

Qualiopi certified training

Do you wish to train learn more on formal methods, EN 50128 standard, RAMS, C, Ada, OPC UA?

Thanks to its expertise, Systerel has built a training offer perfectly adapted to your needs.

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.

Company
MARCH 2023

Gender Equality Index

For the second year in a row, Systerel scored 93/100 on the Gender Equality Index for 2022.

We are very proud of this result, which illustrates our efforts towards equality in the workplace, a significant value that we defend every day.

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.

Company
MARCH 2023

My Little Planet challenge

Congratulations to all our employees who decided to take part in the My Little Planet challenge!

During three weeks, the Systerel teams carried out various ecological challenges on several themes like energy, biodiversity or even sustainable mobility.

Blog
FEBRUARY 2023

Blog: Back-to-Back Testing

A new article has been published on the Systerel Blog!

It tells you everything about Back-to-Back Testing (B2BT), a process of automatic generation of tests based on modeling and formal methods, allowing to control compliance of software implementations

Company
December 2022

Charity run: “Course des Lumières”

In Paris, Toulouse and Marseille, the Systerel teams have put on their sneakers to take part in a charity run: Course des Lumières. Their goal: run 10 km or walk 4 km to raise funds to help fight certain diseases.

R&D
NOVEMBER 2022

France 2030 selects the KICS 2 project

We are proud to announce that KICS2 project has been selected in the context of the France 2030 national plan, which aims to position France among the world leaders in cybersecurity.

Training
NOVEMBER 2022

Qualiopi certified training

Do you wish to train learn more on formal methods, EN 50128 standard, RAMS, C, Ada, OPC UA?

Thanks to its expertise, Systerel has built a training offer perfectly adapted to your needs.

Company
OCTOBER 2022

A small gift in September

At Systerel we are commited to reduce our impact on the environment. Thus, we have decided to say stop to cardboard cups, even recyclable or recycled ones! Our employees have therefore received their new Systerel thermos mug…

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).

Company
SEPTEMBER 2022

OQA renewal 2022

In July 2022, Systerel obtained the renewal of its ministerial OQA approval provided for in articles 9 and following of decree n°2017-440 of 30 March 2017 relating to the safety of guided public transport.

Conferences and fairs
JUNE 2022

Ada Europe 2022 Conference

This year again, Systerel is a partner of the 26th « International Conference on Reliable Software Technologies » conference organised by Ada-Europe, which will be held at Ghent (Belgium) from June 14th to 17th.

Company
MAY 2022

Solidarity collection of toys

Systerel organized on its site in Aix-en-Provence a toy collection for the association Remise en Jeux. The donations were numerous and we thank the employees who mobilized themselves for this gesture of solidarity!

Company
MARCH 2022

Salary donation 2022

This year, we have decided to support research and the fight against cancer by committing ourselves alongside the Curie Institute.

Webinars
JANUARY 2022

IEC 61508 internal webinar

First webinar of the year: today our engineers will attend a presentation on the IEC 61508 standard, the “mother” standard for the safety of electronic systems.

Company
December 2021

Christmas 2021

Our employees started the year 2021 under the sign of gourmandise with chocolates and champagne and end it under the sign of technology with an induction charger for phone.

Careers
OCTOBER 2021

ISMIN Business Forum

Systerel will come to exchange with the students of the Ecole des Mines of Saint-Etienne next Thursday during the Business Forum.

Company
OCTOBER 2021

Singapore Metro

Singapore Metro supervision system upgrade by Alstom: the Circle Line 6 depot now hosts the software developed by Systerel teams to interface between the control room and field equipment.

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. 

Training
AUGUST 2021

External trainings

Thanks to its expertise capitalizing on more than 25 years of experience in the realization of critical systems with high safety levels, Systerel has built a training offer perfectly adapted to your needs!

Company
July 2021

Supporting blood donation

Blood donations save lives, that is why Systerel supports employees who commit to this solidarity initiative with the EFS (French Blood Establishment).

Conferences and fairs
JUNE 2021

Ada Europe 2021

This year again, Systerel is a partner of the 25th « International Conference on Reliable Software Technologies » conference organised by Ada-Europe, which will be held virtually from June 7th to 11th.

Conferences and fairs
JUNE 2021

Zephyr Developer Summit 2021

Within the framework of our developments around S2OPC, we will present on Wednesday June 9th our return of experience on the deployment of the OPC UA protocol on Zephyr during the Zephyr Developer Summit organised by The Zephyr Project.

R&D
APRIL 2021

Back To Back Testing

In a collaborative approach to innovation, Systerel and their partners, the CEA List and Schneider-Electric, are once againuniting their resources and skill sets on a new project: Back-to-Back Testing B2BT.

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.

Training
SEPTEMBER 2021

Customer Testimonial B Method training

Thanks to its expertise and its feedback of more than 25 years of experience in the realisation of software B developments in an industrial context, Systerel provides training on the B Method.

Careers
MARCH 2021

Meetings for SMEs and engineering schools

Systerel is participating in the 8th Meetings with SMEs and engineering schools in the Southern region and is leading one of the workshops of this day on the theme “Being an engineer in an SME”.

Projects
MARCH 2021

Amsterdam subway

A major milestone for the Amsterdam subway with the start of commercial passenger service on the entire network at the end of February.

Company
FEBRUARY 2021

New intranet

To get off to a good start in 2021, Systerel is equipping itself with a new, more user-friendly and comprehensive intranet!

Company
JANUARY 2021

CSE Christmas Contest

Flashback on Christmas. Our Social and Economic Committee organised a competition in December to reward our creativity during the holidays.

Company
JANUARY 2021

Company gifts

Just the once will not hurt this year our employees have been given a delicate attention to celebrate the end of 2020 and the launch of 2021.

Careers
JANUARY 2021

CERI

Last week, we were present with the students of the Master’s degree of the Centre d’Enseignement et de Recherche en Informatique d’Avignon to present some of our activities related to automatic rail traffic control systems.

Blog
DECEMBER 2020

Blog: new article!

A new article is available on the blog: “Certificate trust chain validation in OPC UA”

Formal Methods
DECEMBER 2020

SPARK/Ada

Systerel uses SPARK/Ada formal verification technology in developments for its customers in the railway sector (EN 50128 standard).

Company
NOVEMBER 2020

The Halloween Pumpkin

The Covid19 did not prevent us from celebrating Halloween all together!
Our Social and Economic Committee took care of it by organizing a contest for the occasion.

Careers
NOVEMBER 2020

Job interview simulation programme with CERI

Systerel is delighted to help students in the Master’s degree in Software Engineering at the CERI (Centre d’Enseignement et de Recherche en Informatique, Software Education and Research Center) in Avignon in their search for a job.

Careers
NOVEMBER 2020

Focéen exhibition

Despite the health crisis, Systerel continues to recruit! Come and discuss with us at the virtual exhibition le Focéen on Tuesday 10 November.