Přejít k obsahu | Přejít k hlavnímu menu | Přejít k vyhledávání

Informace o projektu
Realistická aplikace formálních metod v komponentových systémech

Informace

Projekt nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.
Kód projektu
1ET400300504
Období řešení
1/2005 - 12/2009
Investor / Programový rámec / typ projektu
Akademie věd ČR
  • Informační společnost (Národní program výzkumu)
Fakulta / Pracoviště MU
Fakulta informatiky
Klíčová slova
formální verifikace, popisy chování, softwarové komponenty, komponentové systémy
Spolupracující organizace
Ústav informatiky AV ČR, v. v. i.
  • Odpovědná osoba prof. Ing. František Plášil, DrSc.
Univerzita Karlova
  • Odpovědná osoba prof. Ing. Petr Tůma, Dr.

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í.

Výsledky

Předpokládané výsledky projektu jsou směřovány do oboru softwarového inženýrství, zejména konstrukce komponentových aplikací. Perspektivní technologie komponent si již našla průmyslové uplatnění, navrhovaný projekt spojuje tuto technologii s technikou model checking (ověřování modelů) do otevřeného systému abstrahujícího od konkrétního komponentového modelu a konkrétního formalismu. Projekt poskytne platformu nutnou pro převod výsledků do praxe, dosud ztížený odbornou náročností použití formálních metod a nedůvěrou producentů software v komponenty jako takové a především ve formální metody. Nezanedbatelným přínosem projektu pro převod výsledků do praxe budou výsledky ověřování navržených formálních metod na vyvinuté platformě, stejně jako předávání získaných poznatků studentům.

Publikace

Počet publikací: 29

2012

2009

2008

Předchozí 1 2 3 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.