Model-based safety assessment with SysML and component fault trees: application and lessons learned

No abstract is available for this paper.

• Publication year

  2020

• Venue

  Journal of Software and Systems Modeling

• Publication date

  2020-02-26

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/s10270-020-00782-w
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees

  2021cited by this paper
• A Domain Specific Language to Support HAZOP Studies of SysML Models

  2019cited by this paper
• Using Language Workbenches and Domain-Specific Languages for Safety-critical Software Development

  2019cited by this paper
• A SysML Profile for Fault Trees - Linking Safety Models to System Design

  2019cited by this paper
• Compositionality of Component Fault Trees

  2019cited by this paper
• Advances in component fault trees

  2018influential reference
• Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees

  2018cited by this paper
• Application of Functional Safety in Autonomous Vehicles Using ISO 26262 Standard: A Survey

  2018cited by this paper
• Combination of Component Fault Trees and Markov Chains to Analyze Complex, Software-Controlled Systems

  2018cited by this paper
• Using language workbenches and domain-specific languages for safety-critical software development

  2018cited by this paper
• Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis

  2018cited by this paper
• Integrating Safety and Reliability Analysis into MBSE: overview of the new proposed OMG standard

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

  2018cited by this paper
• A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies

  2017cited by this paper
• Topology-based Safety Analysis for Safety Critical CPS

  2016cited by this paper
• Application of the D3H2 Methodology for the Cost-Effective Design of Dependable Systems

  2016cited by this paper
• Uncovering Dynamic Fault Trees

  2016cited by this paper
• Dependability Challenges in the Model-Driven Engineering of Automotive Systems

  2016cited by this paper
• Model-based System Engineering for Fault Tree Generation and Analysis

  2016cited by this paper
• Recent Advances in Evolutionary Multi-objective Optimization

  2016cited by this paper
• Model-based dependability analysis

  2016cited by this paper
• ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures

  2015cited by this paper
• BDD algorithms based on modularization for fault tree analysis

  2015cited by this paper
• SysML extensions for safety-critical mechatronic systems design

  2015cited by this paper
• Automatic fault tree generation from SysML system models

  2014cited by this paper
• Model transformation for multi-objective architecture optimisation for dependable systems

  2014cited by this paper
• Supporting Diverse Notations in MPS' Projectional Editor

  2014cited by this paper
• Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

  2014cited by this paper
• Automatic optimisation of system architectures using EAST-ADL

  2013cited by this paper
• Model-Based Design of Dependable Systems: Limitations and Evolution of Analysis and Verification Approaches

  2013cited by this paper
• Embedded Real-Time Systems

  2012cited by this paper
• Automatic SysML-based safety analysis

  2012cited by this paper
• Model-based safety assessment: Review of the discipline and its challenges

  2011cited by this paper
• Engineering failure analysis and design optimisation with HiP-HOPS

  2011cited by this paper
• Integration of Component Fault Trees into the UML

  2010cited by this paper
• Automatic allocation of safety integrity levels

  2010influential reference
• Semi-Automatic FMEA Supporting Complex Systems with Combinations and Sequences of Failures

  2009cited by this paper
• MD* Best Practices

  2009cited by this paper
• Integrating Safety Analyses and Component-Based Design

  2008influential reference
• State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems

  2007cited by this paper
• State/event fault trees - A safety analysis model for software-controlled systems

  2007cited by this paper
• がん化学療法における医療過誤予防へのFailure Mode and Effects Analysis (FMEA) の応用

  2006cited by this paper
• Fault Tree Analysis

  2006cited by this paper
• Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf

  2004cited by this paper
• A New Component Concept for Fault Trees

  2003cited by this paper
• Hierarchically Performed Hazard Origin and Propagation Studies

  1999cited by this paper
• Why looking isn't always seeing: readership skills and graphical programming

  1995cited by this paper
• 応用 (Application) について

  1981cited by this paper

• Safety behavior abstraction and model evolution in autonomous driving

  2025cites this paper
• Quantitative failure analysis for IoT systems: an integrated model-based framework

  2025cites this paper
• Model-Based Failure Propagation Analysis and Automated Fault Tree Generation: Methodology and Application in Complex Avionics System

  2025cites this paper
• Dual-Loop Integration Framework for Model-Based System Design and Reliability Analysis Using Bayesian Networks

  2025cites this paper
• Enhancing Agile Development Programs With Model-Based Systems Engineering for Efficient Status Metrics Generation

  2025cites this paper
• SREQ: A Structured Approach to Safety Requirements Modeling for ADS under ISO 26262

  2025cites this paper
• Successfully Integrating Early Validation and Verification in Industrial MBSE

  2025cites this paper
• Defining and characterizing model-based safety assessment: A review

  2024cites this paper
• Architectural Assurance of AI-Based Driving Functions in Software-Defined Vehicles

  2024cites this paper
• Research on Modeling Method of Testability Design Based on Static Automatic Fault Tree

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

  2024cites this paper
• SIAF: Systematic Interference Analysis Framework for Household Microprocessor Services

  2024cites this paper
• SMOKE: Simulink Model Obfuscator Keeping Structure

  2024cites this paper
• ADSA – Association-Driven Safety Analysis to Expose Unknown Safety Issues

  2024cites this paper
• The Universal Safety Format in Action: Tool Integration and Practical Application

  2023influential citation
• Cybersecurity Status Assessment of Cloud Manufacturing Systems Based on Semiquantitative Information

  2023cites this paper
• Universal Safety Format: Automated Safety Software Generation

  2022influential citation
• The Challenges of Coupling Digital-Twins with Multiple Classes of Faults

  2022cites this paper
• Application of the Methodology of Multi-Valued Logic Trees with Weighting Factors in the Optimization of a Proportional Valve

  2022cites this paper
• Challenges in the Co-assurance of Functional Safety and Cybersecurity in Industry 4.0

  2022cites this paper
• Towards the adoption of model based system safety engineering in the automotive industry

  2022cites this paper
• Integration of systems design and risk management through model‐based systems development

  2022cites this paper
• A Model for the Safety Risk Evaluation of Connected Car Network

  2022cites this paper
• Automatic Generation of Event Trees and Fault Trees: A Model-Based Approach

  2022cites this paper
• Model-based assurance evidence management for safety–critical systems

  2022cites this paper
• Integrated Design Framework of Product General Quality Characteristics and Functional Characteristics

  2021cites this paper
• Finite-state machine method in the safety assessment process using Stateflow diagrams

  2021cites this paper
• A variability modeling and transformation approach for safety-critical systems

  2021cites this paper
• SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems

  2021cites this paper
• FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems

  2021cites this paper
• System Modes - Digestible System (Re-)Configuration for Robotics

  2021cites this paper
• Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings

  2020cites this paper
• Counterexample Interpretation for Contract-Based Design

  2020cites this paper