Introduction to
Requirements Engineering

Formal Verification Training

An Intensive 1-Day Course

Target Audience

  • Requirements Engineers / Managers
  • Managers

Key Topics Covered

The course is a practical guide to Requirements engineering and will cover the requirements engineering key areas of:

  • Elicitation: What to elicit, who to involve & techniques to use
  • Documentation: At different levels of flow, modelling, natural language and hybrid options
  • Validation & Negotiation: Validation criteria and techniques, communication and conflict resolution
  • Management: Processes, tools and flows

Learning Outcomes

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

  • Understand how to analyse a system and its scope, stakeholders etc. Knowledge of techniques available to ensure competence in complete and efficient elicitation requirements
  • Understand the different types of documentation options available at different levels of the requirements process and the content required
  • A basic comprehension of the model based options for documenting and visualising requirements, when they are best suited for use
  • How to write god quality natural language requirements, some common issues associated with writing them and possible tools to assist in consistency
  • An analysis of how to analyse a safety or security hazard, extract a set of requirements from it
  • How to ensure a good requirements management process, considering grouping, visualisation and movement and traceability of requirements through the process
  • An understanding of some of the tooling & processes used in Requirements Engineering, what criteria to use when deciding on tooling choices.


  • 1-Day divided into interactive lectures and workshops
  • There will be no hands on lab exercises and the workshops will be team based and interactive
  • The workshops will be tailored to the audience domain


The following prerequisites is required of the delegates:

  • No prior knowledge of requirements engineering is required

Course Content

  • Introduction
    • Overview of the course
      • Motivation: why is this course required?
      • Content
      • Objectives
      • Expected outcomes
  • Analysis of Requirements and Elicitation
    • Defining of system boundaries
      • System vs Context
    • Elicitation
      • Types of requirements
      • Roles and responsibilities of involved groups
      • Interface identification
      • Techniques available to aid elicitation
      • Validation techniques
      • Negotiation and conflict resolution techniques
    • Workshop
      • Use case example
      • In groups identify all stakeholders
      • Assign roles to group members
      • Scope the boundary of the system
      • Identify best techniques to use
      • Elicit requirements
  • Documentation
    • System Context
    • Content
      • Purpose
      • Templates
      • Glossaries etc
    • Process
      • Managing documents
      • Communication
    • Workshop
      • Using requirements extracted from first workshop put together requirements Document
      • Write introduction contents
      • Suggest requirements
      • Sample glossary
  • Model Based Requirements Documentation
    • Purpose
      • Schematic
      • Visualisation
    • Modelling types
      • Entity relationships
      • Decomposition
      • UML usage
    • Workshop
      • From the requirements Document in last workshop chose a modelling format
      • Do a top level diagram
      • Decompose
      • Draw the use case
      • Textualize the use case
  • More Modelling!
    • Modelling types
      • DFD
      • Activity diagrams
      • State Charts
    • Workshop
      • Draw examples of each type for the workshop usecase
      • Propose preferred solution (if any)
  • Natural Language
    • Perception and transformation
    • Construction
    • Quality criteria
      • Examples
    • Tools
    • Workshop
      • Examples given from workshop use case
      • Analysis of quality against criteria and correction options
  • Safety and Security
    • Hazard Identification
      • Risk analysis
      • Hazard analysis
    • Scope definition
    • Safety Goals
      • Hazard mitigation
    • Extracting Requirements
    • Workshop 6
      • Identify Hazard from use-case
      • Ascertain risk
      • Define scope
      • Define risk mitigation
      • Extract requirements
  • Requirements Management
    • Attributes
      • Purposes of
      • Grouping
      • Managing
    • Prioritising requirements
    • Traceability
      • Impact analysis
      • Maintenance
      • Relations
      • Matrices
    • Configuring
      • Versioning
      • Baselining
    • Change management
      • Control board
      • Change requests
      • Classification
    • Workshop
      • Define a configuration management schema
      • Describe metadata required
      • Write a change process for the schema including metadata info required
      • Analyse impact of change
  • Tool Support
    • Modelling tools
      • Versioning
      • Management
      • Interoperability
    • Requirements management tools
      • Features
      • Change management tools
      • Configuration management tools
      • Middleware tools
      • Test management
    • Evaluation Criteria
    • Workshop 8
      • Groups analyse current tooling available within groups
      • Consider interoperability and processes
      • Identify issues
      • Propose improvements

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.