Safety-Critical Software

• Source code that may contribute to a hazard

  • Backward trace of the hazard

• “Long thin slice” of hazard-related code

  • Chemical factory example

Previous slide

Next slide

Back to first slide

View graphic version