The Magic WAND project (Wireless ATM Network Demonstrator) is one of t
he largest projects within the European Union ACTS (Advanced Communica
tions Technologies and Services) initiative. The project aims to desig
n, verify, implement, and demonstrate a wireless access network for AT
M I LAN's, The complete range of functionality, from physical data tra
nsmission to shared multimedia application, is addressed. The WAND sys
tem is designed for indoor environments with user mobility limited to
walking speed. The system's functional specification has been designed
and verified using SDL (specification and description language), Ln t
his paper, the WAND system functional model is given and SDL simulatio
n results are presented, to illustrate how the protocols support some
of the key operations of a wireless access network, These include init
ial registration, call setup, and handover.