Informace o projektu
Realistická aplikace formálních metod v komponentových systémech
| Kód projektu | 1ET400300504 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.2005–31.12.2009 |
| Stav | ukončený |
| Investor | Akademie věd ČR (ostatní) |
| Program | Informační společnost (Národní program výzkumu) |
| Řešitel za FI |
Anotace
Projekt podporuje využití komponent jako sílící trend ve vývoji aplikací, a to kombinováním komponent s formálním popisem chování a návrhem nástrojů schopných provést automaticky kontrolu architektury aplikací složených z komponent s formálním popisem chování. Projekt si klade za cíl navrhnout a realizovat platformu pro podporu formální verifikace vlastností komponentových aplikací na úrovni funkčního prototypu a s použitím této platformy navrhnout metody pro verifikaci softwarových komponent a komponentových aplikací a ověřit uplatnění těchto metod. Vytvořená platforma bude otevřená vznikajícím metodám pro formální verifikaci a analýzu kódu a použita pro ověřování vhodnosti a použitelnosti těchto metod, zejména technice model a checking. Práce na metodách formální verifikace se budou soustředit na identifikaci postupů, které umožní výrazné zefektivnění stávajících nástrojů pro automatickou verifikaci, zejména v distribuovaném protředí.