Safety Standards’ Recomendations 

• Combination of static and dynamic analysis

• Choice of techniques guided by level of criticality

• e.g., IEC 1508

  • Four “Safety Integrity Levels” (SIL)
  • “Highly recommends” formal proofs for SIL 4 modules

Previous slide

Next slide

Back to first slide

View graphic version