Making your products more Reliable, Safe and Secure
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