Model-Based Requirements Engineering - Jon Holt

. .

Résumé :
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.

Biographie:
Jon Holt is an internationally-recognized expert in the field of model-based systems engineering. He is an international award-winning author and public speaker and has authored 17 books on systems engineering, including a children's STEM book. Jon currently works for Scarecrow Consultants, holds a Chair in systems engineering at Cranfield University, and is a Fellow of both the IET and the BCS. He is currently the technical director of INCOSE UK and, in 2015, was identified as one of the 25 most-influential systems engineers in the last 25 years by INCOSE. He is also actively involved in the promotion of STEM where he uses magic, mind-reading, and occasional escapology to promote systems engineering at various festivals.

Sommaire:

• Chapter 1: Introduction
• Chapter 2: Modelling
• Chapter 3: The SysML notation
• Chapter 4: Requirements engineering concepts
• Chapter 5: A framework for model-based requirements engineering
• Chapter 6: Case study
• Chapter 7: Realising the process
• Appendices