Requirements Engineering for Safety-Critical Systems

Luiz Eduardo G. Martins, Tony Gorschek

• Publisher: River Publishers
• Year: 2022
• Print ISBN:
  9788770224277
• eBook ISBN:
  9781000795967
• Topic: Physical Sciences
• Subtopic: Civil Engineering

Safety-Critical Systems (SCS) are increasingly present in people's daily activities. In the means of transport, in medical treatments, in industrial processes, in the control of air, land, maritime traffic, and many other situations, we use and depend on SCS. The requirements engineering of any system is crucial for the proper development of the same, and it becomes even more relevant for the development of SCS. Requirements Engineering is a discipline that focuses on the development of techniques, methods, processes, and tools that assist in the design of software and systems, covering the activities of elicitation, analysis, modeling and specification, validation, and management of requirements. The complete specification of system requirements establishes the basis for its architectural design. It offers a description of the functional and quality aspects that should guide the implementation and system evolution. In this book, we discuss essential elements of requirements engineering applied to SCS, such as the relationship between safety/hazard analysis and requirements specification, a balance between conservative and agile methodologies during SCS development, the role of requirements engineering in safety cases, and requirements engineering maturity model for SCS. This book provides relevant insights for professionals, students, and researchers interested in improving the quality of the SCS development process, making system requirements a solid foundation for improving the safety and security of future systems.

Table of contents

• Cover
• Half Title
• Series Page
• Title Page
• Copyright Page
• Table of Contents
• Preface
• Acknowledgments
• List of Figures
• List of Tables
• List of Abbreviations
• 1 Introduction
• 2 The Role of the Safety and Hazard Analysis
• 3 Integrating New and Traditional Approaches of Safety Analysis
• 4 Agile Requirements Engineering
• 5 A Comparative Study of Requirements-Based Testing Approaches
• 6 Requirements Engineering in Aircraft Systems, Hardware, Software, and Database Development
• 7 Generating Safety Requirements for Medical Equipment
• 8 Meta-Requirements for Space Systems
• 9 The Role of Requirements Engineering in Safety Cases
• 10 Safety and Security Requirements Working Together
• 11 Requirements Engineering Maturity Model for Safety-Critical Systems
• Index
• About Editors and Authors