|
Abstract:
|
Formal description techniques make it possible to model communication protocols in precise and unambiguous manner. The modelled system can be simulated and verified in early phase in the design process. Nowadays there are tools available making it possible to execute formal specifications and to automatically generate code for different target platforms. Linking formal methods to software implementation process in this way, provides interesting possibilities for the software industry, the advantages of the formal methods become concrete as higher productivity and better quality. In this thesis, the most common formal description techniques are introduced and the development tool of the chosen description technique, SDL, is presented. Moreover, it is studied how the software implementation can be generated of the formal model and how this implementation can be integrated with the target platforms. The system to be implemented is the Wireless Application Protocol stack and the target platforms are Windows 2000 and Windows CE 3.0 operating systems. The entire implementation process is presented starting form the formal description of the protocol stack and ending in the executable protocol application and the testing environment with a graphical user interface. In addition, the different phases of the implementation are compared to a WAP stack implemented directly in the C language. /Kir10 |