Mathieu C.

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.