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...
Saved in:
| Main Authors | , |
|---|---|
| Format | Electronic eBook |
| Language | English |
| Published |
Aalborg :
River Publishers,
2021.
|
| Series | River Publishers series in software engineering.
|
| Subjects | |
| Online Access | Full text |
| ISBN | 9788770224260 8770224269 9781003339274 1003339271 9781000793192 1000793192 9781000795967 1000795969 8770224277 9788770224277 |
| Physical Description | 1 online resource (230 pages) |
Cover
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | kn-on1290484828 | ||
| 003 | OCoLC | ||
| 005 | 20240717213016.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 220101s2021 xx o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e rda |e pn |c EBLCP |d YDX |d IEEEE |d OCLCO |d OCLCF |d N$T |d OCLCO |d OCLCQ |d TYFRS |d OCLCQ |d SFB |d OCLCQ |d OCLCO | ||
| 020 | |a 9788770224260 |q (electronic bk.) | ||
| 020 | |a 8770224269 |q (electronic bk.) | ||
| 020 | |a 9781003339274 |q (electronic bk.) | ||
| 020 | |a 1003339271 |q (electronic bk.) | ||
| 020 | |a 9781000793192 |q (electronic bk. ; |q PDF) | ||
| 020 | |a 1000793192 |q (electronic bk. ; |q PDF) | ||
| 020 | |a 9781000795967 |q (electronic bk. ; |q EPUB) | ||
| 020 | |a 1000795969 |q (electronic bk. ; |q EPUB) | ||
| 020 | |z 8770224277 | ||
| 020 | |z 9788770224277 | ||
| 024 | 7 | |a 10.1201/9781003339274 |2 doi | |
| 035 | |a (OCoLC)1290484828 |z (OCoLC)1290380207 |z (OCoLC)1290414703 |z (OCoLC)1290430415 | ||
| 100 | 1 | |a Martins, Luiz Eduardo G., |e author. | |
| 245 | 1 | 0 | |a Requirements engineering for safety-critical systems / |c Luiz Eduardo G. Martins, Tony Gorschek. |
| 264 | 1 | |a Aalborg : |b River Publishers, |c 2021. | |
| 300 | |a 1 online resource (230 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a River Publishers Series in Software Engineering Ser. | |
| 505 | 0 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 500 | |a 7.3.2 Framework Description. | ||
| 506 | |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty | ||
| 520 | |a 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. | ||
| 590 | |a Knovel |b Knovel (All titles) | ||
| 650 | 0 | |a System safety. | |
| 650 | 0 | |a Industrial safety. | |
| 650 | 0 | |a Requirements engineering. | |
| 655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
| 655 | 9 | |a electronic books |2 eczenas | |
| 700 | 1 | |a Gorschek, Tony, |e author. | |
| 776 | 0 | 8 | |i Print version: |a Martins, Luiz Eduardo G. |t Requirements Engineering for Safety-Critical Systems. |d Aalborg : River Publishers, ©2021 |
| 830 | 0 | |a River Publishers series in software engineering. | |
| 856 | 4 | 0 | |u https://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpRESCS00T/requirements-engineering-for?kpromoter=marc |y Full text |