by Dominik Domis, Kai Höfig, Mario Trapp
Abstract:
The number of embedded systems in our daily lives that are distributed, hidden, and ubiquitous continues to increase. Many of them are safety-critical. To provide additional or better functionalities, they are becoming more and more complex, which makes it difficult to guarantee safety. It is undisputed that safety must be considered before the start of development, continue until decommissioning, and is particularly important during the design of the system and software architecture. An architecture must be able to avoid, detect, or mitigate all dangerous failures to a sufficient degree. For this purpose, the architectural design must be guided and verified by safety analyses. However, state-of-the-art component-oriented or model-based architectural design approaches use different levels of abstraction to handle complexity. So, safety analyses must also be applied on different levels of abstraction, and it must be checked and guaranteed that they are consistent with each other, which is not supported by standard safety analyses. In this paper, we present a consistency check for CFTs that automatically detects commonalities and inconsistencies between fault trees of different levels of abstraction. This facilitates the application of safety analyses in top-down architectural designs and reduces effort.
Reference:
D. Domis, K. Höfig and M. Trapp, "A Consistency Check Algorithm for Component-Based Refinements of Fault Trees", in Software Reliability Engineering (ISSRE), 2010 IEEE 21st International Symposium on, IEEE, pp. 171-180.
Bibtex Entry:
@INPROCEEDINGS{Domis2010,
author = {Dominik Domis and Kai Höfig and Mario Trapp},
title = {A Consistency Check Algorithm for Component-Based Refinements of
Fault Trees},
booktitle = {Software Reliability Engineering (ISSRE), 2010 IEEE 21st International
Symposium on},
year = {2010},
pages = {171-180},
month = Nov,
publisher = {IEEE},
abstract = {The number of embedded systems in our daily lives that are distributed,
hidden, and ubiquitous continues to increase. Many of them are safety-critical.
To provide additional or better functionalities, they are becoming
more and more complex, which makes it difficult to guarantee safety.
It is undisputed that safety must be considered before the start
of development, continue until decommissioning, and is particularly
important during the design of the system and software architecture.
An architecture must be able to avoid, detect, or mitigate all dangerous
failures to a sufficient degree. For this purpose, the architectural
design must be guided and verified by safety analyses. However, state-of-the-art
component-oriented or model-based architectural design approaches
use different levels of abstraction to handle complexity. So, safety
analyses must also be applied on different levels of abstraction,
and it must be checked and guaranteed that they are consistent with
each other, which is not supported by standard safety analyses. In
this paper, we present a consistency check for CFTs that automatically
detects commonalities and inconsistencies between fault trees of
different levels of abstraction. This facilitates the application
of safety analyses in top-down architectural designs and reduces
effort.},
doi = {10.1109/ISSRE.2010.23},
isbn = {978-0-7695-4255-3},
issn = {1071-9458},
keywords = {component based refinement;component oriented architectural design;consistency
check algorithm;embedded system;fault trees;model based architectural
design;safety analyses;safety critical software;software architecture;embedded
systems;fault trees;object-oriented programming;safety-critical software;software
architecture;software metrics;}
}