Detail publikačního výsledku

Using JavaPathFinder for Self-healing Assurance

DUDKA, V.; KŘENA, B.; VOJNAR, T.

Originální název

Using JavaPathFinder for Self-healing Assurance

Anglický název

Using JavaPathFinder for Self-healing Assurance

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

In this paper, we deal with application of formal methods within self-healing of concurrency related problems. We are currently interested in the Java programming language, and therefore we concentrate mainly on the model checker Java PathFinder (JPF). We have implemented the so-called record&replay trace strategy for navigation through a state space in order to get closer to an error state and to perform bounded model checking in the problem neighbourhood only. It allows us to increase our confidence about particular system properties in the limited time available.

Anglický abstrakt

In this paper, we deal with application of formal methods within self-healing of concurrency related problems. We are currently interested in the Java programming language, and therefore we concentrate mainly on the model checker Java PathFinder (JPF). We have implemented the so-called record&replay trace strategy for navigation through a state space in order to get closer to an error state and to perform bounded model checking in the problem neighbourhood only. It allows us to increase our confidence about particular system properties in the limited time available.

Klíčová slova

Self-healing, assurance, concurrency, model checking, Java PathFinder.

Klíčová slova v angličtině

Self-healing, assurance, concurrency, model checking, Java PathFinder.

Autoři

DUDKA, V.; KŘENA, B.; VOJNAR, T.

Vydáno

26.10.2007

Nakladatel

Ing. Zdeněk Novotný, CSc.

Místo

Znojmo

ISBN

978-80-7355-077-6

Kniha

Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007

Strany od

67

Strany do

73

Strany počet

7

BibTex

@inproceedings{BUT25351,
  author="Vendula {Dudka} and Bohuslav {Křena} and Tomáš {Vojnar}",
  title="Using JavaPathFinder for Self-healing Assurance",
  booktitle="Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007",
  year="2007",
  pages="67--73",
  publisher="Ing. Zdeněk Novotný, CSc.",
  address="Znojmo",
  isbn="978-80-7355-077-6"
}