Informace o projektu
Nové možnosti automatické verifikace síťových protokolů
Kód projektu | GP201/08/P459 CEP CORDIS MU WEB INET MU |
---|---|
Doba řešení | 01.01.2008–31.12.2010 |
Stav | ukončený |
Investor | Grantová agentura ČR |
Program | Postdoktorské projekty |
Řešitel za FI |
Anotace
Cílem projektu je studium formalizmů pro popis specifikace síťových komunikačních systémů relevantních pro počáteční fáze návrhu projektu. Jako poměrně vhodným formalizmem se v posledních letech výzkumu jeví Message Sequence Charts (MSC). Přestože je tento formalizmus přesně specifikován podle ITU Recomendation Z.120, ve většině teoretických článků je uvažována pouze jistá podmnožina této specifikace. Naopak pro plnou specifikační sílu MSC byly většinou publikovány výsledky týkající se nerozhodnutelnosti.
Cílem projektu bude nalezení vhodné varianty či modifikace MSC, která si zachová rozumné vyjadřovací schopnosti a zároveň však bude možné systémy takto specifikované automaticky verifikovat.
Cílem projektu bude nalezení vhodné varianty či modifikace MSC, která si zachová rozumné vyjadřovací schopnosti a zároveň však bude možné systémy takto specifikované automaticky verifikovat.