SAFETY ANALYSIS


Qualitative Analysis:
  • Hazard Analysis:
    • Preliminary Hazard Analysis,
    • Interface Hazard Analysis,
    • System Hazard Anakysis.
  • Failure Mode and Effective Analysis (FMEA) and FTA (Fault Tree Analysis) both HW and SW,
  • ISO26262 SW architecture Assessment - SW FMEA based,
  • Formal Verification,
  • Safety Analysis of HW microarchitectures: Systems on Chip and MCUs.
Software Quality Functional Assurance:
  • Analysis and assessment of SW Architecture,
  • Static Code Analysis,
  • Quality Rule Checking supported by commercial (e.g. Logiscope) and custom tools.
Quantitative (model-based) Analysis:
  • Analytic Evaluation
    • RBD, Fault tree Analysis (FTA), SAN and Petri Nets
  • Simulative
    • SAN, Petri nets
    • Using commercial (e.g. Moebius), academic (e.g. Deem) and proprietary solutions
Quantitative analysis is used to evaluate fundamental metrics demanded by IEC 61508 (functional safety standard):
  • ISO 26262 (for automotive Electric/Electronic Systems)
    • PMHF, SPFM, LFM
  • CENELEC 501XX
    • MTTF (Mean Time To Failure), MTTR (mean time to repair), MTBHE (Mean Time Between Hazardous Events).