Stack Local Packet Memory Interface Requirements
Stephen Ganje, Ed Komp, Gary J. Minden, Joseph Evans · 2003
This thesis extends the protocol component architecture developed for the Innovative Active Networking Services (IANS) project to include a language, a syntax checker, and a utility for dynamic analysis of interface requirements. The IANS components exchange information via a mechanism called Stack Local Packet Memory (SLPM). Each component can read or write elements in the SLPM. The tool described here ensures that information in the SLP memory is consistent for all paths through the protocol stack. A component programmer can use the output of this tool to identify problems in his/her specification and implementation and thereby address those issues more expeditiously.