↓ 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 Introduction to Sassur 2012
  3. Altmetric Badge
    Chapter 2 AdvoCATE: An Assurance Case Automation Toolset
  4. Altmetric Badge
    Chapter 3 Towards a Case-Based Reasoning Approach for Safety Assurance Reuse
  5. Altmetric Badge
    Chapter 4 Modeling for Safety in a Synthesis-Centric Systems Engineering Framework
  6. Altmetric Badge
    Chapter 5 A Model Based Approach for Safety Analysis
  7. Altmetric Badge
    Chapter 6 Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards
  8. Altmetric Badge
    Chapter 7 A New Approach to Assessment of Confidence in Assurance Cases
  9. Altmetric Badge
    Chapter 8 An Unified Meta-model for Trustworthy Systems Engineering
  10. Altmetric Badge
    Chapter 9 A Preliminary Fault Injection Framework for Evaluating Multicore Systems
  11. Altmetric Badge
    Chapter 10 Meeting Real-Time Requirements with Multi-core Processors
  12. Altmetric Badge
    Chapter 11 Assessing Software Interference Management When Modifying Safety-Related Software
  13. Altmetric Badge
    Chapter 12 Introduction to ASCoMS 2012
  14. Altmetric Badge
    Chapter 13 Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults
  15. Altmetric Badge
    Chapter 14 An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems
  16. Altmetric Badge
    Chapter 15 Use of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles
  17. Altmetric Badge
    Chapter 16 From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software Engineering
  18. Altmetric Badge
    Chapter 17 Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems
  19. Altmetric Badge
    Chapter 18 Introduction to DESEC4LCCI 2012
  20. Altmetric Badge
    Chapter 19 Quantitative Security Evaluation of a Multi-biometric Authentication System
  21. Altmetric Badge
    Chapter 20 Protecting the WSN Zones of a Critical Infrastructure via Enhanced SIEM Technology
  22. Altmetric Badge
    Chapter 21 On Securing Communications among Federated Health Information Systems
  23. Altmetric Badge
    Chapter 22 How Secure Is ERTMS?
  24. Altmetric Badge
    Chapter 23 International Cooperation Experiences: Results Achieved, Lessons Learned, and Way Ahead
  25. Altmetric Badge
    Chapter 24 A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace
  26. Altmetric Badge
    Chapter 25 HSIENA: A Hybrid Publish/Subscribe System
  27. Altmetric Badge
    Chapter 26 WSDM-Enabled Autonomic Augmentation of Classical Multi-version Software Fault-Tolerance Mechanisms
  28. Altmetric Badge
    Chapter 27 Formal Verification of a Safety Argumentation and Application to a Complex UAV System
  29. Altmetric Badge
    Chapter 28 Electronic Reliability Estimation: How Reliable Are the Results?
  30. Altmetric Badge
    Chapter 29 Model-Based Assessment of Multi-region Electric Power Systems Showing Heterogeneous Characteristics
  31. Altmetric Badge
    Chapter 30 Introduction to the ERCIM/EWICS Cyberphysical Systems Workshop 2012
  32. Altmetric Badge
    Chapter 31 The Cyber-Physical Attacker
  33. Altmetric Badge
    Chapter 32 Dependable and Secure Embedded Node Demonstrator
  34. Altmetric Badge
    Chapter 33 Towards Secure Time-Triggered Systems
  35. Altmetric Badge
    Chapter 34 Towards a Framework for Simulation Based Design, Validation and Performance Analysis of Electronic Control Systems
  36. Altmetric Badge
    Chapter 35 Compiling for Time Predictability
  37. Altmetric Badge
    Chapter 36 Towards the Automated Qualification of Tool Chain Design
  38. Altmetric Badge
    Chapter 37 A Systematic Elaboration of Safety Requirements in the Avionic Domain
  39. Altmetric Badge
    Chapter 38 Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems
  40. Altmetric Badge
    Chapter 39 Supporting Assurance by Evidence-Based Argument Services
  41. Altmetric Badge
    Chapter 40 Towards Composable Robotics: The R3-COP Knowledge-Base Driven Technology Platform
  42. Altmetric Badge
    Chapter 41 Addressing the Needs of an Aging Population: An Experiment for Monitoring Behaviour in a Domestic Environment
  43. Altmetric Badge
    Chapter 42 Introduction to IWDE 2012
  44. Altmetric Badge
    Chapter 43 Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems
  45. Altmetric Badge
    Chapter 44 Towards Artificial Perception
  46. Altmetric Badge
    Chapter 45 A Case Study of Radio-Based Monitoring System for Enhanced Safety of Logistics Processes
  47. Altmetric Badge
    Chapter 46 Visual Approach Facilitating the Importance Analysis of Component Fault Trees
  48. Altmetric Badge
    Chapter 47 Simulation of Structural Effects in Embedded Systems and Visualization of Dependencies According to an Intended Attack or Manipulation
  49. Altmetric Badge
    Chapter 48 From Discrete Event Simulation to Virtual Reality Environments
  50. Altmetric Badge
    Chapter 49 Program Comprehension in Preprocessor-Based Software
Attention for Chapter 2: AdvoCATE: An Assurance Case Automation Toolset
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
40 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.
Chapter title
AdvoCATE: An Assurance Case Automation Toolset
Chapter number 2
Book title
Computer Safety, Reliability, and Security
Published by
Springer, Berlin, Heidelberg, September 2012
DOI 10.1007/978-3-642-33675-1_2
Book ISBNs
978-3-64-233674-4, 978-3-64-233675-1
Authors

Ewen Denney, Ganesh Pai, Josef Pohl

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 1 3%
United States 1 3%
Italy 1 3%
Unknown 37 93%

Demographic breakdown

Readers by professional status Count As %
Researcher 11 28%
Student > Ph. D. Student 11 28%
Student > Master 6 15%
Other 5 13%
Professor > Associate Professor 3 8%
Other 2 5%
Unknown 2 5%
Readers by discipline Count As %
Computer Science 24 60%
Engineering 9 23%
Nursing and Health Professions 1 3%
Social Sciences 1 3%
Design 1 3%
Other 0 0%
Unknown 4 10%