UMTS PROTOCOL DEVELOPMENT USING FORMAL LANGUAGES

摘要

Complexity is a key word in mobile systems and it has a direct impact on implementations, where the use of mid-level languages such as C tends to create a set of modules hardly understandable by engineers not directly involved in the development. Formal visual languages such as SDL help improve the quality of the code, making easier the incorporation of new engineers into the teamwork; the maintenance of the code is also less costly with the help of automatic code generation tools. This work presents the implementation, in SDL, of the layer 2 of the UMTS Radio Access Network front-end (UTRAN). The architecture supports a multiprocessor environment, so that instances of cells can be distributed among the processors. Tests have been carried out to measure the efficiency of the implementation in widely used operating systems.