Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Building a platform for deductive safety analysis of embedded systems

: Becker, Franz
: Liggesmeyer, Peter; Rombach, H. Dieter

Kaiserslautern, 2009, 80 S.
Kaiserslautern, TU, Bachelor Thesis, 2009
Bachelor Thesis
Fraunhofer IESE ()
embedded system; safety analysis

A widespread technique to assess component and system safety is Fault Tree Analysis (FTA). Based on the failure behavior model, represented by a Fault Tree, and after the assignment of precise probabilities to lower-level failures, the probability of resulting failures can be calculated. Often, FTA is employed after the fact, that is, at the end of the design or development process, for certication purposes only. It is, however, desirable to shift the application of FTA towards early design phases to be able to guide design decisions by quantitative FTA results and to increase the likelihood of fullling the safety goals. In this case, there are two issues to be handled: (1) At the beginning of the design phase, concrete failure probabilities will be unknown; (2) it is of interest to know how reliable components have to be in order to distribute the available effort. Based upon a recently proposed solution to these issues, this thesis describes the design and implementation of an extensible platform for the realization and integration of the proposed method, and to be able to experiment with variants of it. The developed platform is highly generic; algorithms and presentations for their results can be plugged in with little effort and their development is supported by abstract data models. Both, algorithms and presentations, are managed centrally, enabling algorithms to request subcomputations to be performed by other algorithms.