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
BLAST
OVADO²®
Safe & Secure OPC
Systerel IXL Builder
Systerel Smart Solver
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
BLAST
OVADO²®
Safe & Secure OPC
Systerel IXL Builder
Systerel Smart Solver
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_360_205
_DSC9557_360_205
