Increasing the Efficiency of Computer-aided Protocol Implementations [chapter]

Thomas Held, Hartmut Koenig
1995 IFIP Advances in Information and Communication Technology  
The paper discusses ways for increasing the efficiency of protocol implementations which are automatically derived from formal descriptions. The subject of our discussion is the implementation model used in the implementation tool for the transformation process. The implementation model defines the architecture of the final implementation and has a crucial influence on its efficiency. Using an experimental Estelle-C compiler we discuss the impact of design decisions for the implementation model
more » ... on the efficiency of the implementation. As a consequence, the use of a variable implementation model is proposed.
doi:10.1007/978-0-387-34867-4_29 fatcat:tvxaluwe4jchtlpe4evvopanri