From modeling to programmable platforms for advanced wireless systems

从高级无线系统的建模到可编程平台

• 批准号: 350548-2007
• 负责人: Aboulhamid, ElMostapha
• 金额: $ 14.66万
• 依托单位: Université de Montréal
• 依托单位国家: 加拿大
• 项目类别: Strategic Projects - Group
• 财政年份: 2008
• 资助国家: 加拿大
• 起止时间: 2008-01-01 至 2009-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=402119
• 关键词: modeling; programmable; platforms; advanced; wireless

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.

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