SNCF and the Marseille-Ventimiglia Line
14/01/2026
SIG4 Engineering is particularly pleased to contribute to the development of the safety case required for the new signaling system on the Marseille-Ventimiglia line.
CBTC
· Design
· Implementation
· Verification & Validation (V&V)
· Formal Proof
· Operational Monitoring, Investigations
· Deployment
· Greenfield / Brownfield Migration
· Testing Strategy
· Qualification
ETCS (ERTMS)
· Design
· Implementation
· Verification & Validation (V&V)
· Formal Proof
· Operational Monitoring, Investigations
· Deployment
· Greenfield / Brownfield Migration
· Testing Strategy
· Qualification
FUNCTIONAL SAFETY (RAMS)
· CENELEC EN 50126
· EN 50128
· EN 50129
· Safety Assessment
· Safety Case
· Training Courses
Formal Methods
· Formalization
· Modeling
· Formal Analysis
· B Method
· Model Checking
· Proof
Turnkey projects with a commitment to results
SIG4 Engineering offers turnkey projects with a commitment to results. Our experts handle highly technical tasks from start to finish, based on predefined specifications, with a commitment to quality, cost, and deadlines.
Customized training and ad-hoc support
Benefit from our expertise to strengthen your teams for specific needs. Together with our partner NoMAD, Qualiopi certified, we offer customized training, critical reviews, skill development programs, and tailored technical support for your projects to address your challenges with precision.
Our News
Read more »
ALSTOM designs the NExTEO CBTC system to be installed on lines B & D of the Paris Metro.
14/01/2026
The SIG4 Engineering teams are working closely with ALSTOM (St Ouen) to design and specify the future ‘NExTEO’ CBTC system to be installed on lines
RATP and the automation strategy
17/09/2024
SIG4 Engineering collaborates with experts from Prover on “Integral Formal Proof” activities implemented and supported by RATP.
