Requirements Management and

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

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.