Avionics Integration 2017-01-12T16:41:54+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 Integration and Costs of Bad Integration
  • Identifying Interfaces
  • Defining the information required for an interface and interface definition methods
  • Modelling interfaces
  • Risk and mitigation plans and Managing change in Integration
  • Understanding the supply chain
  • Conforming to Safety Guidelines and Design Assurance Levels
  • Managing Integration projects

Learning Outcomes

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

  • Demonstrate an understanding of integration
  • Be able to explain the integration process and how it fits with the development process including identification of the various interfaces (for example internal to the system and external to other systems or humans, etc.) and reduce the risk of integration problems across the interfaces
  • Demonstrate an understanding of the various methods available for both modelling and defining interfaces and how they can be applied to a project
  • Be able to reflect on the impact on integration of any changes in the project (e.g. changes to interface definitions) and assess the change management plan
  • Demonstrate the ability to put integration into the context of the safety requirements for a project and make suitable contributions to any safety assessments
  • Be able to provide integration leadership within given a project context by demonstrating the ability to define an integration strategy and plan, estimate cost and duration, identify risks and create a risk mitigation plan
  • Demonstrate an understanding of the supply chain including assessment of a supplier’s integration plan and deliverables, and their integration 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 Indusrty

Course Content

  • Overview of the Course
    • Motivation: why is this course required?
    • Content
    • Objectives
    • Expected outcomes
  • What is Integration?
    • The context for integration – Why, When and Where do we need it?
    • Commercial motivation for sound integration (e.g. early discovery of problems)
    • The cost of bad integration – what can go wrong
    • Case study
  • Interface Leadership
    • Identifying the interfaces in a system
      • Internal and external interfaces
      • Understanding the system context
    • Defining the information required for an interface
      • To ensure all parties have a common understanding
      • To mitigate the risk of misunderstanding
    • Identifying the risks, and the mitigation plans
      • Can we mitigate all risk?
    • What is the change management plan?
    • Case study
  • Where are the Interfaces
    • Hardware-hardware, software-software, hardware-software
    • Internal interfaces and external interfaces
    • Case study
  • Interface Definition Methods
    • Defining interfaces
    • Formalising interfaces
    • Case study
  • Modelling Interface
    • Static models
    • Dynamic models
    • Linked models
    • Case study
  • Understanding the Supply Chain from an Integration Perspective
    • What integration preparation would you expect from a supplier
    • What integration preparation would you expect to do for your client
    • Case study
  • Safety and Integration
    • 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.