Safety Code Analysis Method

• Create model of hazard-related code

  • Flatten, Fillet, Fragment, Filter and Represent (Formalize)
  • Understanding code and relation to hazard

• Reason about safety

  • Argue for the absence of hazards
  • Validate model
    

Previous slide

Next slide

Back to first slide

View graphic version