Hierarchically Performed Hazard Origin and Propagation Studies

No abstract is available for this paper.

• Publication year

  1999

• Venue

  International Conference on Computer Safety, Reliability, and Security

• Publication date

  1999-09-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/3-540-48249-0_13
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Real-time systems

  2011cited by this paper
• Extension of hazard and safety analysis techniques to address problems of hierarchical scale

  1998cited by this paper
• TTP - A Protocol for Fault-Tolerant Real-Time Systems

  1994cited by this paper
• Support for safety cases and safety arguments using SAM

  1994cited by this paper
• Towards integrated safety analysis and design

  1994cited by this paper
• Fault Tree Handbook

  1987cited by this paper

• Fault Tree Synthesis from Knowledge Graphs

  2025cites this paper
• Enabling Automated Fault Tree Assessment to Support Aircraft Systems Architecting in Early Design Phases

  2025influential citation
• Model‐based systems engineering and safety assessment: A workflow for mechatronic systems design

  2024cites this paper
• Enhancing Safety in IoT Systems: A Model-Based Assessment of a Smart Irrigation System Using Fault Tree Analysis

  2024cites this paper
• Health state monitoring and predicting of proton exchange membrane fuel cells: A review

  2024cites this paper
• Automatic safety model synthesis for aircraft conceptual design

  2024cites this paper
• Supporting model-based safety analysis for safety-critical IoT systems

  2024cites this paper
• A Model-Based Approach to Failure Mode and Effect Analysis of an Unmanned Quadrotor

  2024cites this paper
• Simulation-Driven Failure Modes and Effects Analysis of Flight Control System Architectures

  2024cites this paper
• Automated Design Exploration and Dynamic Safety Analysis for Optimization of Mechatronic Systems in Safety-Critical Automotive Applications

  2023cites this paper
• Open Dependability Exchange Metamodel: A Format to Exchange Safety Information

  2023cites this paper
• Data-driven extraction and analysis of repairable fault trees from time series data

  2022cites this paper
• Characterizing the Identity of Model-based Safety Assessment: A Systematic Analysis

  2022cites this paper
• From Function to Failure

  2022cites this paper
• Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study

  2022cites this paper
• A combination method for integrated modular avionics safety analysis

  2022cites this paper
• Investigating the use of a model-based approach to assess automotive embedded software safety

  2022cites this paper
• Control Logic Encoding using RiskSpectrum ModelBuilder

  2022cites this paper
• Security of Railway Control Systems: A Survey, Research Issues and Challenges

  2022cites this paper
• Formalism and semantics of PyCATSHOO: A simulator of distributed stochastic hybrid automata

  2021cites this paper
• A Model-Based Reliability Analysis Method Using Bayesian Network

  2021cites this paper
• Automated Fault Tree Building

  2021cites this paper
• Industry 4.0 Asset-based Risk Mitigation for Production Operation

  2021cites this paper
• Efficient SMT-Based Analysis of Failure Propagation

  2021cites this paper
• Data-Driven Modelling Of Repairable Fault Trees From Time Series Data With Missing Information

  2021cites this paper
• Model-based safety assessment for conceptual aircraft systems design

  2021cites this paper
• A Combinatorial Safety Analysis of Cruise Ship Diesel–Electric Propulsion Plant Blackout

  2021cites this paper
• INSiDER: Incorporation of system and safety analysis models using a dedicated reference model

  2021cites this paper
• Model-based safety assessment for conceptual aircraft systems design

  2021cites this paper
• Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots

  2020cites this paper
• Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

  2020cites this paper
• Reasoning with failures

  2020cites this paper
• Model Based Safety Analysis (MBSA) Tool for Avionics Systems Evaluation

  2020cites this paper
• A Dynamic Fault Tree Based CBTC Onboard ATP System Safety Analysis Method*

  2020influential citation
• Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings

  2020cites this paper
• Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method

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

  2020influential citation
• A Novel Application Approach for Anomaly Detection and Fault Determination Process based on Machine Learning

  2020cites this paper
• Model-based safety assessment with SysML and component fault trees: application and lessons learned

  2020cites this paper
• fmdtools: A Fault Propagation Toolkit for Resilience Assessment in Early Design

  2020cites this paper
• Safety and Security Interference Analysis in the Design Stage

  2020cites this paper
• System Modeling and Fault Tree Analysis Based on AltaRica

  2020cites this paper
• Automatic Fault Tree Generation from Radiation-Induced Fault Models

  2020cites this paper
• A Method to Support the Accountability of Safety Cases by Integrating Safety Analysis and Model-Based Design

  2020cites this paper
• Prise en compte de la sûreté de fonctionnement lors du choix d’architectures des systèmes complexes

  2020cites this paper
• Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling

  2020cites this paper
• Model-based Risk Analysis for an Open-Source PCA Pump using the AADL Error Modeling Annex

  2020cites this paper
• An open modelling approach for availability and reliability of systems

  2019cites this paper
• Model transformation for analyzing dependability of AADL model by using HiP-HOPS

  2019cites this paper
• Extending the Shell Model via Cause/Consequence Analysis of Component Failures

  2019cites this paper
• Digital Dependability Identities and the Open Dependability Exchange Meta-Model

  2019cites this paper
• A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS

  2019cites this paper
• Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review

  2019cites this paper
• SafeDeML: On Integrating the Safety Design into the System Model

  2019cites this paper
• Failure Mode Reasoning

  2019cites this paper
• Validation of decision logic of an autoland system for a UAV using model-based safety-assessment techniques

  2019cites this paper
• Fuel Cell Performance Prediction Using an AutoRegressive Moving-Average ARMA Model

  2019cites this paper
• Integrating Safety Design Artifacts into System Development Models Using SafeDeML

  2019cites this paper
• Automated Evidence Analysis of Safety Arguments Using Digital Dependability Identities

  2019cites this paper
• Tiered Model-Based Safety Assessment

  2019cites this paper
• A Model-Based Safety Analysis Method for Hybrid Systems Based on Multiple Hazard Factor Categories

  2019cites this paper
• Automated Model-Based Attack Tree Analysis Using HiP-HOPS

  2019cites this paper
• Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees

  2018cites this paper
• Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study

  2018cites this paper
• Fault Trees vs. Component Fault Trees: An Empirical Study

  2018cites this paper
• Quantifying the Resilience-Informed Scenario Cost Sum: A Value-Driven Design Approach for Functional Hazard Assessment

  2018cites this paper
• DATAM: A model‐based tool for dependability analysis

  2018cites this paper
• Evaluation of smartIflow based on the Wheel Brake System from ARP4761

  2018cites this paper
• A Dependability Modeling and Analysis Approach for an IoP-Based Service System

  2018cites this paper
• SafeSysE: A Safety Analysis Integration in Systems Engineering Approach

  2018cites this paper
• INVITED: Semi-Automatic Safety Analysis and Optimization

  2018cites this paper
• ALEBAS: une méthodologie de développement et d'analyse de sûreté de fonctionnement des systèmes embarqués. (ALEBAS: a development and safety analysis methodology of embedded systems)

  2018cites this paper
• Applying Integrated Domain-Specific Modeling for Multi-concerns Development of Complex Systems

  2017cites this paper
• An overview of fault tree analysis and its application in model based dependability analysis

  2017influential citation
• Model Based Safety Analysis with smartIflow †

  2017influential citation
• A tour of secure software engineering solutions for connected vehicles

  2017cites this paper
• An improved formal failure analysis approach for safety-critical system based on MBSA

  2017cites this paper
• A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems

  2017cites this paper
• SYSTEMATIC APPROACH FURTHERING CONFIRMATION MEASURES OF SAFETY CRITICAL AUTOMOTIVE SYSTEMS

  2017cites this paper
• The Determination of Functional Safety Concept coupled with the definition of Logical Architecture: a framework of analysis from the automotive industry

  2017cites this paper
• DEIS: Dependability Engineering Innovation for Cyber-Physical Systems

  2017cites this paper
• A review on prognostics and health monitoring of proton exchange membrane fuel cell

  2017cites this paper
• SMT-based architecture modelling for safety assessment

  2017influential citation
• A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies

  2017cites this paper
• The qSafe Project – Developing a Model-based Tool for Current Practice in Functional Safety Analysis

  2017cites this paper
• Estimating change propagation risk using TRLs and system architecture

  2017cites this paper
• Modeling Patterns for Performance Analysis of Production and Safety Systems in Process Industry. (Modélisation des patterns d'analyse des performances des systèmes de production et de sûreté de fonctionnement dans l'industrie des procédés)

  2017cites this paper
• The qSafe Project - Developing a Tool for Current Practice in Functional Safety Analysis

  2017cites this paper
• A Domain-aware Framework for Integrated Model-based System Analysis and Design

  2017cites this paper
• Synthèse automatique d'architectures tolérantes aux fautes

  2017cites this paper
• Failure Propagation Model Based for System Safety Analysis

  2017cites this paper
• Model-Based Safety Assessment of Industrial Automation Systems using IEC 61499

  2017cites this paper
• Model-Based Safety and Assessment

  2017cites this paper
• Optimisation of Preventive Maintenance Scheduling under Heterogeneous Policy

  2016cites this paper
• A linear scaling change impact analysis based on a formal safety model for automotive embedded systems

  2016cites this paper
• A synthesis of logic and bio-inspired techniques in the design of dependable systems

  2016cites this paper
• Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice

  2016cites this paper
• Proceedings on the 1st Workshop on Agile Methods Applied to Development and Certification of Safety-critical Software

  2016cites this paper
• A fault propagation modeling and analysis method based on model checking

  2016cites this paper
• Model-based dependability analysis

  2016cites this paper