Critical systems, Innovative engineering

For 25 years, Systerel has been supporting its clients to achieve performance and success in the fields of safety-critical software and functional safety by designing cutting-edge solutions that provide significant competitive advantages.

Systerel specializes in critical software and RAMS (Reliability, Availability, Maintainability, Safety).

Its expertise covers a wide range of skills:

• Development, verification and validation or software assessment at all safety levels
• Production of a complete safety case through to certification approval
• Related activities: methodology, architectural study, tools, etc.

Systerel competitive advantage lies in its ability to combine:

• Key technological expertise (B method, SCADE, Model Checking, Simulink + Design Verifier, Ada, PikeOS)
• Rigorous development processes that comply with standards (DO178B, CENELEC, IEC61508, MIL-STD, etc)
• Industry-specific RAMS techniques and methodologies.

Systerel offers highly innovative and competitive solutions;

• S2OPC: Open-source, secure and certified implementation of the OPC UA standard
• S3 (Systerel Smart Solver): Formal verification and safety proof of systems and software
• OVADO^²®: Automatic formal generation and validation of critical configuration data
• BLAST: Automated balise layout assistance for railways
• B2BT: Back-to-Back Testing
• IXLBuilder: Safe control-command implementation on PLCs
• Railway Line Data Visualization Solution

Since its creation in 2001, Systerel has developed and consolidated strong expertise in the railway transportation domain (mainline rail, metro, and light rail), covering:

• Wayside equipment for signaling, interlocking and control systems
• On-board equipment embedded in locomotives and railroad cars
• Commissioning, Testing, and Maintenance tools used during system design, integration, and operational phases

We are primarily involved in critical systems engineering (up to SIL 4) on projects such as ERTMS, CBTC, interlockings, speed control systems, and onboard display systems.

We deliver solutions across all system lifecycle phases, from preliminary studies to deployment: requirements and specifications, development, V&V, and safety studies.

Whether in specification, design, development, or integration, Systerel is involved in projects such as:

• A full SIL 4 tramway interlocking implementation on a programmable logic controller (PLC), covering the entire process from software specification through certification authority approval.
• Functional and safety-related developments (Ada, B method, and formal proof) up to SIL 4, including equipment testing on target and host platforms, test simulators, functional interfaces, and other components interfacing with CBTC application environments
• Development of wayside Zone Controller (ZC) software for automatic CBTC metro systems using formal methods (SSIL 4)

As an actor in the digital world, Systerel has taken active steps to minimize its environmental impact. The company is a proud signatory of the Planet Tech’Care manifesto, committing to measuring and reducing the environmental footprint of its services. In addition, Systerel has implemented initiatives for effective electronic waste management and actively encourages its employees to engage in environmental and community-focused activities. Furthermore, Systerel was awarded the Silver Medal from EcoVadis, the world’s leading provider of sustainability assessments.