Detail výsledku

SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications

DUDKA, V.; KŘENA, B.; LETKO, Z.; VOJNAR, T. SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications. Brno: European Comission EU, 2007. 21 p.
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Dudka Vendula, Ing., UITS (FIT)
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Letko Zdeněk, Ing., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

The self-healing methodology as studied within the SHADOWS project consists of four steps: problem detection, problem localization, problem healing, and healing assurance. In this report, we discuss the initial investigation done towards healing assurance for the concurrency code fixing. Especially, we concentrate on two classes of formal methods: model checking and static analysis.

Klíčová slova

Self-healing, concurrency, assurance, model checking, static analysis.

Rok
2007
Strany
21
Vydavatel
European Comission EU
Místo
Brno
BibTeX 
@misc{BUT57727,
  author="Vendula {Dudka} and Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar}",
  title="SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications",
  year="2007",
  pages="21",
  publisher="European Comission EU",
  address="Brno"
}
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru