From the SDL Specification Toward the Erlang Implementation (CROSBI ID 470941)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kunštić, Marijan ; Mikuc, Miljenko ; Jukić, Oliver
engleski
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.
software design; FDTs; SDL; Erlang
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
235-240-x.
1998.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 40th International Symposium Electronics in Marine - ELMAR 98
Radanović, B., Jerič, V.
Zadar: Hrvatsko društvo Elektronika u pomorstvu (ELMAR)
Podaci o skupu
40th International Symposium Electronics in Marine - ELMAR 98
predavanje
23.06.1998-25.06.1998
Zadar, Hrvatska