Sciweavers

Share
COMSWARE
2006
IEEE

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

9 years 11 days ago
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.
Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Diet
Added 10 Jun 2010
Updated 10 Jun 2010
Type Conference
Year 2006
Where COMSWARE
Authors Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Dieter Hogrefe
Comments (0)
books