↓ 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 Reliability Analysis of Safety-Related Communication Architectures
  3. Altmetric Badge
    Chapter 2 A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children
  4. Altmetric Badge
    Chapter 3 Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees
  5. Altmetric Badge
    Chapter 4 QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams
  6. Altmetric Badge
    Chapter 5 Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain
  7. Altmetric Badge
    Chapter 6 Deriving Safety Cases for Hierarchical Structure in Model-Based Development
  8. Altmetric Badge
    Chapter 7 Assurance of Automotive Safety – A Safety Case Approach
  9. Altmetric Badge
    Chapter 8 How to “Survive” a Safety Case According to ISO 26262
  10. Altmetric Badge
    Chapter 9 Benchmarking Software Requirements Documentation for Space Application
  11. Altmetric Badge
    Chapter 10 Verifying Mode Consistency for On-Board Satellite Software
  12. Altmetric Badge
    Chapter 11 Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace
  13. Altmetric Badge
    Chapter 12 Residual Error Probability of Embedded CRC by Stochastic Automata
  14. Altmetric Badge
    Chapter 13 ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software
  15. Altmetric Badge
    Chapter 14 Field Test Methods for a Co-operative Integrated Traffic Management System
  16. Altmetric Badge
    Chapter 15 100% Coverage for Safety-Critical Software – Efficient Testing by Static Analysis
  17. Altmetric Badge
    Chapter 16 MODIFI: A MODel-Implemented Fault Injection Tool
  18. Altmetric Badge
    Chapter 17 Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram
  19. Altmetric Badge
    Chapter 18 Computer Safety, Reliability, and Security
  20. Altmetric Badge
    Chapter 19 Software Testing by People with Autism
  21. Altmetric Badge
    Chapter 20 Information Flow Analysis of Energy Management in a Smart Grid
  22. Altmetric Badge
    Chapter 21 Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid
  23. Altmetric Badge
    Chapter 22 A Metric for Measuring the Strength of Inter-dependencies
  24. Altmetric Badge
    Chapter 23 Security Analysis of Open Building Automation Systems
  25. Altmetric Badge
    Chapter 24 A UML Profile for Requirements Analysis of Dependable Software
  26. Altmetric Badge
    Chapter 25 Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2
  27. Altmetric Badge
    Chapter 26 Experiences in Applying Formal Verification in Robotics
  28. Altmetric Badge
    Chapter 27 Evolving a Safe System Design Iteratively
  29. Altmetric Badge
    Chapter 28 An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems
  30. Altmetric Badge
    Chapter 29 Development of High-Integrity Software Product Lines Using Model Transformation
  31. Altmetric Badge
    Chapter 30 On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications
  32. Altmetric Badge
    Chapter 31 The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs
  33. Altmetric Badge
    Chapter 32 INDEXYS, a Logical Step beyond GENESYS
  34. Altmetric Badge
    Chapter 33 Integrating System Modelling with Safety Activities
  35. Altmetric Badge
    Chapter 34 Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead
  36. Altmetric Badge
    Chapter 35 System of Systems Challenges
  37. Altmetric Badge
    Chapter 36 Murphy Was an Optimist
  38. Altmetric Badge
    Chapter 37 Process Control Security: Go Dutch! (United, Shared, Lean and Mean)
Attention for Chapter 27: Evolving a Safe System Design Iteratively
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
19 Mendeley
citeulike
1 CiteULike
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
Evolving a Safe System Design Iteratively
Chapter number 27
Book title
Computer Safety, Reliability, and Security
Published by
Springer, Berlin, Heidelberg, September 2010
DOI 10.1007/978-3-642-15651-9_27
Book ISBNs
978-3-64-215650-2, 978-3-64-215651-9
Authors

Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe Ferri, Edson Watanabe

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United Kingdom 1 5%
Denmark 1 5%
Unknown 17 89%

Demographic breakdown

Readers by professional status Count As %
Researcher 6 32%
Student > Master 4 21%
Student > Ph. D. Student 3 16%
Student > Doctoral Student 2 11%
Other 1 5%
Other 2 11%
Unknown 1 5%
Readers by discipline Count As %
Computer Science 15 79%
Engineering 3 16%
Unknown 1 5%