↓ Skip to main content

Computer Safety, Reliability, and Security

Overview of attention for book
Cover of 'Computer Safety, Reliability, and Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges?
  3. Altmetric Badge
    Chapter 2 Cyber (In-)security of Industrial Control Systems: A Societal Challenge
  4. Altmetric Badge
    Chapter 3 Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems
  5. Altmetric Badge
    Chapter 4 The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation
  6. Altmetric Badge
    Chapter 5 Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional Transitions
  7. Altmetric Badge
    Chapter 6 Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition
  8. Altmetric Badge
    Chapter 7 Safely Using the AUTOSAR End-to-End Protection Library
  9. Altmetric Badge
    Chapter 8 A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface
  10. Altmetric Badge
    Chapter 9 Model-Based Analysis for Safety Critical Software
  11. Altmetric Badge
    Chapter 10 Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking
  12. Altmetric Badge
    Chapter 11 Back-to-Back Fault Injection Testing in Model-Based Development
  13. Altmetric Badge
    Chapter 12 Understanding the Effects of Data Corruption on Application Behavior Based on Data Characteristics
  14. Altmetric Badge
    Chapter 13 A Multi-layer Anomaly Detector for Dynamic Service-Based Systems
  15. Altmetric Badge
    Chapter 14 Safety Case Driven Development for Medical Devices
  16. Altmetric Badge
    Chapter 15 Towards an International Security Case Framework for Networked Medical Devices
  17. Altmetric Badge
    Chapter 16 Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems
  18. Altmetric Badge
    Chapter 17 Towards Assurance for Plug & Play Medical Systems
  19. Altmetric Badge
    Chapter 18 Risk Classification of Data Transfer in Medical Systems
  20. Altmetric Badge
    Chapter 19 Requirement Engineering for Functional Alarm System for Interoperable Medical Devices
  21. Altmetric Badge
    Chapter 20 The Safety Requirements Decomposition Pattern
  22. Altmetric Badge
    Chapter 21 Automatic Architecture Hardening Using Safety Patterns
  23. Altmetric Badge
    Chapter 22 Modeling the Impact of Testing on Diverse Programs
  24. Altmetric Badge
    Chapter 23 A Model for Safety Case Confidence Assessment
  25. Altmetric Badge
    Chapter 24 Towards a Formal Basis for Modular Safety Cases
  26. Altmetric Badge
    Chapter 25 Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design
  27. Altmetric Badge
    Chapter 26 ISA $$^2$$ R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity
  28. Altmetric Badge
    Chapter 27 Computer Safety, Reliability, and Security
  29. Altmetric Badge
    Chapter 28 Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device
  30. Altmetric Badge
    Chapter 29 Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems
  31. Altmetric Badge
    Chapter 30 A Comprehensive Safety, Security, and Serviceability Assessment Method
  32. Altmetric Badge
    Chapter 31 Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don’t Trust Your Compiler
  33. Altmetric Badge
    Chapter 32 Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT
  34. Altmetric Badge
    Chapter 33 A Software-Based Error Detection Technique for Monitoring the Program Execution of RTUs in SCADA
  35. Altmetric Badge
    Chapter 34 Real-World Types and Their Application
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
26 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Computer Safety, Reliability, and Security
Published by
Springer International Publishing, September 2015
DOI 10.1007/978-3-319-24255-2
ISBNs
978-3-31-924254-5, 978-3-31-924255-2
Editors

Koornneef, Floor, van Gulijk, Coen

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 26 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 26 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 10 38%
Student > Master 5 19%
Professor 1 4%
Student > Bachelor 1 4%
Professor > Associate Professor 1 4%
Other 1 4%
Unknown 7 27%
Readers by discipline Count As %
Computer Science 12 46%
Engineering 4 15%
Business, Management and Accounting 2 8%
Unknown 8 31%