Publication details
Formalisms and Tools for Design and Specification of Network Protocols
| Basic information | |
|---|---|
| Original title: | Formalisms and Tools for Design and Specification of Network Protocols |
| Authors: | Jindřich Babica, Vojtěch Řehák, Petr Slovák, Pavel Troubil, Martin Zavadil |
| Further information | |
|---|---|
| Citation: | BABICA, Jindřich  - ŘEHÁK, Vojtěch - SLOVÁK, Petr - TROUBIL, Pavel - ZAVADIL, Martin. Formalisms and Tools for Design and Specification of Network Protocols. Brno : FI MU, 2007. FIMU-RS-2007-02.  WWW |
| Original language: | English |
| Field: | Informatika |
| Type: | R&D Presentation |
| Keywords: | Network protocol description; Message Sequence Charts; realizability; race conditions; formal verification |
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:
- Integrated approach to education of PhD students in the area of parallel and distributed systems
- Techniques for automatic verification and validation of software nad hardware systems
- Institute for Theoretical Computer Science
- Highly Parallel and Distributed Computing Systems
