NeTS: Small: Exploring the Non-Standardized Polices, Operations, and Requirements for 5G Cellular Networks and Beyond: Advancing the Modeling, Tools, and Evaluation

NeTS：小型：探索 5G 蜂窝网络及其他网络的非标准化策略、运营和要求：推进建模、工具和评估

• 批准号: 2321416
• 负责人: GUAN-HUA TU
• 金额: $ 60万
• 依托单位: Michigan State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-10-01 至 2026-09-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2321416&HistoricalAwards=false
• 关键词: NeTS; Small; Exploring; Non; Standardized

The cellular network is a global infrastructure that provides seamless data, voice, and text services, making it a key player in today’s connected world. The 3rd Generation Partnership Project (3GPP) is a consortium of seven telecommunications standards organizations that work together to develop protocols for global mobile telecommunications, such as 5G NR. However, in practice, many non-3GPP standardized policies, operations, and requirements are often deployed in operational cellular networks and mobile devices in accordance with local regulatory requirements or specific operator needs. These non-3GPP standardized elements can lead to unforeseen and detrimental issues when device vendors and carriers need to add or revise protocols and services to comply with them. However, the negative impact of non-3GPP standardized elements is largely unexplored. Therefore, this project aims to advance the technology for identifying non-3GPP standardized elements and assessing their potential negative impact on the overall performance and security of cellular networks. The project's novelties are to comprehensively discover non-3GPP standardized elements, including implicit and hidden ones, which have a negative real-world impact, using multidisciplinary techniques. The project's broader significance and importance are to extend the state-of-the-art cellular network research to a new frontier, investigate original problems that entreat innovative non-3GPP standardized policies, operations, and requirements exploration, analysis, network modeling, data collection, data mining solutions, and pave the way for a new research endeavor to enable more robust, resilient, and secure cellular networks. Additionally, it contributes to the nation's workforce with students well-trained in mobile networks, artificial intelligence, and natural language processing.This project comprises three research thrusts: (1) developing new techniques for identifying non-3GPP standardized elements. This includes SpecInsight, an innovative 3GPP technical specification analysis tool that uses multidisciplinary techniques to comprehend and search 3GPP technical specifications efficiently and intelligently, and DocIntrpr, a tool that automatically extracts the relevant policies, operations, and requirements from various non-3GPP documents using natural language processing techniques; (2) uncovering hidden non-3GPP standardized elements. Not all non-3GPP standardized elements are written in publicly available documents. Therefore, we propose to develop SpecVerifer, a model-checking tool that analyzes 3GPP technical specifications formally, which aims to identify all necessary but missing designs since they are either complemented by hidden non-3GPP standardized elements or causing unexpected results; and (3) developing a new testing platform, open5G-Flex, to efficiently assess the impact of various non-3GPP standardized elements without suffering from the limited access to cellular infrastructure and possible ethical/legal issues when conducting experiments.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

蜂窝网络是一个全球基础架构，可提供无缝的数据，语音和文本服务，使其成为当今连接世界中的关键参与者。第三代合作伙伴项目（3GPP）是由七个电信标准组织组成的联盟，共同努力为全球移动电信（例如5G NR）开发协议。但是，实际上，根据本地监管要求或特定的操作员需求，许多非3GPP标准化政策，操作和要求通常被部署在操作蜂窝网络和移动设备中。当设备供应商和运营商需要添加或反向协议和服务以遵守它们时，这些非3GPP标准化元素可能会导致无法预见和有害问题。但是，非3GPP标准化元件的负面影响在很大程度上是意外的。因此，该项目旨在推进该技术，以识别非3GPP标准化元素，并评估其对蜂窝网络的整体性能和安全性的潜在负面影响。该项目的新颖性是使用多学科技术全面地发现非3GPP标准化元素，包括隐式和隐藏的元素，这些元素具有负面影响。该项目的更广泛的意义和重要性是将最先进的蜂窝网络研究扩展到新的边界，调查原始问题，这些问题将创新的非3GPP标准化政策，运营和需求探索，分析，网络建模，数据收集，数据挖掘解决方案，以及为新的研究努力铺平了努力以启用更强大的细胞网络和确保细胞的新研究。此外，它在移动网络，人工智能和自然语言处理方面训练有素的学生有助于该国的劳动力。该项目包括三个研究作用：（1）开发用于开发新研究的新技术，以识别非3GPP标准化元素。这包括一种创新的3GPP技术规范分析工具SpecinSight，该工具使用多学科技术来有效，智能地理解和搜索3GPP技术规范，以及DocIntrpr，该工具是一种自动从各种非3GPP文档中使用自然语言处理技术提取相关政策，操作和要求的工具； （2）发现隐藏的非3GPP标准化元素。并非所有非3GPP标准化元素都用公开的文档编写。因此，我们建议开发Specverifer，这是一种模型检查工具，该工具正式分析了3GPP技术规格，该工具旨在确定所有必要的设计，但缺少设计，因为它们要么由隐藏的非3GPP标准化元素完成，要么引起意外结果； （3）开发一个新的测试平台Open5G-Flex，以有效评估各种非3GPP标准化元素的影响，而不会在进行实验时无法获得蜂窝基础架构和可能的道德/法律问题，这反映了NSF的法定任务。反映了NSF的法定任务，并通过使用基金会的智力效果进行评估来获得评估，以评估良好的支持。