Solutions
Consulting & expertise
Safety-critical software development
Assessment & audit
Verification & validation
RAMS
Training
Expertise
Formal Methods
Using Formal Methods
B Method
SCADE
The HLL Language
Systerel Smart Solver
RODIN platform
Verification & Validation Tools
Embedded, critical & real-time software
OPC UA
Technology based on Ada
Standards & processes
Innovation
Innovation at Systerel
Products
Safe & Secure OPC
Systerel Smart Solver
Systerel IXL Builder
OVADO²®
Research and development works
Collaborative initiatives
Business segments
Railway
Interlocking
Aerospace
Defense
Energy
-- Menu
Solutions
Consulting & expertise
Safety-critical software development
Assessment & audit
Verification & validation
RAMS
Training
Expertise
Formal Methods
Using Formal Methods
B Method
SCADE
The HLL Language
Systerel Smart Solver
RODIN platform
Verification & Validation Tools
Embedded, critical & real-time software
OPC UA
Technology based on Ada
Standards & processes
Innovation
Innovation at Systerel
Products
Safe & Secure OPC
Systerel Smart Solver
Systerel IXL Builder
OVADO²®
Research and development works
Collaborative initiatives
Business segments
Railway
Interlocking
Aerospace
Defense
Energy
Home
Intervention of Systerel at the INSA Centre Val de Loire (November 9th and 10th 2021)
_DSC9557_590_393
_DSC9557_590_393
