Claudia Priesterjahn

Learn More
Current and especially future software systems increasingly exhibit so-called self-* properties (e.g., self-healing or self-optimization). In essence, this means that software in such systems needs to be reconfigurable at run-time to remedy a detected failure or to adjust to a changing environment. Reconfiguration includes adding or deleting (software)(More)
Software systems are increasingly built to exhibit self-* properties (e.g. self healing or self optimization) which require reconfiguration and change at runtime. This is even true for embedded or mechatronic systems which are often used in safety critical environments. In those cases, the effects of the reconfiguration on the safety of the system must be(More)
Today's real-time embedded systems operate in frequently changing environments on which they react by self-adaptations. Such an approach needs adequate modeling support of these reconfigurations to enable verification of safety properties, e.g., by timed model checking. Component-based development of such systems realizes these self-adaptations by(More)
Mechatronic systems use their software to enable enhanced functionalities. Due to the complexity of these systems model-driven engineering of the software has become the means to construct reliable software. As safety is of paramount importance for these systems, legacy components , which have shown their quality in practice, are often reused and adjusted(More)
—Modern technical systems are increasingly built to exhibit self-x properties as, e.g., self-healing or self-optimization. For this, they require adaptation at runtime. This is even true for embedded or mechatronic systems which often operate in safety-critical environments. There, the effects of the adaptation with respect to safety must be analyzed(More)