↓ Skip to main content

Model-Based Safety and Assessment

Overview of attention for book
Cover of 'Model-Based Safety and Assessment'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques
  3. Altmetric Badge
    Chapter 2 Handling Consistency Between Safety and System Models
  4. Altmetric Badge
    Chapter 3 Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts
  5. Altmetric Badge
    Chapter 4 Model-Connected Safety Cases
  6. Altmetric Badge
    Chapter 5 Performing Safety Analyses with AADL and AltaRica
  7. Altmetric Badge
    Chapter 6 Safety Analysis of a Data Center’s Electrical System Using Production Trees
  8. Altmetric Badge
    Chapter 7 Architectural Modeling and Analysis for Safety Engineering
  9. Altmetric Badge
    Chapter 8 Invariant Management in the Presence of Failures
  10. Altmetric Badge
    Chapter 9 SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems
  11. Altmetric Badge
    Chapter 10 A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica
  12. Altmetric Badge
    Chapter 11 A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies
  13. Altmetric Badge
    Chapter 12 A Fault Diagnostic Tool Based on a First Principle Model Simulator
  14. Altmetric Badge
    Chapter 13 Learning-Based Testing for Safety Critical Automotive Applications
  15. Altmetric Badge
    Chapter 14 Verification of Component Fault Trees Using Error Effect Simulations
  16. Altmetric Badge
    Chapter 15 A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems
  17. Altmetric Badge
    Chapter 16 Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems
  18. Altmetric Badge
    Chapter 17 Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study
Attention for Chapter 15: A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems
Altmetric Badge

Mentioned by

twitter
3 X users
facebook
1 Facebook page
googleplus
1 Google+ user

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
23 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
A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems
Chapter number 15
Book title
Model-Based Safety and Assessment
Published by
Springer, Cham, September 2017
DOI 10.1007/978-3-319-64119-5_15
Book ISBNs
978-3-31-964118-8, 978-3-31-964119-5
Authors

DeJiu Chen, Zhonghai Lu

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 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 23 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 23 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 17%
Professor > Associate Professor 4 17%
Student > Master 4 17%
Student > Postgraduate 3 13%
Lecturer 2 9%
Other 3 13%
Unknown 3 13%
Readers by discipline Count As %
Computer Science 13 57%
Engineering 5 22%
Mathematics 1 4%
Unknown 4 17%