Publication Details

Self-healing Assurance using Bounded Model Checking

DUDKA Vendula, VOJNAR Tomáš and KŘENA Bohuslav. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2009, pp. 99-100. ISBN 978-84-691-8502-5.
Czech title
Self-healing assurance za použití bounded model checkingu
Type
conference paper
Language
english
Authors
Dudka Vendula, Ing. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Keywords

formal verification, model checking, record&replay strategy

Abstract

In this paper is described a principle of method for verification. There is described combination of bounded model checking and record&replay strategy, which is using for navigation through state space to suspicious state. Through the use of bounded model checking is possible assurance the correctness of self-healing actions or decide if the detected problem is false alarm or not.

Published
2009
Pages
99-100
Proceedings
Computer Aided Systems Theory
Conference
Twelve International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-691-8502-5
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Las Palmas de Grand Canaria, ES
BibTeX 
@INPROCEEDINGS{FITPUB8918,
   author = "Vendula Dudka and Tom\'{a}\v{s} Vojnar and Bohuslav K\v{r}ena",
   title = "Self-healing Assurance using Bounded Model Checking",
   pages = "99--100",
   booktitle = "Computer Aided Systems Theory",
   year = 2009,
   location = "Las Palmas de Grand Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-691-8502-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8918"
}
Back to top