Formalisms and Tools for Design and Specification of Network Protocols

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BABICA Jindřich ŘEHÁK Vojtěch SLOVÁK Petr TROUBIL Pavel ZAVADIL Martin

Year of publication 2007
Type R&D Presentation
MU Faculty or unit

Faculty of Informatics

Citation
Description Message Sequence Charts (MSC) are a useful formalism for formalization of network protocols early in their design phase. In this paper, we introduce the basics of MSC language and describe some of the possibilities for automatic location of "problematic" parts in the design. Focus is then given to different modifications of MSC design (FIFO behavior, bounded channels, etc. ) as well as formal checking of more complex design properties (MSC membership, realizability). Next, an introduction of Specification and Description Language (SDL) is presented. Possibilities of automatic synthesis of system design in MSC to an SDL model and it`s correctness verification are mentioned.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.