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