↓ Skip to main content
What is this page? Embed badge

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 Analysing the Safety of Decision-Making in Autonomous Systems
  3. Altmetric Badge
    Chapter 2 BayesianSafety - An Open-Source Package for Causality-Guided, Multi-model Safety Analysis
  4. Altmetric Badge
    Chapter 3 Safety Certification with the Open Source Microkernel-Based Operating System L4Re
  5. Altmetric Badge
    Chapter 4 Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization
  6. Altmetric Badge
    Chapter 5 ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks
  7. Altmetric Badge
    Chapter 6 Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems
  8. Altmetric Badge
    Chapter 7 Generating Assurance Cases Using Workflow $$^+$$ + Models
  9. Altmetric Badge
    Chapter 8 Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases
  10. Altmetric Badge
    Chapter 9 Impact of Machine Learning on Safety Monitors
  11. Altmetric Badge
    Chapter 10 Comprehensive Analysis of Software-Based Fault Tolerance with Arithmetic Coding for Performant Encoding of Integer Calculations
  12. Altmetric Badge
    Chapter 11 STPA-Driven Multilevel Runtime Monitoring for In-Time Hazard Detection
  13. Altmetric Badge
    Chapter 12 Proposal of Cybersecurity and Safety Co-engineering Approaches on Cyber-Physical Systems
  14. Altmetric Badge
    Chapter 13 On the Feasibility and Performance of Secure OPC UA Communication with IIoT Devices
  15. Altmetric Badge
    Chapter 14 SailFAIL : Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms
  16. Altmetric Badge
    Chapter 15 Quality of Fault Injection Strategies on Hardware Accelerator
  17. Altmetric Badge
    Chapter 16 Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate
  18. Altmetric Badge
    Chapter 17 ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation
  19. Altmetric Badge
    Chapter 18 Formally Compensating Performance Limitations for Imprecise 2D Object Detection
  20. Altmetric Badge
    Chapter 19 Architectural Patterns for Handling Runtime Uncertainty of Data-Driven Models in Safety-Critical Perception
  21. Altmetric Badge
    Chapter 20 Hardware Faults that Matter: Understanding and Estimating the Safety Impact of Hardware Faults on Object Detection DNNs
  22. Altmetric Badge
    Chapter 21 Application of STPA for the Elicitation of Safety Requirements for a Machine Learning-Based Perception Component in Automotive
  23. Altmetric Badge
    Chapter 22 Exploring a Maximal Number of Relevant Obstacles for Testing UAVs
  24. Altmetric Badge
    Chapter 23 Data-Driven Assessment of Parameterized Scenarios for Autonomous Vehicles
  25. Altmetric Badge
    Chapter 24 Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components
Attention for Chapter 5: ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks
Chapter number 5
Book title
Computer Safety, Reliability, and Security
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-14835-4_5
Book ISBNs
978-3-03-114834-7, 978-3-03-114835-4
Authors

Oh, Chanwook, Naik, Nikhil, Daw, Zamira, Wang, Timothy E., Nuzzo, Pierluigi

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.