Detail publikace

Self-healing Assurance using Bounded Model Checking

DUDKA Vendula, VOJNAR Tomáš a KŘENA Bohuslav. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2009, s. 99-100. ISBN 978-84-691-8502-5.
Název česky
Self-healing assurance za použití bounded model checkingu
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Dudka Vendula, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Klíčová slova

formální verifikace, model checking, strategie record&replay

Abstrakt

V článku je popsán princip využití kombinace bounded model checkingu a strategie pro navigaci stavovým prostorem (record&repaly) do požadovaného stavu. Pomocí bounded model checkingu je možné ověřit správnosti self-healing akce nebo je možné určit, zda detekovaný problém je pouze false alarm či nikoliv.

Rok
2009
Strany
99-100
Sborník
Computer Aided Systems Theory
Konference
Twelve International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-691-8502-5
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
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"
}
Nahoru