Model-Based Requirements Engineering

Buy e-book PDF
(plus tax if applicable)
Buy print edition
image of Model-Based Requirements Engineering
Author(s): Jon Holt 1 ; Simon A Perry 1 ; Mike Brownsword 1
View affiliations
Publication Year: 2011

This book provides a hands-on introduction to model-based requirements engineering and management by describing a set of views that form the basis for the approach. These views take into account each individual requirement in terms of its description, but then also provide each requirement with meaning by putting it into the correct 'context'. A requirement that has been put into a context is known as a 'use case' and may be based upon either stakeholders or levels of hierarchy in a system. Each use case must then be analysed and validated by defining a combination of scenarios and formal mathematical and logic-based proofs that provide the rigour required for safety-critical and mission-critical systems. The book also looks at the crucial question of modelling notations for requirements modelling and includes discussions on the use and application of SysML, text and tabular formats. Pragmatic issues, such as tailoring the approach for short, non-critical projects to massive, mission-critical projects is discussed to show how the techniques introduced in the book can be applied on real-life projects and systems. The use of multiple tools will also be discussed, along with examples of how an effective process can lead to realisation by any tool.

Inspec keywords: formal verification; formal logic; systems analysis; safety-critical software; theorem proving

Other keywords: formal logic based proof; use case; safety critical system; mission critical system; requirement modelling; formal mathematical based proof; model based requirement engineering; sysML

Subjects: Formal logic; Software engineering techniques; Formal methods; Data security; Knowledge engineering techniques

Related content

This is a required field
Please enter a valid email address