Naslov
From the SDL Specification Toward the Erlang Implementation

Autori
Kunštić, Marijan ; Mikuc, Miljenko ; Jukić, Oliver

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 40th International Symposium Electronics in Marine - ELMAR 98 / Radanović, B., Jerič, V. - Zadar : Hrvatsko društvo Elektronika u pomorstvu (ELMAR), 1998, 235-240

Skup
40th International Symposium Electronics in Marine - ELMAR 98

Mjesto i datum
Zadar, Hrvatska, 23.06.1998. - 25.06.1998

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
software design; FDTs; SDL; Erlang

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA