Software system safety

“The dependability of a system is the property that enables users to trust the service they are delivered in a righteous way” – Jean-Claude Laprie

The mastery of dependability avoids non-compliance with safety requirements, which generate additional costs.

Systerel performs safety and dependability analyses for highly critical systems. These activities contribute to reaching the required normative standards of quality.

Domain knowledge

Railway

  • Subway, tramway, high-speed railway lines
  • Signalling, interlocking…
  • ERTMS (EVC, RBC),  SAET / CBTC (ZC, CC), KVB, DMI…

Aeronautics

  • Inertial navigation system (IRS), thrust reversal (ETRAS), landing gear (LGS, LGBSCU)…
  • DO178 C tool qualification guidance

Methodology expertise

  • Process hazard analysis
  • Functional analysis
  • Failure mode, effects and criticality analysis (FMECA)
  • Software error impact analysis (AEEL)
  • Fault tree analysis
  • Dependency analysis

Normative

  • Expertise in safety-critical systems (70% of revenues)
  • Compliance weth domain norms: CEI 61508, CENELEC EN 50126, EN 50128, EN 50129, DO-178, ARP 4761…

Examples of activities:

  • Writing of a safety plan
  • Risk analysis
  • Specification of safety requirements
  • Establishment of a safety report (generic product, generic application or specific application)

Safety-critical systems have very high dependability requirements.

Training

Systerel is a certified training center and notably administers the following training sessions: