System specification, design and implementation using SDL

Abstract

AB3:Viime vuosien aikana tietoliikennetuotteiden elinkaari on lyhentynyt huomattavasti. Samalla tietoliikennejärjestelmien monimutkaisuus ja kehitysaika on kasvanut. Nämä seikat ovat luoneet tarpeen parantaa järjestelmien kehitykseen käytettäviä menetelmiä. Joukko formaaleja kieliä on kehitetty korvaamaan perinteiset suunnittelumenetelmät. -Formaalit kielet tarjoavat käyttäjälleen mahdollisuuden rakentaa tarkka ja yksiselitteinen järjestelmän kuvaus, joka voidaan simuloida. Kieliä käyttävät työkalut tarjoavat lisäksi tehokkaita ja joustavia menetelmiä järjestelmän toteutukseen kuvauksen mukaisesti. SDL on eräs eniten kehitetyistä ja käytetyistä formaaleista kielistä. Se on standardoitu korkean tason ohjelmointikieli, joka tarjoaa tarkan rungon tietoliikennejärjestelmien kehitykseen. -Tämä diplomityö kuvaa sitä, kuinka SDL:ää ja sitä käyttäviä työkaluja voidaan soveltaa järjestelmän määrittelyyn, suunnitteluun ja toteutukseen. Työ suoritettiin Euroopan Unionin rahoittamassa "The Magic WAND" -projektissa, joka pyrkii kehittämään langattoman ATM-kokeiluverkon.

During the last few years product life cycle of telecommunication systems has shortened radically. At the same time, complexity and development time of the systems has grown. These factors have forced us to improve the methods for the system development. A number of formal languages has been designed to replace the conventional system development methods. -Formal languages provide a possibility to construct a clear and unambiguous system description that can be simulated and validated. Tools using the languages offer efficient and flexible methods for implementing the system according to the description. SDL is one of the most developed and used formal language. It is a standardised, high-level programming language that provides a clear framework for the whole development process of telecommunication systems. -This thesis describes how SDL, as well as tools using it, can be applied to the system specification, design and implementation. The work was carried out in European Union funded "The Magic WAND" -project, which aims at producing a wireless ATM network demonstrator.