The MAPE-K (Monitor-Analyze-Plan-Execute over a shared Knowledge) feedback loop is
the most influential reference control model for autonomic and self-adaptive systems. This …

Feedback control loops that monitor and adapt managed parts of a software system are
considered crucial for realizing self-adaptation in software systems. The MAPE-K (Monitor …

Automated test generation based on symbolic execution can be beneficial for systematically
testing safety-critical software, to facilitate test engineers to pursue the strict testing …

Organic Computing systems are systems which have the capability to autonomously (re-)
organize and adapt themselves. The benefit of such systems with self-x properties is that …

Self-adaptive software systems are able to autonomously adapt their behavior at run-time to
react to internal dynamics and to uncertain and changing environment conditions. Formal …

Software systems for automating safety-critical tasks in application domains like, for
example, avionics, railways, automotive, industry 4.0 and healthcare, must be highly …

In railway transportation area, the demand for safety of electronic devices is very high.
Automatic train protection (ATP) system is a key equipment of systems for train control …

We present work towards a toolchain that combines our existing tools Reactive Blocks and
BeSpaceD with our remote collaboration and visualization facility VxLab. Software …

Ensuring safety in railway signalling system is always considered as significant as a
guarantee of the safe and efficient operation of the whole railway. In fact, safety analysis of …

Automatic train protection (ATP) system is a safety critical application for railway signaling
with high logic complexity, and it is typically embedded and real-time demanded. As the …