Case study on the use of SDL for specifying an IETF micro mobility protocol

—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting from a case study, presents an improved approach to validate protocols in a tight loop, leading to faster and higher quality standards. The formal specifications can be used as supplementary material to resolve behavior that is ambiguous from only reading the standards, mostly specified in ASCII text. Further, it addresses how to validate the behavior of several protocols running together without the need for several independent implementations. The approach allows early validation using a large number of environmental triggers, including external unexpected behavior. Finally, useful guidelines are provided to allow easy development of such mobility environments by means of SDL tools.

• Type: Conference
• Year: 2006
• Where: COMSWARE
• Authors: Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Dieter Hogrefe
• Keywords: Ambiguous Behavior, COMSWARE 2006, External Unexpected Behavior, Tight Loop