News - Systerel English

Home News

DECEMBER 2020

SPARK/Ada

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

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.

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.

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.

R&D

September 2020

Rodin platform 3.5 version

Systerel has lead the release of the new version 3.5 of the Rodin platform.

Conferences and fairs, Products

SEPTEMBER 2020

Cybersecurity for industrial systems – 2020

Systerel is attending the next technical day about Cybersecurity for industrial systems organized by Exera on September 24th in Paris.

Company

July 2020

Systerel member of GIMELEC’s new Cyber OT Club

Systerel is now a member of GIMELEC’s Cyber OT Club.

Products

July 2020

S2OPC server certified by the OPC Foundation

S2OPC has just taken a new step by obtaining a certificate of compliance with the OPC UA v1.03 standard from the OPC Foundation for its S2OPC server application.

Blog

June 2020

New article available on the Systerel blog!

A new article is available on the blog: Porting an Ada legacy software.

Conferences and fairs, Products

February 2020

Embedded World 2020

Systerel will exhibit at the Embedded World exhibition in Nuremberg (Germany) from 25-27 february.

Careers

NOVEMBER 2020

Recruitment: Immersive Virtual Reality

Thanks to Immersive Virtual Reality, students may come and meet us on our virtual stand to discover the richness of our professions and our job offers.