Power-hierarchy of dependability-model types

No abstract is available for this paper.

• Publication year

  1994

• Venue

  IEEE Transactions on Reliability

• Publication date

  1994-09-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/24.326452
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY

  1995cited by this paper
• Markov Regenerative Stochastic Petri Nets

  1994cited by this paper
• Reliability and Performability Techniques and Tools: A Survey

  1993cited by this paper
• A software tool for learning about stochastic models

  1993cited by this paper
• Dynamic fault-tree models for fault-tolerant computer systems

  1992cited by this paper
• Reliability modeling: an overview for system designers

  1991cited by this paper
• The use of Petri nets to analyze coherent fault trees

  1988cited by this paper
• Survey of software tools for evaluating reliability, availability, and serviceability

  1988cited by this paper
• The Combinatorics of Network Reliability

  1987cited by this paper
• The hybrid automated reliability predictor

  1986cited by this paper
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

  1984cited by this paper
• A Unified Approach to Path Problems

  1981cited by this paper
• Theory and Design of Switching Circuits

  1978cited by this paper
• Network Approaches to Finding the Reliability of Repairable Systems

  1970cited by this paper
• The Equivalence of Reliability Diagrams and Fault-Tree Analysis

  1970cited by this paper
• Finding the MTBF of repairable systems by reduction of the reliability block diagram

  1967cited by this paper

• Joint Security and Dependability Modeling: An Updated Overview

  2025cites this paper
• Reliability and Availability Analysis in Practice: Toward Multilevel Models for Complex Systems

  2024cites this paper
• A Generalized Stochastic Petri Net for Survivability and Security Analysis of Intelligent Transportation Systems

  2024cites this paper
• Dependability Analysis of a System Using State-Space Modeling Techniques: A Systematic Review

  2023cites this paper
• Inferring Emotional Models from Human-Machine Speech Interactions

  2023cites this paper
• System reliability evaluation and dynamic optimization based on an improved reliability block diagram

  2023cites this paper
• Performance and availability evaluation of the blockchain platform hyperledger fabric

  2022cites this paper
• Modeling and Provisioning Highly Available NFV Services

  2022cites this paper
• Analysis of Safety-Critical Cloud Architectures with Multi-Trajectory Simulation

  2022cites this paper
• Runtime Reliability Monitoring for Complex Fault-Tolerance Policies

  2022influential citation
• A survey on reliability and availability modeling of edge, fog, and cloud computing

  2021cites this paper
• An Efficient Library for Reliability Block Diagram Evaluation

  2021cites this paper
• Distributed application provisioning over Ethereum-based private and permissioned blockchain: availability modeling, capacity, and costs planning

  2021cites this paper
• Failure Rate and Economic Cost Analysis of Clamped-Single Submodule with DC Short Current Protection for High Voltage Direct Current System

  2021cites this paper
• A model-based approach for planning blockchain service provisioning

  2021cites this paper
• Bottleneck Detection in Cloud Computing Performance and Dependability: Sensitivity Rankings for Hierarchical Models

  2020cites this paper
• Reliability and Availability Analysis in Practice

  2020cites this paper
• Optimizing the Cloud Data Center Availability Empowered by Surrogate Models

  2020cites this paper
• Quantitative Analysis of the Dynamic Relevance of Systems

  2020cites this paper
• Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload

  2020cites this paper
• An Object-Oriented Modelling Framework for Probabilistic Risk and Performance Assessment of Complex Systems

  2020cites this paper
• Reliability Analysis of Dragline Using Equivalent Aging Model

  2020cites this paper
• Models to evaluate service Provisioning over Cloud Computing Environments - A Blockchain-As-A-Service case study

  2019cites this paper
• Reliability and Availability Evaluation for Cloud Data Center Networks Using Hierarchical Models

  2019cites this paper
• Mathematical Models for Air Traffic Conflict and Collision Probability Estimation

  2019influential citation
• Impact of condition based maintenance policies on the service level of multi-stage manufacturing systems

  2018cites this paper
• Contribution to study of the dependability of a drinking water system

  2018cites this paper
• Dependability Evaluation of a Blockchain-as-a-Service Environment

  2018cites this paper
• Artificial Intelligence Computational Basic Models and Analysis for Power Delivery Safety and Efficiency Evaluation

  2018cites this paper
• Application of a PHM-based reliability prediction for an UAV’s control surface actuation system

  2018cites this paper
• Availability models for hyper-converged cloud computing infrastructures

  2018cites this paper
• A performability model for the BRT system

  2018cites this paper
• The use of PHM for a dynamic reliability assessment

  2018cites this paper
• Models for availability and power consumption evaluation of a private cloud with VMM rejuvenation enabled by VM Live Migration

  2018cites this paper
• Capacity-Oriented Availability Model for Resources Estimation on Private Cloud Infrastructure

  2017cites this paper
• Highly Available Clouds: System Modeling, Evaluations, and Open Challenges

  2017cites this paper
• Dependability Stress Testing of Cloud Infrastructures

  2017cites this paper
• Synchronization server infrastructure: A relationship between system downtime and deployment cost

  2017cites this paper
• Cyberphysical Security and Dependability Analysis of Digital Control Systems in Nuclear Power Plants

  2016cites this paper
• Hierarchical Model and Sensitivity Analysis for a Cloud-Based VoD Streaming Service

  2016cites this paper
• Assuring Functional Safety in Open Systems of Systems

  2016cites this paper
• A hazard analysis via an improved timed colored petri net with time-space coupling safety constraint

  2016cites this paper
• Discrete and continuous reliability models for systems with identically distributed correlated components

  2015cites this paper
• Assessment of Bus Rapid Transit (BRT) Time Lags under Probabilistic Uncertainties

  2015cites this paper
• A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems

  2015cites this paper
• Availability Evaluation of a VoD Streaming Cloud Service

  2015cites this paper
• Dependability and Resource Optimation Analysis for Smart Grid Communication Networks

  2014cites this paper
• Availability modeling and analysis of a VoD service for eucalyptus platform

  2014cites this paper
• Rejoinder to reviewers’ comments on ‘system availability assessment using stochastic models’

  2013cites this paper
• System availability assessment using stochastic models

  2013cites this paper
• Models for Dependability Analysis of Cloud Computing Architectures for Eucalyptus Platform

  2013cites this paper
• Combined Fuzzy-Petri nets hybrid model for power system performability analysis

  2013cites this paper
• A Methodology and Framework for Model-Driven Dependability Analysis of Critical Embedded Systems and Directions Towards Systems of Systems

  2013cites this paper
• Availability assessment of a reverse osmosis plant: Comparison between Reliability Block Diagram and Fault Tree Analysis Methods

  2013cites this paper
• Fehlerbaumanalyse (Fault Tree Analysis – FTA)

  2013cites this paper
• Availability and Energy Consumption Analysis of Mobile Cloud Environments

  2013cites this paper
• Modelos para Análise de Dependabilidade de Arquiteturas de Computação em Nuvem

  2013cites this paper
• An availability model for eucalyptus platform: An analysis of warm-standy replication mechanism

  2012cites this paper
• Combining Performance and Availability Analysis in Practice

  2012cites this paper
• Establishing Confidence in Safety Assessment Evidence

  2012influential citation
• Reliability modeling of cyber-physical electric power systems: A system-theoretic framework

  2012cites this paper
• Dependable design of All Electric Ships Integrated Power System: Guidelines for system decomposition and analysis

  2012cites this paper
• Reliability block diagram with general gates and its application to system reliability analysis

  2011cites this paper
• Algebraic determination of the structure function of Dynamic Fault Trees

  2011cites this paper
• Simulation Modelling In a Availability Thermal Power Plant

  2011cites this paper
• Formal Modeling Techniques for Ambient Assisted Living

  2011cites this paper
• Dynamic fault trees resolution: A conscious trade-off between analytical and simulative approaches

  2011cites this paper
• Conception sûre des systèmes mécatroniques intelligents pour des applications critiques

  2011cites this paper
• Dynamic Aspects and Behaviors in System Reliability Evaluation

  2011cites this paper
• A quantitative approach to run-time monitoring of Markovian concurrent systems

  2011influential citation
• Hybrid State Petri Nets which Have the Analysis Power of Stochastic Hybrid Systems and the Formal Verification Power of Automata

  2010cites this paper
• Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events

  2010cites this paper
• Dependability and performability modeling of voice and data networks

  2010cites this paper
• Quantitative analysis of performability in voice and data networks

  2010cites this paper
• Failure logic modelling : a pragmatic approach

  2010cites this paper
• Reasoning about Reliability and Cost using Decision Diagrams and Syntax Trees

  2010cites this paper
• Multicriteria Reasoning Considering Reliability or Availability

  2010cites this paper
• A structured approach to selecting and justifying software safety evidence

  2010cites this paper
• Une approche harmonisée pour l'évaluation de la sécurité des systèmes ferroviaires : de la décomposition fonctionnelle au modèle comportemental. (A harmonized approach for safety assessment in railways : from a functional decomposition to a behavioral model)

  2010cites this paper
• Quality and Reliability Assurance During the Production Phase (Basic Considerations)

  2010cites this paper
• Stochastic Hybrid System Modeling, Bisimulation and Safety Verification of Airborne Self Separation

  2010cites this paper
• Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis

  2010cites this paper
• Compositional modelling using Petri nets with the analysis power of stochastic hybrid processes

  2010cites this paper
• Detecting Chains of Vulnerabilities in Industrial Networks

  2009cites this paper
• Stochastic Fault Trees for cross-layer power management of WSN monitoring systems

  2009cites this paper
• Simulation modeling and analysis of a complex system of a thermal power plant

  2009cites this paper
• Resiliency Assessment of Wireless Sensor Networks: a Holistic Approach

  2009cites this paper
• An integrated methodology for the dynamic performance and reliability evaluation of fault-tolerant systems

  2008cites this paper
• Enhancing hybrid state Petri nets with the analysis power of stochastic hybrid processes

  2008cites this paper
• Availability analysis of blade server systems

  2008cites this paper
• Stochastic modeling techniques for the dependability analysis of DES

  2008cites this paper
• Adjoint Sensitivity Analysis of Dynamic Reliability Models Based on Markov Chains—I: Theory

  2008cites this paper
• Three reliability engineering techniques and their application to evaluating the availability of IT systems: An introduction

  2008cites this paper
• A Tool Supporting Evaluation of Non-markovian Fault Trees

  2008cites this paper
• Fault Tree Analysis, FTA

  2008cites this paper
• On the analysis of vulnerability chains in industrial networks

  2008cites this paper
• Reliability Analysis Techniques Explored Through aCommunication Network

  2007cites this paper
• Resilience-Building Technologies: State of Knowledge -- ReSIST NoE Deliverable D12

  2007cites this paper
• Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems

  2007cites this paper
• An integrated methodology for the performance and reliability evaluation of fault-tolerant systems

  2007cites this paper