Systerel is specialized in critical software and RAMS (Reliability /Availability /Maintainability /Safety).
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 + Design Verifier, 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.
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.
Systerel offers you products from these product groups:
Application software (351)
- Runtime environments (35)
- Middleware (83)
- Communication software (95)
- Other application software (72)
- Real-time operating systems (159)
- Visualization software (88)
- Data security (54)
- Software (369)
- Methods and tools for secure embedded systems (62)
- Services (517)