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.
- Subway, tramway, high-speed railway lines
- Signalling, interlocking…
- ERTMS (EVC, RBC), SAET / CBTC (ZC, CC), KVB, DMI…
- Inertial navigation system (IRS), thrust reversal (ETRAS), landing gear (LGS, LGBSCU)…
- DO178 C tool qualification guidance
- Process hazard analysis
- Functional analysis
- Failure mode, effects and criticality analysis (FMECA)
- Software error impact analysis (AEEL)
- Fault tree analysis
- Dependency analysis
- 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.
Systerel is a certified training center and notably administers the following training sessions: