Requirements engineering for safety-critical systems

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...

Full description

Saved in:
Bibliographic Details
Main Authors Martins, Luiz Eduardo G. (Author), Gorschek, Tony (Author)
Format Electronic eBook
LanguageEnglish
Published Aalborg : River Publishers, 2021.
SeriesRiver Publishers series in software engineering.
Subjects
System safety.
Industrial safety.
Requirements engineering.
elektronické knihy
electronic books
Online AccessFull text
ISBN9788770224260
8770224269
9781003339274
1003339271
9781000793192
1000793192
9781000795967
1000795969
8770224277
9788770224277
Physical Description1 online resource (230 pages)

Cover

Table of Contents:
  • Front Cover
  • Requirements Engineering for Safety-Critical Systems
  • Contents
  • Preface
  • Acknowledgments
  • List of Figures
  • List of Tables
  • List of Abbreviations
  • 1 Introduction
  • 2 The Role of the Safety and Hazard Analysis
  • 2.1 Introduction
  • 2.2 Foundations of Safety Engineering
  • 2.2.1 The Threats: Faults, Errors, and Failures
  • 2.2.2 Safety Concepts
  • 2.3 A Method for Safety and Hazard Analysis
  • 2.3.1 Step 1: Hazards Identification
  • 2.3.2 Fault-Tree Analysis (FTA)
  • 2.3.3 HAZOP
  • 2.3.4 STAMP/STPA
  • 2.4 Step 2: Hazards Evaluation
  • 2.4.1 Step 3: Risk Analysis
  • 2.5 Safety-related Requirements Specification
  • 2.5.1 The Means to Obtain Safety
  • 2.5.2 Model-driven Approaches
  • 2.5.3 Textual-driven Approaches
  • 2.5.4 Model-driven Approaches Combined with Natural Language Specification
  • 2.5.5 Ontological Approach to Elicit Safety Requirements
  • 2.6 Conclusions
  • References
  • 3 Integrating New and Traditional Approaches of Safety Analysis
  • 3.1 Introduction
  • 3.2 Background and Related Work
  • 3.2.1 Background
  • 3.2.2 Related Work
  • 3.3 Traditional Approaches
  • 3.3.1 FMEA: Failure Mode and Effect Analysis
  • 3.3.2 FTA: Fault Tree Analysis
  • 3.4 New Approaches
  • 3.4.1 STAMP
  • 3.4.2 STPA
  • 3.5 Integration Between New and Traditional Approaches
  • 3.6 Conclusion
  • References
  • 4 Agile Requirements Engineering
  • 4.1 Introduction
  • 4.2 Agile Methods
  • 4.2.1 Scrum
  • 4.2.2 XP
  • 4.3 Agile Requirements Engineering in SCS
  • 4.3.1 Requirements Elicitation
  • 4.3.2 Requirements Analysis and Negotiation
  • 4.3.3 Requirements Specification
  • 4.3.4 Requirements Validation
  • 4.3.5 Requirements Management
  • 4.4 Traditional x Agile Requirements Engineering
  • 4.5 Case Studies
  • 4.5.1 Pharmaceutical Company
  • 4.5.2 Avionics Company
  • 4.6 Conclusions
  • References
  • 5 A Comparative Study of Requirements-Based Testing Approaches
  • 5.1 Introduction
  • 5.2 Background and Related Work
  • 5.3 Experiment Design
  • 5.4 Results and Discussion
  • 5.5 Conclusions
  • 5.6 Future Work
  • References
  • 6 Requirements Engineering in Aircraft Systems, Hardware, Software, and Database Development
  • 6.1 Introduction
  • 6.2 Aviation Standards
  • 6.2.1 SAE ARP 4754A
  • 6.2.2 RTCA DO-297
  • 6.2.3 RTCA DO-178C
  • 6.2.4 RTCA DO-254
  • 6.2.5 RTCA DO-200B
  • 6.3 Requirements Engineering in Aviation
  • 6.3.1 Certification Requirements
  • 6.3.2 Aircraft and System Requirements
  • 6.4 Software Requirements
  • 6.4.1 Model-Based Software Requirements
  • 6.4.2 Software Requirements Using Object-Oriented Technology
  • 6.4.3 Software Requirements Using Formal Methods
  • 6.5 Hardware Requirements
  • 6.5.1 Onboard Database Requirements
  • 6.5.2 Parameter Data Items
  • 6.5.3 Aeronautical Databases
  • 6.6 Conclusion
  • References
  • 7 Generating Safety Requirements for Medical Equipment
  • 7.1 Introduction
  • 7.2 Related Works
  • 7.3 Framework for Integration of Risk Management Process
  • 7.3.1 Risk Management Process According to ISO 14971

Similar Items