TY - GEN
T1 - Component-based abstraction in fault tree analysis
AU - Domis, Dominik
AU - Trapp, Mario
PY - 2009
Y1 - 2009
N2 - To handle the complexity of safety-critical embedded systems, it is not appropriate to develop functionality and consider safety in separate tasks, or to consider software only as a black box in safety analyses. Rather, safety aspects have to be integrated as tightly as possible into the system and software development process and its models. But existing safety analyses and models do not fit well with software development tasks such as architectural design and do not take advantage of their strengths. To solve this problem, this paper extends fault tree analysis by hierarchical component-based abstraction, enabling fault tree analysis to be integrated into a component-oriented model-based design approach and to handle the complexity of software architectural design.
AB - To handle the complexity of safety-critical embedded systems, it is not appropriate to develop functionality and consider safety in separate tasks, or to consider software only as a black box in safety analyses. Rather, safety aspects have to be integrated as tightly as possible into the system and software development process and its models. But existing safety analyses and models do not fit well with software development tasks such as architectural design and do not take advantage of their strengths. To solve this problem, this paper extends fault tree analysis by hierarchical component-based abstraction, enabling fault tree analysis to be integrated into a component-oriented model-based design approach and to handle the complexity of software architectural design.
UR - http://www.scopus.com/inward/record.url?scp=70350438802&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-04468-7_24
DO - 10.1007/978-3-642-04468-7_24
M3 - Conference contribution
AN - SCOPUS:70350438802
SN - 3642044670
SN - 9783642044670
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 297
EP - 310
BT - Computer Safety, Reliability, and Security - 28th International Conference, SAFECOMP 2009, Proceedings
T2 - 28th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2009
Y2 - 15 September 2009 through 18 September 2009
ER -