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 …

Safety-critical systems require development methods and processes that lead to provably
correct systems in order to prevent catastrophic consequences due to system failure or …

Formal behavioral specifications written early in the system-design process and
communicated across all design phases have been shown to increase the efficiency …

The Event-B method enables correct by construction modeling of systems. It relies on set
theory and first-order logic, to describe a series of refined system models expressed as a set …

Medical devices are safety-critical systems since their malfunctions can seriously
compromise human safety. Correct operation of a medical device depends upon the …

In architecture-based self-adaptation of decentralized systems, design patterns have been
introduced to ease the design of complex adaptation solutions that usually require the …

The paper presents an approach for rigorous development of safety-critical systems based
on the Abstract State Machine formal method. The development process starts from a high …

Safety assurance of a complex system cannot be completely ensured at
design/development time since most uncertainties and unknowns are revealed when the …

Modern automotive systems with adaptive control features require rigorous analysis to
guarantee correct operation. We report our experience in modeling the automotive case …