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.
SIG4 Engineering
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
Alstom and the City of Perth in Australia
17/09/2024
SIG4 Engineering is involved alongside ALSTOM in the modernization of the railway network in the city of Perth, Australia.
SNCF and the Marseille-Ventimiglia Line
17/09/2024
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.
