Implementing SDL
Andreas Mitschele‐Thiel · 2002
This chapter discusses the efficient implementation of SDL descriptions. It is the first study that covers the topic in such a comprehensive way and in such detail. The chapter covers the implementation of the extended finite state machines described by SDL and the implementation of the support functions for process management, process communication and buffer management, interfacing with the environment, and timer management. The chapter describes how optimization techniques, known from the manual implementation of communicating systems – as described in chapter 3 – can be applied to the automatic code generation from SDL. In addition, measures to deal with non-ideal features and limitations of the underlying system, which are not present in SDL, are discussed. Basic Elements of an Implementation Derived from an SDL Description Layering, System Integration and Modularization Process Models Extended Finite State Machine Management of Process Instances Process Communication and Buffer Management Interfacing with the Environment Timer Management Implementation of SDL Data Implementation of Other Features of SDL Optimizations for Protocol Processing Dealing with Implementational Limitations Issues Related to Code Generation Implications of SDL 2000