Functional safety

Developing safety-related software to IEC 61508 Part 3

1-Day Training Course

Course description:

This course is an introduction to IEC 61508-3:2010 and explains the requirements for developing software for safety-related applications. It also serves as a companion course for other Silmetric courses (e.g., Designing electronic products to meet IEC 61508-2, or Designing machinery safety-related control functions to meet ISO 13849).

Participants will gain a thorough overview of the requirements of IEC 61508-3, an understanding of the basic principles and terms, how a safety integrity level (SIL) applies to their software and how to ensure compliance. Auditing of a software development project against the requirements of IEC 61508-3 is also covered. Guidance in the selection and use of software tools and techniques is provided.
There will be ample opportunity during the course to answer questions from the delegates. When the course is delivered on-site, specific discussions relating to the client’s projects are welcomed, which are not possible in a public arena. A non-disclosure agreement can be signed if required to facilitate discussions.

Target audience:

Those responsible for software development, from requirements capture through design, test and validation, including software engineers, managers and quality assurance personnel. The course can be tailored to some extent to suit the requirements of specific organisations or individuals when delivered on-site.

Supporting material:

Each attendee receives a manual based on the lecture slides together with supplementary information sheets. Frequent question and answer sessions are included for clarification.

Training Course Outline

1. IEC 61508 Structure and Essentials
• Structure and contents of Part 3
• Safety Lifecycle, inputs and outputs of each phase
• Normative requirements for software development (requirements, design, code and test)
• Verification requirements per lifecycle phase
• Techniques and Measures in Annexes A and B – use and examples
• Annex C properties and relationship to Annex A and B
2. Techniques and Measures
• Reducing defect density – what can be achieved in practice
• Software failure modes
• Requirements methods, management and traceability
• Design methods – structure and behavioural aspects
• Static analysis methods (complexity analysis, data flow analysis, formal proof methods)
• Static analysis tools
• Testing principles and techniques – limitations of testing
• Black box and structure-based testing
• Testing tools
• Direct and backing (confidence) evidence
3. Additional Topics (these can be included or dropped as required)
• Software development tools
• Limited variability languages
• Software change management
• Auditing against IEC 61508-3
• Derived standards, e.g., IEC 61511
• Use of OO techniques and Java