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
Automated software analysis for secure IoT devices with LEIA
LEIA_petite
LEIA_petite
