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)
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(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)
One cannot image today's life without mechatronic systems, which have to be developed in a joint effort by teams of mechanical engineers, electrical engineers, control engineers and software engineers. Often these systems are applied in safety critical environments like in cars or aircrafts. This requires systems that function correctly and do not cause(More)
Self-optimization in mechatronic systems often is achieved by the change of their component structure during runtime. As their operation often is safety-critical we need to know which error combinations lead to hazards. By now our hazard analysis considers no time and only individual component structures without the transitions between them. Consequently,(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 to(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)