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

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 6: Safety Analysis of a Data Center’s Electrical System Using Production Trees
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
3 Mendeley
Summary Dimensions citations
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
Safety Analysis of a Data Center’s Electrical System Using Production Trees
Chapter number 6
Book title
Model-Based Safety and Assessment
Published by
Springer, Cham, September 2017
DOI 10.1007/978-3-319-64119-5_6
Book ISBNs
978-3-31-964118-8, 978-3-31-964119-5
Authors

Walid Mokhtar Bennaceur, Leïla Kloul, Antoine Rauzy

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 67%
Unknown 1 33%
Readers by discipline Count As %
Computer Science 1 33%
Engineering 1 33%
Unknown 1 33%

This page is provided by Altmetric.