Formalisms and Tools for Design and Specification of Network Protocols

• 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
• 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