Date Added: Aug 2009
stacks, are an area of growing interest. Many companies implement new or revised protocols for new application requirements, and reimplement well-known infrastructure protocol stacks to accomodate to new hardware and software platforms. However, due to the complexity and performance-critical nature of communication software, implementing protocol stacks remains a time-consuming and error-prone task with considerable impact on time to market, scalability and maintainance. The work at hand investigates how to provide program development support for protocol stack implementation to make it easier and more likely to be correct while respecting non-functional constraints. The authors present a language-based approach for the implementation of protocol stacks.