Computer Safety, Reliability, and Security

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Lightweight Methodology for Safety Case Assembly
3. Altmetric Badge
   Chapter 2 A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production
4. Altmetric Badge
   Chapter 3 Risk Assessment for Airworthiness Security
5. Altmetric Badge
   Chapter 4 A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations ,
6. Altmetric Badge
   Chapter 5 Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIA
7. Altmetric Badge
   Chapter 6 Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment
8. Altmetric Badge
   Chapter 7 Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components ,
9. Altmetric Badge
   Chapter 8 Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile
10. Altmetric Badge
    Chapter 9 Quantification of Priority-OR Gates in Temporal Fault Trees
11. Altmetric Badge
    Chapter 10 Cross-Level Compositional Reliability Analysis for Embedded Systems
12. Altmetric Badge
    Chapter 11 IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication Data
13. Altmetric Badge
    Chapter 12 Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation
14. Altmetric Badge
    Chapter 13 Towards Secure Fieldbus Communication
15. Altmetric Badge
    Chapter 14 Extracting EFSMs of Web Applications for Formal Requirements Specification
16. Altmetric Badge
    Chapter 15 An Ontological Approach to Systematization of SW-FMEA
17. Altmetric Badge
    Chapter 16 Online Black-Box Failure Prediction for Mission Critical Distributed Systems
18. Altmetric Badge
    Chapter 17 On the Impact of Hardware Faults – An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions
19. Altmetric Badge
    Chapter 18 Formal Development and Assessment of a Reconfigurable On-board Satellite System
20. Altmetric Badge
    Chapter 19 Impact of Soft Errors in a Jet Engine Controller
21. Altmetric Badge
    Chapter 20 Which Automata for Which Safety Assessment Step of Satellite FDIR?
22. Altmetric Badge
    Chapter 21 A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context
23. Altmetric Badge
    Chapter 22 Reviewing Software Models in Compliance with ISO 26262
24. Altmetric Badge
    Chapter 23 Software Architecture of a Safety-Related Actuator in Traffic Management Systems
25. Altmetric Badge
    Chapter 24 Approximate Reliability Algebra for Architecture Optimization
26. Altmetric Badge
    Chapter 25 On the Formal Verification of Systems of Synchronous Software Components
27. Altmetric Badge
    Chapter 26 A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments
28. Altmetric Badge
    Chapter 27 Determining Potential Errors in Tool Chains
29. Altmetric Badge
    Chapter 28 Safety-Focused Deployment Optimization in Open Integrated Architectures
30. Altmetric Badge
    Chapter 29 Qualifying Software Tools, a Systems Approach
31. Altmetric Badge
    Chapter 30 Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems
32. Altmetric Badge
    Chapter 31 Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings
33. Altmetric Badge
    Chapter 32 A STAMP Analysis on the China-Yongwen Railway Accident
34. Altmetric Badge
    Chapter 33 Efficient Software Component Reuse in Safety-Critical Systems – An Empirical Study