Formal Verification approaches of Self-adaptive Systems: A Survey
Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem · Procedia Computer Science · 2019
Today, developing self-adaptive systems is very challenging due to their increasing complexity and dynamism. Consequently, ensuring the correctness of their behavior is a difficult task. In this paper, we present a survey of the different existing approaches proposing the formal verification of self-adaptive systems. To that aim, we discuss several related works in the field. Then, we present a taxonomy of these researches based on some criteria. After that, we present a rich discussion and a comparison between the different existing works. Finally, we identify some perspectives and challenges which can enhance the formal verification of self-adaptive systems.