Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Model-Based Reliability and Safety: Reducing the Complexity of Safety
  Analyses Using Component Fault Trees   The importance of mission or safety critical software systems in many
application domains of embedded systems is continuously growing, and so is the
effort and complexity for reliability and safety analysis. Model driven
development is currently one of the key approaches to cope with increasing
development complexity, in general. Applying similar concepts to reliability,
availability, maintainability and safety (RAMS) analysis activities is a
promising approach to extend the advantages of model driven development to
safety engineering activities aiming at a reduction of development costs, a
higher product quality and a shorter time-to-market. Nevertheless, many
model-based safety or reliability engineering approaches aim at reducing the
analysis complexity but applications or case studies are rare. Therefore we
present here a large scale industrial case study which shows the benefits of
the application of component fault trees when it comes to complex safety
mechanisms. We compare the methodology of component fault trees against classic
fault trees and summarize benefits and drawbacks of both modeling
methodologies.

9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom