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 …

After a number of success stories in safety‐critical domains, we are starting to witness
applications of formal methods in contemporary systems and software engineering …

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

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

The development of medical devices is a safety-critical process, because a failure or a
malfunction of the device can cause serious injuries to the patients whom use it. The …

Rigorous development processes aim to be effective in developing critical systems,
especially if failures can have catastrophic consequences for humans and the environment …

Even though the formal method community tends to overlook the problem, formal methods
are sometimes difficult to use and not accessible to average users. On one hand, this is due …

In this paper we propose a new approach to conformance testing based on Abstract State
Machine (ASM) model refinement. It consists in generating test sequences from ASM models …

Abstract Models are extensively used in many areas of software engineering to represent
the behaviour of software systems at different levels of abstraction. Because of the …