Avionics Integration and Verification2017-01-12T16:32:26+00:00

Formal Verification Training

An Intensive 5-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 Verification
  • Identifying Interfaces
  • Defining the information required for an interface and interface definition methods
  • Modelling interfaces
  • Managing Integration projects
  • 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 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.
  • 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

  • 5-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 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
    • 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
  • 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