Abstract : The metarouting project is developing a system for the declarative specification of routing protocols. A metalanguage is used to specify "routing algebras", structures related to semi-rings. Algebraic properties, such as monotonicity, are automatically inferred from metalanguage specifications. Code is generated and linked with algorithms selected from our library, which includes generalized versions of standard Internet routing protocols that we have extracted from the Quagga code base. The inferred properties are used to ensure that only a correct matching of an algebra and an algorithm can take place.

First part

Second part

Other formats :

• pdf slides
• high quality MPEG4 :part 1 part 2
• medium quality Quicktime : part 1 part 2
• low quality Quicktime : part 1 part 2

This presentation was recorded during the first Trilogy Future Internet summer school held in Louvain-la-Neuve, Belgium in August 2009. The video and the slides are © Tim Griffin, 2009. Please contact the author for any republication.