Systerel

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...