From modeling to programmable platforms for advanced wireless systems

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

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.