From modeling to programmable platforms for advanced wireless systems

无线系统，就像90年代的互联网一样，将会产生巨大的社会影响，并以更大的视野改变我们的生活。远程医疗援助、即时物流系统和移动实时视频流会议等应用都将利用无线技术。3G正在缓慢而坚定地融入我们的日常生活。与此同时，4G准备和面临更重要的障碍。与前几代不同，4G引入了各种技术的融合。4G承诺整合和融合各种技术：本地网络，如WiFi和蓝牙，城域网络，如WiMAX和全球网络，如GSM/WCDMA。应用程序变得越来越复杂，但技术也使之成为可能。复杂性在不断增加，尤其是在无线领域。物理层需要可重构；MAC层需要支持QoS和安全性；网络层需要更复杂的算法来支持更复杂的网络拓扑，如ad-hoc和网状网络。此外，由于灵活性和性能是强制性要求，因此跨层方法设计是必不可少的。在这种情况下，该项目的主要目标是定义一个专门用于无线系统的完整设计方法。该方法包括建模，通过仿真验证和改进阶段，将适应上述无线特性。通过定义建模、仿真、形式化验证和映射到可编程平台的新方法，我们将为该行业的预测增长做出贡献。此外，从长远来看，它将缩短上市时间，同时降低设计成本，从而使加拿大工业更具竞争力。

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.