↓ 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 Logic and Epistemology in Safety Cases
  3. Altmetric Badge
    Chapter 2 Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements
  4. Altmetric Badge
    Chapter 3 A Formal Basis for Safety Case Patterns
  5. Altmetric Badge
    Chapter 4 Testing Autonomous Robot Control Software Using Procedural Content Generation
  6. Altmetric Badge
    Chapter 5 Fine-Grained Implementation of Fault Tolerance Mechanisms with AOP: To What Extent?
  7. Altmetric Badge
    Chapter 6 Formalisation of an Industrial Approach to Monitoring Critical Data
  8. Altmetric Badge
    Chapter 7 Protecting Vehicles Against Unauthorised Diagnostics Sessions Using Trusted Third Parties
  9. Altmetric Badge
    Chapter 8 Vulnerability Analysis on Smart Cards Using Fault Tree
  10. Altmetric Badge
    Chapter 9 Does Malware Detection Improve with Diverse AntiVirus Products? An Empirical Study
  11. Altmetric Badge
    Chapter 10 Software Fault-Freeness and Reliability Predictions
  12. Altmetric Badge
    Chapter 11 Does Software Have to Be Ultra Reliable in Safety Critical Systems?
  13. Altmetric Badge
    Chapter 12 The SafeCap Platform for Modelling Railway Safety and Capacity
  14. Altmetric Badge
    Chapter 13 Embedded System Platform for Safety-Critical Road Traffic Signal Applications
  15. Altmetric Badge
    Chapter 14 Low-Level Attacks on Avionics Embedded Systems
  16. Altmetric Badge
    Chapter 15 Safety Cases and Their Role in ISO 26262 Functional Safety Assessment
  17. Altmetric Badge
    Chapter 16 Structuring Safety Requirements in ISO 26262 Using Contract Theory
  18. Altmetric Badge
    Chapter 17 Flexible Unequal Error Control Codes with Selectable Error Detection and Correction Levels
  19. Altmetric Badge
    Chapter 18 Safety Transformations: Sound and Complete?
  20. Altmetric Badge
    Chapter 19 It Is (Almost) All about Human Safety: A Novel Paradigm for Robot Design, Control, and Planning
  21. Altmetric Badge
    Chapter 20 Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study
  22. Altmetric Badge
    Chapter 21 Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS
  23. Altmetric Badge
    Chapter 22 Characterization of Failure Effects on AADL Models
  24. Altmetric Badge
    Chapter 23 Derived Hazard Analysis Method for Critical Infrastructures
  25. Altmetric Badge
    Chapter 24 A Study of the Impact of Single Bit-Flip and Double Bit-Flip Errors on Program Execution
  26. Altmetric Badge
    Chapter 25 OpenMADS: An Open Source Tool for Modeling and Analysis of Distributed Systems
  27. Altmetric Badge
    Chapter 26 A Controlled Experiment on Component Fault Trees
  28. Altmetric Badge
    Chapter 27 DFTCalc: A Tool for Efficient Fault Tree Analysis
Attention for Chapter 4: Testing Autonomous Robot Control Software Using Procedural Content Generation
Altmetric Badge

Mentioned by

patent
2 patents

Readers on

mendeley
35 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
Testing Autonomous Robot Control Software Using Procedural Content Generation
Chapter number 4
Book title
Computer Safety, Reliability, and Security
Published by
Springer, Berlin, Heidelberg, September 2013
DOI 10.1007/978-3-642-40793-2_4
Book ISBNs
978-3-64-240792-5, 978-3-64-240793-2
Authors

James Arnold, Rob Alexander, Arnold, James, Alexander, Rob

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 1 3%
Brazil 1 3%
Unknown 33 94%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 6 17%
Student > Master 5 14%
Student > Bachelor 4 11%
Researcher 4 11%
Other 3 9%
Other 4 11%
Unknown 9 26%
Readers by discipline Count As %
Computer Science 19 54%
Engineering 5 14%
Design 1 3%
Unknown 10 29%