Learning Outcomes

At the end of the course the attendees will be able to:

Demonstrate an understanding of verification

Be able to explain various aspects of verification including: how it differs from validation; the context for verification; describe the limits of verification; the costs associated with good and bad verification.

Be able to apply that understanding to a project

Be able to explain the verification process and how it fits with the development process including verification at different levels of system hierarchy, justify with reason the choice of verification techniques, defining suitable metrics that can be used to track progress and define verification completeness

Be able to reflect on the impact on verification of any changes in the project (e.g. changes in product requirements) and assess the change management plan

Demonstrate the ability to put verification into the context of the safety requirements for a project and make suitable contributions to any safety assessments

Be able to provide verification leadership within given a project context by demonstrating the ability to define a verification strategy and plan, estimate cost and duration, identify risks and create a risk mitigation plan

Be able to critically evaluate a verification strategy and plan

Demonstrate an understanding of the supply chain including assessment of a supplier’s verification plan and deliverables, and their verification responsibility to their customer.

Delivery

3 days with individual lectures and case studies

Prerequisites

The following prerequisites is required of the delegates:

Knowledge of Requirements Gathering

Familiarisation with Avionics terminology

Experience in the Avionics Industry

Course Content

Overview of the Course

Motivation: Why is this course required?

Content

Objectives

Expected outcomes

What is verification?

The context for verification

Why, When and Where do we need it?

Verification vs. validation

Understanding the limits of what we can achieve

Level of confidence derived from verification

The cost of bad verification

Case study

Verification Leadership

Judging the amount of verification we need for a particular project

Costing verification as part of a bid

Understanding the supply chain

Understanding what needs to be performed internally

Understanding what needs to be delivered

Identifying the risks, and the mitigation plans

Can we mitigate all risk?

What is the change management plan?

The Verification Process

Defining a verification strategy

Integrating with the development process

Verification at different levels of hierarchy

Planning, tracking, signing off

Defining and tracking metrics

Managing change

Performing an efficient impact analysis to a sufficient level of detail

Case study

Verification Techniques

Choosing the appropriate techniques

What metrics will be needed

Case study

Understanding the supply chain from a verification perspective

Assessing verification plans from suppliers

Assessing verification performed by suppliers

What is needed for COTS?

Case study

Safety and verification

Conforming to safety standards

Case study

Find out more

Contact one of our training consultants today to find out more about our training courses.

Recent Posts on : Training

About Us

Organisations developing complex microelectronics and embedded systems use T&VS to test and verify their hardware and software products, employ industry best practice and to help manage peaks in their development and testing programmes. T&VS are experienced in safety certification, security testing, training and also offer Verification IPs and our own EDA tool for requirements management and verification signoff.

The TVS newsletter is aimed at informing you about industry news, events and information from TVS and our industry partners with no selling. It is easy to unsubscribe if we do not fulfil that promise.
So if you want the latest on testing and verification subscribe below.

The 2-day Formal Verification Bootcamp is for design and verification engineers looking to enhance their knowledge of formal verification and to learn how to write effective assertions to find and fix bugs. The course is a mix of presentations and hands-on development exercises.