Formal Verification approaches of Self-adaptive Systems: A Survey
| Autor: | Riadh Ben Halima, Marwa Hachicha, Ahmed Hadj Kacem |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Correctness
Computer science business.industry 020206 networking & telecommunications Self adaptive 02 engineering and technology Field (computer science) Task (project management) Taxonomy (general) 0202 electrical engineering electronic engineering information engineering General Earth and Planetary Sciences 020201 artificial intelligence & image processing Software engineering business Formal verification General Environmental Science |
| Zdroj: | KES |
| ISSN: | 1877-0509 |
| DOI: | 10.1016/j.procs.2019.09.357 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|