Skip to main content
PRL Project

Automated Fast-Track Reconfiguration of Group Communication Systems

by Christoph Kreitz

Proceedings of Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)

  • unofficial copies PDF, PS

We present formal techniques for improving the performance of modular communication systems. For common sequences of operations we identify a fast-path through a stack of communication protocols and reconfigure the system's code accordingly. Our techniques are implemented by tactics and theorems of the NuPRL proof development system and have been used successfully for the reconfiguration of application systems built with the Ensemble group communication toolkit.

bibTex ref: Kre99

cite link