Datenbestand vom 14. Januar 2019
Tel: 089 / 66060798
Mo - Fr, 9 - 12 Uhr
Fax: 089 / 66060799
aktualisiert am 14. Januar 2019
978-3-8439-0342-4, Reihe Informatik
Integrating Fault Tree Analysis and Component-Oriented Model-Based Design of Embedded Systems
317 Seiten, Dissertation Technische Universität Kaiserslautern (2012), Hardcover, A5
In this thesis, an approach is developed that integrates safety analysis models and component-oriented design models in order to support the development of safe complex systems through safety analyses. For the safe development of safety-critical embedded systems, it is not sufficient to consider safety only at the end of the development process, but it is necessary to assess safety continuously during the entire process. For many years, safety analyses such as FMEA and FTA have been applied for hardware. For embedded systems, many adaptations have also been developed, such as FPTN, HiP-HOPS, DFTs, CFTs, SEFTs, or BFA. However, none of these approaches is able to handle the complexity and reduce the effort in such a way that safety analyses can be really applied as an integrated part of the system design with justifiable effort.
To achieve this aim, the approach that is developed in this thesis integrates safety analyses into a component-oriented model-based architectural design process and into its models. In this way, safety analyses are performed in a modular way and as part of the development on each hierarchy level of the architecture and become manageable. At the same time, the separation of the component model into specification and realization supports the safety engineer in focusing only on the current hierarchy level and to abstract from the details of the levels below and above. Additionally, inner details and information are hidden and intellectual property is protected, which supports the application of safety analyses in distributed development. Through the modularity of the safety analyses and the integration into design models, the safety analyses also become reusable.