From the SDL Specification Toward the Erlang Implementation

Software design based on the FDTs is still not widely used, despite of the fact that using of the FDTs can reduce number of errors, price and required time for producing software. Probably the main reason is a big gap between specification and implementation. To reduce this gap, we have proposed way for Erlang code generation from SDL specification. We have found that Erlang (programming language developed by Ericsson) satisfies requirements on “easy” implementation of the specification. One of the reasons is that both Erlang and SDL are based on the finite state automata, process based concurrency model, and asynchronous message passing. We can execute the algorithm either automatically or by handwriting. Algorithm is tested during the specification and the Erlang implementation of the graphical simulation of the switch.