Safety Standard Training

Please note the course requires a minimum of 4 paid attendees. Maximum number of students: 20.

Training seats will be confirmed when we receive the tuition fee. To reserve a seat, tuition must be received by August 30^th. A member from our sales team will contact you to collect your payment information.

Cancellation Policy
We reserve the right to cancel courses as deemed necessary. If we cancel your course, you may opt to receive a full refund or register for another course.

Refund Policy
Your registration fee will be refunded, minus an administration fee, if we receive your cancellation request at least two weeks prior to the first day of class.

Questions? Please contact corp-training@qnx.com.

Please register below:

First Name *

Last Name *

Email * *Only one unique email address per registration

Company *

Primary Industry

Job Title

Please Select Country ... *

State or Province *

Phone Number *

Method of payment: *

Please indicate your PO Number:

Yes, I would like to receive emails from QNX.

Comments

By clicking Submit you are indicating that you have read, understood and agree to the Privacy Policy and the QNX Web Site Terms of Use.

Overview
For the development of safety-critical systems, we live in interesting times. The association of danger with system malfunction is being intensely rethought, with increased emphasis on the Safety of the Intended Functionality. We are struggling to handle dynamic systems, particularly those incorporating machine learning. The tension between security and safety is not fully understood. And testing, our traditional method of verification, is becoming increasingly ineffective.

Producing software for safety-critical systems has always laid a heavy responsibility on designers, programmers and development managers, and this volatile environment only adds to the challenge.

Many international standards have been published for our guidance; these are strongly interrelated, but often complex and contradictory. The standards "highly recommend"—i.e., effectively mandate—the use of techniques developers may not have applied since leaving university (e.g., Markov, Petri net analysis, Discrete Event Simulation) or which have only become practical in the last few years (e.g., formal methods and deep static analysis).

This course answers questions that developers often ask as they move into the area of safety-critical software. With few exceptions, the tools and techniques described and demonstrated during the course are "highly recommended" in the safety standards.

This course was designed and curated for:

Development Managers who will learn new techniques for producing honest Safety Cases
Designers who will discover advanced techniques for hazard and risk, and failure analyses, in addition to practical architectures to reach the necessary level of system dependability
Designers and Programmers who will be shown tools for the less common “highly-recommended” techniques and will discuss their practical application
Compiler Specialists who will be interested in new methods for demonstrating the correctness of compilations

Course Curriculum
Session 1
Session 1a: Terminology and Current Challenges
Session 1b: A Strategy
Session 1c: The Standards: where do they come from? What do they demand?
Session 1d: The Hazard and Risk Analysis and the Safety Case

Session 2
Bayesian networks, Markov Models, Software failure rates, FTA, FMECA, Petri Nets, Simulation.

Session 3
Techniques to prevent the introduction of faults. In particular, compiler validation and formal methods.

Session 4
Removing faults before they become errors. This covers testing (and our "new" standard there: ISO29119) and advanced static code analysis amongst other things.

Session 5
Preventing errors becoming failures.

Prerequisites

The course does not cover the establishment of a quality management system in accordance with ISO 16949 or ISO 9001; for the application of any of the safety standards, it is assumed that the company already has this foundation.

Questions? Please contact corp-training@qnx.com.