Formal Verification Training

An Intensive 2-Day Course

Target Audience

  • Avionics Hardware Engineers and Managers

Key Topics Covered

The main emphasis in the training is a practical guide to achieving DO-254 compliance through strong requirements management and verification.

Learning Outcomes

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

  • Elicit requirements, using modelling if appropriate, and document them within a DO-254 framework
  • Analyse, validate and manage those requirements within a DO-254 framework
  • Write, organize and optimize requirements for verification
  • Make verification less difficult, less expensive and less time consuming
  • Ensure verification complies with DO-254
  • Explain how FAA certification works and how to navigate RTCA/DO-254 document
  • Create Plans for Hardware Aspects of Certification Apply the DO-254 lifecycle and supporting processes
  • Explain system safety assessments and the Design Assurance Levels and how to work with DO-254 Design Assurance Level (DAL)
  • Set up a project correctly through proper planning
  • Use the current guidance for DO-254 projects
  • Understand the common pitfalls in DO-254 projects, and how to avoid them


  • 2 days
  • The course explains concepts through examples and attendees can practice their new skills through case studies.
  • Day 1 covers Requirements Management
  • Day 2 looks at practical applications using the DO-254 standard


The following prerequisites is required of the delegates:

  • Experience of working in an Avionics environment
  • Knowledge of Avionics terminology

Course Content

  • Day 1 – Overview of the course
    • Motivation: why is this course required?
    • Content
    • Objectives
    • Expected outcomes
  • Requirements Management
    • Part 1: Analysis and elicitation + workshop session
    • Part 2: Documentation + workshop session
    • Part 3: Model Based + workshops session
    • Part 4: Natural Language + workshop session
    • Part 5: Safety + workshop session
    • Part 6: Requirements Management + workshop session
    • Part 7: Tooling & Process + workshop session
  • Day 2 – DO-254
    • Introduction to DO-254
    • System Aspects  of hardware design assurance + case study
    • Hardware Design Life Cycle + case Study
    • Planning Process + case Study
    • Hardware Design Process + case Study
    • Validation and Verification Process + case Study
    • Configuration Management Process + case study
    • Process Assurance + case Study
    • Certification Liaison Process + case Study
    • Additional Considerations:
      • Modulation of HW Life Cycle Data based on HW Design Assurance Level
      • Design Assurance Considerations for Level A and B Functions

Find out more

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

Alternatively contact your local sales office