Detail publikace

Self-healing Assurance using Bounded Model Checking

DUDKA, V.; VOJNAR, T.; KŘENA, B. Self-healing Assurance using Bounded Model Checking. Computer Aided Systems Theory. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2009. p. 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
anglicky
Autoři
Dudka Vendula, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
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
ISBN
978-84-691-8502-5
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Las Palmas de Grand Canaria
BibTeX 
@inproceedings{BUT30204,
  author="Vendula {Dudka} and Tomáš {Vojnar} and Bohuslav {Křena}",
  title="Self-healing Assurance using Bounded Model Checking",
  booktitle="Computer Aided Systems Theory",
  year="2009",
  pages="99--100",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Las Palmas de Grand Canaria",
  isbn="978-84-691-8502-5"
}
Nahoru