Aktuell:
06. Januar 2021
„Menschen sind Maschinen immer unterlegen“: Laut Experten müssen wir das in Zukunft berücksichtigen

Wie kann die Zusammenarbeit von Mensch und Maschine am besten gestaltet werden? Dieser Frage widmen sich die Paderborner ...
Publikationen
Priesterjahn, Claudia;Steenken, Dominik;Tichy, Matthias:
BibTeX in die Zwischenablage kopieren
Component-based Timed Hazard Analysis of Self-healing Systems.
In: Proc. of the Workshop on Assurances for Self-Adaptive Systems at ESEC/FSE 2011, Szeged, Hungary, Sep. 2011Abstract
Today, self-healing is increasingly used in embedded real-time systems, that are applied in safety-critical environments, to reduce hazards. These systems implement self-healing by reconfiguration, i.e., the exchange of system components during run-time that aims at stopping or removing failures. This reaction is subject to hard real-time constraints because reacting too late does not yield the intended effects. Consequently, it is necessary to analyze the propagation of failures over time and also take into account how the propagation of failures is changed by the reconfiguration. Current approaches do not analyze the propagation times of failures and the changes of structural reconfiguration on the failure propagation. We enhance our hazard analysis approach by extending our failure propagation models by propagation times and taking the system’s real-time reconfiguration behavior into account. This allows to analyze how a reconfiguration with certain duration changes the failure propagation of a real-time system and thus whether it is able to prevent a hazard. We show the feasibility of our approach by an example case study from the RailCab project.Weblink
http://dx.doi.org/10.1145/2024436.2024444Dateien
pst11.pdfBibtex
@inproceedings{key=PST11,
author = {Priesterjahn, Claudia and Steenken, Dominik and Tichy, Matthias},
title = {Component-based Timed Hazard Analysis of Self-healing Systems},
booktitle = {Proc. of the Workshop on Assurances for Self-Adaptive Systems at ESEC/FSE 2011, Szeged, Hungary},
month = sep,
year = {2011},
}
author = {Priesterjahn, Claudia and Steenken, Dominik and Tichy, Matthias},
title = {Component-based Timed Hazard Analysis of Self-healing Systems},
booktitle = {Proc. of the Workshop on Assurances for Self-Adaptive Systems at ESEC/FSE 2011, Szeged, Hungary},
month = sep,
year = {2011},
}
BibTeX in die Zwischenablage kopieren