Software Safety

• “Is it SAFE?”

• Certification of critical systems

  • ISESS Safety Workshop - FDA, FAA, ...
  • Software safety standards - IEC 1508, ...

• Industrial critical system engineering

  • e.g., Praxis Critical Systems, UK
  • Role of formalWARE

Previous slide

Next slide

Back to first slide

View graphic version