NeTS: Small: Automated Design of Medium Access Control Protocols

NeTS：小型：中型访问控制协议的自动化设计

• 批准号: 0917052
• 负责人: Volkan Rodoplu
• 金额: --
• 依托单位: University of California-Santa Barbara
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2013-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0917052&HistoricalAwards=false
• 关键词: NeTS; Small; Automated; Design; Medium

This award is funded under the American Recovery and Reinvestment Act of 2009 (Public Law 111-5).The performance of wireless networks critically depends upon the careful design of networking protocols. Networking protocols are traditionally designed based only on intuition, and through a complex design process that is particular to the network at hand. The disadvantage of the traditional approach is that protocol design cycles are long, costly, and prone to human error. The lack of a general methodology also means that either the protocols are general-purpose and hence low-performance, or are specialized and hence inflexible and require complete re-design when the application specifications change. The major research contribution of this project is the establishment of a general methodology for the automation of networking protocols, taking the Medium Access Control (MAC) protocols as a first prototype. The MAC protocol performance is critical in high-performance wireless networks. The following design process chain is created to generate a MAC protocol based on resource constraints and application-specific goals: (1) Optimization Program: Formulation of the network protocol problem that models the effects of control information exchanges, (2) Solvers: Optimal waveform generation, which specifies the optimal exchange of both control information and data, (3) Protocol Extraction: The extraction of the optimal protocol as a minimal description of the optimal waveforms. This technology opens the way to the design of networking protocols that will be based on automation design tools in the future. This project also integrates the development of prototype tools into graduate-level coursework.

该奖项是根据2009年美国复苏和再投资法案（公法111-5）资助的。无线网络的性能在很大程度上取决于网络协议的精心设计。传统上，网络协议的设计仅基于直觉，并通过一个复杂的设计过程，这是特定于手头的网络的。传统方法的缺点是协议设计周期长、成本高，而且容易出现人为错误。缺乏通用方法还意味着协议要么是通用的，因此性能低下，要么是专用的，因此不灵活，当应用程序规范发生变化时需要完全重新设计。本项目的主要研究贡献是以介质访问控制（MAC）协议为原型，建立了网络协议自动化的通用方法。在高性能无线网络中，MAC协议的性能至关重要。为了生成基于资源约束和特定应用目标的MAC协议，创建了以下设计过程链：(1)优化程序：制定网络协议问题，对控制信息交换的效果进行建模；(2)求解器：生成最优波形，指定控制信息和数据的最优交换；(3)协议提取：提取最优协议，作为最优波形的最小描述。该技术为未来基于自动化设计工具的网络协议设计开辟了道路。该项目还将原型工具的开发整合到研究生水平的课程中。