• Corpus ID: 51815432

Methodik zur modellbasierten Zuverlässigkeitsanalyse eines multifunktionalen Brennstoffzellensystems

  title={Methodik zur modellbasierten Zuverlässigkeitsanalyse eines multifunktionalen Brennstoffzellensystems},
  author={Christian Modest and Frank Thielecke},
ZUSAMMENFASSUNG Die vorliegende Veröffentlichung präsentiert eine Methodik zur automatischen Zuverlässigkeitsanalyse anhand des Fallbeispiels „multifunktionales Brennstoffzellensystem“. Im ersten Schritt der Methodik wird ein in MATLAB Simscape implementiertes Modell des Systems um fehlerhaftes Komponentenverhalten erweitert. Anschließend erfolgt durch einen am Institut für Flugzeug-Systemtechnik entwickelten Algorithmus die Identifizierung der Minimalschnitte des Systems bezüglich eines zuvor… 



Ein integriertes Entwurfswerkzeug für Elektrische Bordsysteme

Ein integriertes modellbasiertes Entwurfswerkzeug fur elektrische Bordsysteme, nachfolgend bezeichnet als ENADOT (Electric Network Architecture Design Optimisation Tool), wird in diesem Paper

Safety, Dependability and Performance Analysis of Extended AADL Models

A component-based modelling approach to system-software co-engineering of real-time embedded systems, in particular aerospace systems, centred around the standardized Architecture Analysis and Design Language (AADL) modelling framework is presented.

A Method for Constructing Fault Trees from AADL Models

A whole method for constructing fault trees from AADL models by dynamically tracing the possible fault sources of the specified fault objective, store them into a proposed database structure, and then construct fault trees based on the extracted fault information in the database structure is proposed.

Model-Based Safety Analysis

This report describes Model-Based Safety Analysis, an approach in which the system and safety engineers share a common system model created using a model-based development process that can both reduce the cost and improve the quality of the safety analysis.

Modeling and control of fuel cell systems and fuel processors

MODELING AND CONTROL OF FUEL CELL SYSTEMS AND FUEL PROCESSORS by Jay Tawee Pukrushpan Co-Chairs: Anna Stefanopoulou and Huei Peng Fuel cell systems offer clean and efficient energy production and are

A Model Checker for AADL

We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying safety-critical

Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System

How the Altarica language was used to model a system in the style of the Airbus A320 aircraft family is reported, and how fault tree generation and model-checking can be used separately then combined to assess safety requirements is presented.

Computer-aided Synthesis of Fault-trees

An algorithm is presented for the synthesis of fault-trees which is deduced directly from a digraph (directed graph) model of the system being analyzed, and a computer program which uses this algorithm is illustrated for a chemical processing system.

Failure Mode/Mechanism Distributions

Abstract : The intent of this document is to present failure mode distributions to be used in support of reliability analysis such a FMEAs and FMECAs when used in conjunction with accepted

An automated methodology for generating a fault tree

The author presents an overview of a methodology for the automated generation of fault trees for electrical/electronic circuits from a representation of a schematic diagram. Existing computer