Systerel has been creating, designing and implementing innovative solutions for over 20 years in the area of real time and safety critical systems.

Its expertise is covering a wide range of skills:
•	Development, verification and validation or software assessment at all safety levels.
•	Building of a full safety case up to its approval by a certification authority.
•	Related activities: methodology, architectural study, tools, etc.

The source of its competitive differentiation lies in its ability to combine:
•	Key technological expertise (B method, SCADE, Model Checking, Simulink, Ada, PikeOS)
•	Rigorous development processes that comply with standards (DO178B, CENELEC, CEI61508, MIL-STD, …)
•	RAMS techniques and methods specific to each industry.

The mastery of advanced technologies such as formal approaches, linked to a thorough industrial knowledge (signaling, avionics…), enables Systerel to supply highly innovative and competitive solutions for the benefit of its customers.

In particular, Systerel offers the following solutions:
•	Systerel Smart Solver: automatic formal validation of critical configuration data
•	BLAST: automated and parameterized solution for calculating the number of railways balises
•	Systerel IXL Builder: design of formally proven automata-based systems
•	Safe and Secure OPC: secure implementation of the OPC UA protocol
•	OVADO2®: automatic formal validation of critical configuration data

Its ability to innovate with a commitment of results makes Systerel a strong partner of leading actors in the railway, aeronautics & space, defense, energy & industry sectors.

Aviation & Aerospace

Military

Rail

Systerel

The Aix-en-Provence office focuses on software development, validation, and safety engineering in the high-tech sector.

Aix-en-Provence

The Malakoff office specializes in software engineering and testing, supporting innovative solutions in technology and development.

Malakoff

The Toulouse office focuses on railway systems validation and formal methods, ensuring safety and reliability in transportation.

Toulouse

This department focuses on ensuring the quality and functionality of products through rigorous testing and validation processes.

Validation Engineering

This department focuses on the development, validation, and testing of secure software solutions.

Software Development

This department focuses on the development and application of formal methods to ensure system reliability and safety in engineering projects.

Formal Methods Engineering

This department focuses on the creation and enhancement of products to meet market demands and drive business growth.

Product Development

This department focuses on the development and management of secure application solutions.

Security Applications

This department manages pre-sales activities, ensuring operational efficiency and supporting evaluations and audits.

People (6)

Jobs (0)

Other teams

Software Development

Formal Methods Engineering

Product Development

Security Applications

Pre-Sales Operations