Nové možnosti automatické verifikace síťových protokolů

Název projektu anglicky
New possibilities in automatic verification of network protocols
Anotace anglicky
The aim of the project is to study formalisms for network comunication system specification at a very early stage of design. Variety of studies has been done on Message Sequence Charts (MSC) formalism in this research area. Eventhough MSC is formaly specified in ITU Recomendation Z.120, most of the theoretical results deals with some subsets of this formalism only. On the other hand, there are many undecidability results related to the MSC in its full expressivity. Our aim is to find a subset of MSCsuchthat it can express important design features and, at the same time, it preserves decidability of significant verification questions.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Cílem projektu byly výsledky v oblasti modelování a ověřování síťových protokolů, které budou teoreticky hodnotné a zároveň prakticky použitelné. Pro ověření použitelnosti jsme vytvořit SW aplikaci Sequence Chart Studio (SCStudio), v níž jsme protokoly ?

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP11-GA0-GP-U/04:3
Datum dodání záznamu
20. 3. 2015

Podobné projekty(10)