Framework for Automatic SDL to C++ Translation

Abstract

Due to the increasing complexity of distributed systems the need for a formal description of these systems arises. Specification description languages like SDL enable the formal specification of distributed systems for verification purposes of the system. For simplification of the development process the need for an automatic translation from the specification language to a programming language like Cor C++ arises. High performance and a good readability of the translated code are crucial for the usability of an automatic translation. This paper introduces a framework for the automatic translation of an SDL specification to C++ providing high performance together with good readability of the resulting code. For that we present an object model together with an efficient implementation of the finite state machine with constant costs only using polymorphism. Additionally we present mechanisms to reduce copy and memory allocation operations. A performance evaluation for these mechanisms is also presented. J. Wu et al. (eds.), Formal Methods for Protocol Engineering and Distributed Systems

Combining Low-Code Programming and SDL-Based Modeling with Snap! in the Industry 4.0 Context

“…SDL models can be converted to Discrete Event System Specification (DEVS) [47], which is considered a universal reference formal model for simulation engines [48]. In addition, DEVS models can be converted to SDL models [49] which, in turn, can be translated into state machine-based algorithms [50]. Therefore, DEVS models can be translated into a general-purpose programming language.…”