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