Abstract
The secure and robust functioning of a network relies on
the defect-free implementation of network applications. As
network protocols have become increasingly complex, however,
hand-writing network message processing code has become
increasingly error-prone.
In this paper, we present a domain-specific language,
Zebu, for generating robust and efficient message processing
layers. A Zebu specification, based on the notation used in
RFCs, describes protocol message formats and related processing
constraints. Zebu-based applications are efficient,
since message fragments can be specified to be processed
on demand. Zebu-based applications are also robust, as
the Zebu compiler automatically checks specification consistency
and generates parsing stubs that include validation
of the message structure. Using a message torture suite in
the context of SIP and RTSP, we show that Zebu-generated
code is both complete and defect-free.
the defect-free implementation of network applications. As
network protocols have become increasingly complex, however,
hand-writing network message processing code has become
increasingly error-prone.
In this paper, we present a domain-specific language,
Zebu, for generating robust and efficient message processing
layers. A Zebu specification, based on the notation used in
RFCs, describes protocol message formats and related processing
constraints. Zebu-based applications are efficient,
since message fragments can be specified to be processed
on demand. Zebu-based applications are also robust, as
the Zebu compiler automatically checks specification consistency
and generates parsing stubs that include validation
of the message structure. Using a message torture suite in
the context of SIP and RTSP, we show that Zebu-generated
code is both complete and defect-free.
| Original language | English |
|---|---|
| Title of host publication | 26th IEEE International Symposium on Reliable Distributed Systems : (SRDS 2007) |
| Publisher | IEEE Signal Processing Society |
| Publication date | 2007 |
| Pages | 149-158 |
| ISBN (Print) | 9780769529950 |
| Publication status | Published - 2007 |
| Event | IEEE International Symposium on Reliable Distributed Systems - Beijing, China Duration: 10 Oct 2007 → 12 Oct 2007 Conference number: 26 |
Conference
| Conference | IEEE International Symposium on Reliable Distributed Systems |
|---|---|
| Number | 26 |
| Country/Territory | China |
| City | Beijing |
| Period | 10/10/2007 → 12/10/2007 |
Keywords
- Faculty of Science
- Domain-specific languages
- Message processing
- Network protocols