Next: Self-Timing and Event-Driven
Up: Projects
Previous: Representation of Semantics
- Behcet Sarikaya,
- Professor, Computer Communications Laboratory
- Multimedia Networking:
We have investigated the use of formal methods to specify multimedia
communication systems. Since the real time is an important aspect of
multimedia systems, we have chosen real time CSP as the correct
formalism to use.
- Network Management:
We have investigated network management protocols and the use of
formal methods in the area of network management.
- Protocol Implementation:
In order to implement a LOTOS specification on a real system, we designed two
efficient distributed algorithms.
- Protocol Synthesis:
To design a network protocol is a tough job for protocol designers.
It is desirable to provide automatic synthesis tools to the designers.
We developed a protocol synthesis algorithm to generate the peer
entity from a given single entity.