Using SDL for the specification, simulation and implementation of an advanced OSI data-link protocol on an embedded microcontroller system

摘要

This paper reports experience with the formal description language SDL (Specification and Description Language) in the top-down development process of an OSI communication protocol. From formal specification to implementation on a microcontroller system all phases of development including simulation and evaluation have been processed by using SDL and the SDL Design Tool SDT, an SDL based CASE tool. This paper describes the experience from using SDL in development as well as advantages and limitations of SDL/SDT usage which came up during the project and draws a comparison to the conventional development method.