Avionics Verification 2017-01-12T16:33:59+00:00

Formal Verification Training

An Intensive 3-Day Course – MSc Level

Target Audience

  • Avionics Engineers and Managers

Key Topics Covered

The course will cover the cover the following topics:

  • Reasons for Verification and Cost of bad Verification
  • Defining a Verification Strategy
  • Verification planning, tracking and signing off
  • Verification techniques
  • COTS, Supply chain and verification
  • Safety Guidelines and Verification Design Assurance Levels
  • Planning and Costing verification in a bid
  • Risk and Mitigation plans and Managing change in Verification

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.


  • 3 days with individual lectures and case studies


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.

Alternatively contact your local sales office

The T&VS newsletters inform you about industry news, events and information from T&VS. No spam, we promise and it is always easy to unsubscribe.
We never share your information. Read our Privacy Statement
Interested in Formal Verification?
Then why not attend the TVS Formal
Verification Bootcamp training?
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.
Bootcamp Enquiry Form
If you are interested in receiving additional information on the course then simply email Mike Bartley (TVS CEO and Course Leader) by entering your details below.
Interested in SystemC?
FREE SystemC UVM Library Now Available
The TVS SystemC UVM library closely mimics UVM but gives users a license free UVM-based verification environment.
Have your product requirements been successfully tested and implemented?
Find out how asureSIGN can help you implement a successful Requirements Driven Verification and Test Strategy by visiting asureSIGN or enter your details and we will be in touch.
Course Dates and Pricing
To receive additional information, including course dates and pricing, please contact our training team who will be happy to help.
Download Request
Please complete the following form then click 'submit' to access the download.
Presentation Request
Please complete the following form then click 'submit' to gain access to the presentations.
Please complete the following form and then click 'submit' to gain access to the download.
Did you get what you were looking?

Let the testing experts help. We will run a FREE QA assessment which will include our top 5 recommendations to help maximise your testing.