• English
    • Français

Systerel English

  • 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 2
    • Research and development works
    • Collaborative initiatives
  • Business segments
    • Railway
      • Interlocking
    • Aerospace
    • Defense
    • Energy
Home Solutions

Solutions

Systerel, specialized in safety-critical systems engineering, provides its clients both a technical and domain expertise through its experience in cutting-edge technology.

More than 85% of Systerel’s activities are committed to results, 70% of which consist in the development of software requiring a moderate or high safety level (SIL4 for example).

Consulting & Expertise

Systerel provides support in different business sectors and at all system and software stages.

Safety-critical software development

Systerel is specialised in the development of critical systems.

Assessment & audit

Systerel studies process compliance according to standard requirements and assesses software with high safety integrity level.

Verification & validation

Systerel supports all V&V activities required by standards.

RAMS

Systerel performs risk analyses of dependable systems for industrial customers.

Training

Based on their knowledge in safety-critical software, senior experts at Systerel have built a specific training offer.

Solutions

  • Consulting & expertise
  • Critical software development
  • Verification & validation
  • Assessment & Audit
  • RAMS
  • Training

Expertise

  • Formal methods
  • Embedded, critical & real-time software
  • OPC UA
  • Technology based on Ada
  • Standards & processes

Products

  • Innovation at Systerel
  • Products
  • Research and development works
  • Collaborative initiatives

Business segments

  • Railway
  • Aerospace
  • Energy
  • Defense

Copyright © 2021 Systerel™ - All rights reserved

  • Site map
  • Legal notices