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

Systerel

Org chart

Teams

Offices