24 | Press release
PR displayed 2106 times
CLEARSY carries out the formal validation of data from SNCF Réseau's MISTRAL NG program
Published on 11/19/2019, 4:45 PM
Following on from the MISTRAL programme (Modules Informatiques de Signalisation, de TRransmission et d'ALarmes) initiated in 1998, MISTRAL NG is the future centralized command and control system for rail traffic management. The generic IT tool is under development, and will be configured and deployed on site by ATOS, a company specialized in digital services. It will make it possible to group together the control of signalling installations (currently managed by 1,500 switching installations), and will offer SNCF Réseau traffic agents a more efficient tool to regulate traffic in centres supervised and coordinated by a national centre. The configuration of a deployed MISTRAL NG system contains thousands of signalling data (routes, signals, track circuits, switches, etc.), automation data (to automatically manage train traffic) and site topology. Contracted by ATOS, CLEARSY must automate, using formal methods, the verification of the configuration of the IT tool and support its client's teams in the use of the configuration verification software.
The NF EN 50128:2011 standard requires this parameter setting to be verified. To achieve these safety objectives, CLEARSY relies on a dedicated IT tool and on verification rules developed using formal methods. "Validation based on formal methods proposes a new logic, based on mathematics, which has the advantage of removing all ambiguities regarding the interpretation of data and the properties they must respect. It replaces the traditional testing methods, which are manual and therefore tedious and potentially incomplete", says Erwan Mottin, who manages the data validation activity at CLEARSY.
Publisher of Atelier B, CLEARSY has been using formal methods in software design - methods particularly adapted to industrial systems with high safety constraints - since 2001. In 2005, CLEARSY developed the first formal data validation tool in response to an order from RATP, aware that this method provides guarantees in terms of operational safety. In the wake of RATP, Alstom and Siemens are adopting the formal approach to its highest level of requirements for the validation of CBTC (Radio Communication Based Train Control) railway invariants. And since 2011, CLEARSY has been carrying out the formal validation of the data of CBTC U400, deployed by Alstom worldwide. In the MISTRAL NG project, SNCF Réseau has promoted the use of formal methods. The deployment of the MISTRAL NG production head is planned for 2021.
More informations : www.clearsy.com/en/
Press release published by Pechier Julie
Published on 11/19/2019, 4:45 PM on 24presse.com
Pechier Julie
CLEARSY
www.clearsy.com/en/
Contact
Press release free of rights. Mention : 24presse 24presse.com
Last press releases "tech"
IT Professionals Survey Launched Europe-wide...Published on 05/22/2024, 5:13 PM Tour de France 2023: bad internet along the whole route...Published on 07/27/2023, 12:30 PM Aerosol Valve & Actuator Leader PRECISION announces the ...Published on 01/25/2023, 4:19 PM Motorcycles : a new carbon wheel generation...Published on 11/23/2021, 12:29 PM Clearsy obtains a new SIL2 certification...Published on 11/03/2021, 3:20 PM A new SIL 2 certification awarded to CLEARSY, for a disp...Published on 06/09/2021, 5:43 PM Serious Factory produces a Serious Game for PSA for an i...Published on 04/01/2021, 5:03 PM Mobile: Mount and charge your phone at the same time wit...Published on 11/18/2020, 12:07 PM Infizio reveals the future of energy autonomy for smartp...Published on 07/21/2020, 7:15 AM Information alert : Hack In Paris 2020 - postponement to...Published on 04/15/2020, 12:56 PM