Automated Protocol Implementations Based on Activity Threads

11 years 10 months ago
Automated Protocol Implementations Based on Activity Threads
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reordering of statements at compile time. This simplifies the mapping process and considerably improves the efficiency of the generated code. The approach is implemented in the SDL compiler COCOS. We describe the approach as well as its implementation and prove how semantic conflicts are resolved. Finally we present measurements which show the achieved performance gain. 1 Motivation The development of communication software is known to be an expensive and tedious process. Formal description techniques (FDTs) can help to considerably increase the quality of the protocols and telecommunication systems, and to shorten the time for their development. However, the benefits of FDTs are mainly used in the design, specification, performance prediction, verification, and testing phase. Automated implementation still represent...
Peter Langendörfer, Hartmut König
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where ICNP
Authors Peter Langendörfer, Hartmut König
Comments (0)