Skip to Main Content
This paper presents the usage of the specification and description language (SDL) for system simulations. The two studied systems are a large-scale telecommunication system for delivering information services to public transport passengers (TUTPIS), and an embedded medium access control (TUTMAC) protocol for wireless LAN. The TUTPIS system combines the implementation of some systems components by the building of a simulation model for the general service architecture. On the other hand, TUTMAC has been fully implemented in SDL. The formal system designs are simulated for verifying the required functionality. By simulations, the architectural operability of the transport service system design has been tested, e.g. with a very high number of users and with different telecommunication network environments. For the embedded TUTMAC protocol, real-time simulations are performed for evaluating the performance and capacity requirements of the application for the final platform.