From modeling to programmable platforms for advanced wireless systems

点击翻译按钮获取中文摘要

Wireless systems, like the Internet in the 90's will have a big social impact and will change our lives with greater horizon. Applications like remote medical assistance, just-in-time logistics systems, and mobile live video streaming conferencing will all take advantage of wireless. Slowly but surely, the 3G is becoming integrated in our daily lives. Meanwhile, the 4G prepares and confronts more important obstacles. Unlike its predecessors, the 4G introduces the convergence of various technologies. The 4G promises to integrate support and converge various technologies : local networks, such as WiFi and Bluetooth, metropolitan networks like WiMAX and global like GSM/WCDMA. Applications are getting more complex, but the technology is enabling it as well. The complexity is constantly increasing especially in wireless. The PHY layer needs to be reconfigurable; the MAC layer needs to support QoS and security; the network layer needs more complex algorithms to support more sophisticated network topologies like ad-hoc and mesh network. Moreover, since flexibility and performance are mandatory requirements, a cross layering approach design is essential. In this context, the main objective of this project is the definition of a complete design methodology dedicated to wireless systems. This methodology includes modeling, validation through simulation and verification and refinement stages that will be adapted to the wireless specificities presented above. By defining new approaches for modeling, simulation, formal verification and mapping to programmable platforms, we will contribute to the forecasted growth of this industry. Also, for the longer term it will allow Canadian industry to be more competitive by shortening the time to market while reducing the design cost.