From modeling to programmable platforms for advanced wireless systems

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

• 批准号: 350548-2007
• 负责人: Aboulhamid, ElMostapha
• 金额: $ 14.35万
• 依托单位: Université de Montréal
• 依托单位国家: 加拿大
• 项目类别: Strategic Projects - Group
• 财政年份: 2007
• 资助国家: 加拿大
• 起止时间: 2007-01-01 至 2008-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=366595
• 关键词: 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和安全性;网络层需要更复杂的算法来支持更复杂的网络拓扑，如ad-hoc和mesh网络。此外，由于灵活性和性能是强制性要求，因此交叉分层方法设计至关重要。在这种情况下，该项目的主要目标是定义一个完整的设计方法，专用于无线系统。该方法包括建模、通过模拟和验证的验证以及将适应上述无线特性的细化阶段。通过定义建模、仿真、形式验证和映射到可编程平台的新方法，我们将为该行业的预测增长做出贡献。此外，从长远来看，它将使加拿大工业更具竞争力，缩短上市时间，同时降低设计成本。