Formalisms and Tools for Design and Specification of Network Protocols

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Formalizmy a nástroje pro navrh a specifikaci sitovych protokolu
Autoři	BABICA Jindřich ŘEHÁK Vojtěch SLOVÁK Petr TROUBIL Pavel ZAVADIL Martin
Rok publikování	2007
Druh	Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Message Sequence Charts (MSC) jsou užitečným formalizmem pro popis síťových protokolu v ranné fázi jejich návrhu. V tomto přízpěvku uvádíme základy jazyka MSC a popisujeme možnosti jeho využití při modelování problematických části návrhu. Dále se zaměřujeme na možné modifikace MSC popisu (FIFO chování, omezení datových kanálů, atd.) stejně jako na možnosti automatického ověření správnosti (MSC membership, realizavatelnost). Stručně též zavádíme Specification and Description Language (SDL).
Související projekty:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy