Result Details

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.
Type
conference paper
Language
English
Authors
Dudka Vendula, Ing., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
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.

Keywords

formal verification, model checking, record&replay strategy

Published
2009
Pages
99–100
Proceedings
Computer Aided Systems Theory
Conference
Twelve International Conference On Computer Aided Systems Theory
ISBN
978-84-691-8502-5
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
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"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top