for the static analysis and formal proof of systems and software.
Systerel has been creating, designing and implementing innovative solutions for over 15 years in the area of real time and safety critical systems.
Systerel is specialized in critical software and RAMS (Reliability / Availability / Maintainability / Safety).
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.
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.
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.