AIOS综述：安全可信的人工智能原生操作系统

吴庆波; 伍复慧; 刘海天; 刘军; 李英俊; 农俊康; 杜宇琪; 吴昊泽; 陈龙腾; 王静

doi:10.12263/DZXB.20250763

您当前的位置：

首页 >

文章列表页 >

AIOS综述：安全可信的人工智能原生操作系统

更新时间：2026-01-29

- AIOS综述：安全可信的人工智能原生操作系统
- Systematic Survey of AIOS: A Secure and Trustworthy AI-Native Operating System
- 电子学报 2026年页码：1-28
- 作者机构：
  
  1.麒麟软件有限公司2030实验室，湖南长沙 410000
  2.武汉学院信息工程学院，湖北武汉 430212
  3.国防科技大学计算机学院，湖南长沙 410000
- 作者简介：
  
  [ "吴庆波男，1969年4月出生于浙江省宁波市.中国电子信息产业集团有限公司、麒麟软件有限公司首席科学家、中国电子信息产业集团春天研究院院长、天津市操作系统重点实验室主任、研究员.主要研究方向为国产操作系统的研制和推广应用.E-mail: wuqingbo@kylinos.cn" ]
  [ "伍复慧男，1987年2月出生于江西省赣州市.现为武汉学院信息工程学院副教授.主要研究方向为人工智能、操作系统.E-mail: fuhui.wu@whxy.edu.cn" ]
  [ "刘海天男，1994年12月出生于湖南省涟源市.现为麒麟软件高级研发工程师.主要研究方向为人工智能、操作系统.E-mail: liuhaitian@kylinos.cn" ]
  [ "刘军男，1986年2月出生于江西省新干县.现为麒麟软件2030实验室科研规划部总经理、CCF泛在操作系统开放社区技术委员会委员.主要研究方向为人工智能、操作系统.E-mail: liujun@kylinos.cn" ]
  [ "李英俊男，1988年8月出生于湖南省涟源市.现为麒麟软件有限公司2030实验室x内核研发部经理.主要研究方向为操作系统.E-mail: liyingjun@kylinos.cn" ]
  [ "农俊康男，1986年11月出生于广西壮族自治区百色市.现为麒麟软件有限公司高级研发工程师.主要研究方向为虚拟化、操作系统.E-mail: nongjunkang@kylinos.cn" ]
  [ "杜宇琪男，2004年2月出生于江西省萍乡市.现为麒麟软件有限公司2030实验室助理研发工程师.主要研究方向为机密计算.E-mail: duyuqi@kylinos.cn" ]
  [ "吴昊泽男，2000年5月出生于甘肃省兰州市.现为麒麟软件有限公司2030实验室助理研发工程师.主要研究方向为操作系统.E-mail: wuhaoze@kylinos.cn" ]
  [ "陈龙腾男，2000年11月出生于湖南省涟源市.毕业于南京航空航天大学.现为麒麟软件有限公司助理工程师.主要研究方向为操作系统.E-mail: chenlongteng@kylinos.cn" ]
  [ "王静女，1986年10月出生于湖南省常德市.现为国防科技大学计算机学院助理研究员，国家重点研发计划项目课题负责人，开源发展技术委员会执行委员.主要研究方向为操作系统、开源生态治理.E-mail: wangjing@nudt.edu.cn" ]
- 基金信息：
  
  教育部协同育人项目(240800006162639;241001613173522)
- DOI：10.12263/DZXB.20250763
  中图分类号： TP18;
- 收稿：2025-09-04，
  
  录用：2025-12-10，
  
  网络出版：2026-01-29，
- 稿件说明：
移动端阅览
吴庆波, 伍复慧, 刘海天, 等. AIOS综述：安全可信的人工智能原生操作系统[J/OL]. 电子学报, 2026,1-28.

WU Qing-bo, WU Fu-hui, LIU Hai-tian, et al. Systematic Survey of AIOS: A Secure and Trustworthy AI-Native Operating System[J/OL]. ACTA ELECTRONICA SINICA, 2026, 1-28.
吴庆波, 伍复慧, 刘海天, 等. AIOS综述：安全可信的人工智能原生操作系统[J/OL]. 电子学报, 2026,1-28. DOI： 10.12263/DZXB.20250763.

WU Qing-bo, WU Fu-hui, LIU Hai-tian, et al. Systematic Survey of AIOS: A Secure and Trustworthy AI-Native Operating System[J/OL]. ACTA ELECTRONICA SINICA, 2026, 1-28. DOI： 10.12263/DZXB.20250763.

摘要

随着人工智能技术的快速发展，传统操作系统在安全性、智能性与场景适配性方面面临新的挑战.本文系统梳理了安全可信的人工智能原生操作系统（AI-native Operating System，AIOS）的研究进展与关键技术.首先，设计AIOS的分层架构，包括内核组件库、资源管理服务、共性基础服务以及领域基础软件栈.面向资源、运维与安全的系统级智能化服务框架和围绕安全内核架构、软硬件协同的安全与适配，以及虚拟化支撑的纵深防御安全访问框架构成共性基础服务.通过标准化接口与内核/核心服务在调度、内存、I/O与安全域等方面向上提供领域基础软件栈接口（涵盖人工智能（Artificial Intelligence，AI）软件栈与安全软件栈），支撑行业场景落地.其次，提出人工智能原生操作系统的关键技术：端侧智能操作系统聚焦模型压缩、推理优化（如键值（Key-Value，KV）缓存与分页注意力）与端云协同的异构资源调度及硬件抽象与驱动适配；记忆管理系统围绕记忆存储、检索与管理，结合短期、长期记忆以支撑长上下文理解与动态更新；安全可信机制涵盖内存安全与形式化验证、自动化检测、可信启动与远程证明，以及基于可信执行环境（Trusted Execution Environment，TEE）、机密计算与虚拟化隔离的纵深防御.随后，结合应用场景，综述AIOS在具身智能、工业与移动等领域的部署路径、能力边界与工程权衡，分析端侧推理、实时控制、跨设备协同与多模态交互的实践挑战.进一步，围绕新型操作系统基础技术、智能服务框架与关键技术梳理及安全可信基石，总结架构模块化与软硬件协同、智能服务的资源调度与安全鲁棒性、记忆系统的效率与隐私保护、领域基础软件栈的标准化与生态建设，以及跨平台与跨设备的智能协同与资源共享等开放问题与趋势.本文贡献在于提供结构化视角、术语边界与技术地图，并对典型系统与工具进行对比归纳，为AIOS研究与工程落地提供参考.

Abstract

With the rapid development of artificial intelligence technology

traditional operating systems face new challenges in security

intelligence

and scenario adaptability. This survey systematically reviews the research progress and key technologies of secure and trustworthy AI-native operating systems (AIOS). First

it introduces the layered architecture of AIOS

including kernel components

resource management

general foundational services (covering both the intelligent service framework and the secure access framework)

and domain-specific software stacks

highlighting the deep integration of artificial intelligence (AI) capabilities with operating systems. The secure access framework focuses on secure kernel architecture

software-hardware collaborative security and adaptation

and virtualization-based in-depth defense. Second

it summarizes the key AIOS technologies: edge-oriented operating systems emphasize model compression

inference optimization (e.g.

key-value (KV) cache and PagedAttention)

edge-cloud collaboration with heterogeneous resource scheduling

and hardware abstraction and driver adaptation; the memory management system centers on memory storage

retrieval

and management

combining short-term and long-term memory to support long context understanding and dynamic updates; the security and trust mechanisms cover memory safety and formal verification

automated analysis

trusted boot and remote attestation

and defense-in-depth via trusted execution environment (TEE)/confidential computing and virtualization isolation. Finally

by examining practical scenarios such as embodied intelligence

industrial internet of things (IoT)

and mobile applications

it analyzes deployment paths

capability boundaries

and engineering trade-offs

and summarizes open issues and trends including architectural modularity

co-design of hardware and software

resource scheduling and security robustness in intelligent services

efficiency and privacy of memory systems

standardization and ecosystem building of domain stacks

and cross-platform/device collaboration and resource sharing. This survey aims to provide a structured perspective

clear terminology boundaries

and a technology map

offering references for AIOS research and engineering practice.

关键词

Keywords

references

高蕾 , 符永铨 , 李东升 , 等 . 我国人工智能核心软硬件发展战略研究 [J ] . 中国工程科学 , 2021 , 23 ( 3 ): 90 - 97 .

GAO L , FU Y Q , LI D S , et al . Development strategy for the core software and hardware of artificial intelligence in China [J ] . Strategic Study of CAE , 2021 , 23 ( 3 ): 90 - 97 . (in Chinese)

中华人民共和国国务院 . 国务院关于印发新一代人工智能发展规划的通知 [EB/OL ] . ( 2017-07-20 ) [ 2021-4-22 ] . https://www.gov.cn/zhengce/content/2017-07/20/content_5211996.htm https://www.gov.cn/zhengce/content/2017-07/20/content_5211996.htm .

The State Council of the People's Republic of China . Circular of the State Council on Issuing the Development Plan for a New Generation of Artificial Intelligence [EB/OL ] . ( 2017-07-20 ) [ 2021-04-22 ] . https://www.gov.cn/zhengce/content/2017-07/20/content_5211996.htm https://www.gov.cn/zhengce/content/2017-07/20/content_5211996.htm . (in Chinese)

中国信息通信研究院 . 全球人工智能战略与政策观察 ( 2020 ) [EB/OL ] . ( 2020-12 )[ 2025-10-10 ] . https://www.cai-ct.ac.cn/kxyj/qwfb/ztbg/202012/P020201229520426700957.pdf https://www.cai-ct.ac.cn/kxyj/qwfb/ztbg/202012/P020201229520426700957.pdf .

China Academy of Information and Communications Technology . Global AI Strategy and Policy Review ( 2020 )[EB/OL ] . ( 2020-12 ) [ 2025-10-10 ] . https://www.caict.ac.cn/kxyj/qwfb/ztbg/202012/P020201229520426700957.pdf https://www.caict.ac.cn/kxyj/qwfb/ztbg/202012/P020201229520426700957.pdf . (in Chinese)

美国国家科学技术委员会(中国信息通信研究院政策与经济研究所编译组整理) . 美国国家人工智能研究和发展战略计划 [EB/OL ] . ( 2016-10 )[ 2025-10-10 ] . http://www.caict.ac.cn/kxyj/qwfb/ztbg/201804/P020161102381492504518.pdf http://www.caict.ac.cn/kxyj/qwfb/ztbg/201804/P020161102381492504518.pdf .

National Science and Technology Council of the United States (Compiled by the Compilation Group of the Institute of Policy and Economics, China Academy of Information and Communications Technology) . National Artificial Intelligence Research and Development Strategic Plan [EB/OL ] . ( 2016-10 ) [ 2025-10-10 ] . http://www.caict.ac.cn/kxyj/qwfb/ztbg/201804/P020161102381492504518.pdf http://www.caict.ac.cn/kxyj/qwfb/ztbg/201804/P020161102381492504518.pdf . (in Chinese)

WHITE HOUSE THE . Executive order on maintaining American leadership in Artificial Intelligence [EB/OL ] . ( 2019-02-11 )[ 2025-10-10 ] . https://trumpwhitehouse.archives.gov/presidential-actions/executive-order-maintaining-american-leadership-artificial-intelligence/ https://trumpwhitehouse.archives.gov/presidential-actions/executive-order-maintaining-american-leadership-artificial-intelligence/ .

WHITE HOUSE THE . The national Artificial Intelligence research and development strategic plan: 2019 Update [EB/OL ] . ( 2019-06 )[ 2025-10-10 ] . https://www.nitrd.gov/pubs/National-AI-RD-Strategy-2019.pdf https://www.nitrd.gov/pubs/National-AI-RD-Strategy-2019.pdf .

梅宏 , 曹东刚 , 谢涛 . 泛在操作系统: 面向人机物融合泛在计算的新蓝海 [J ] . 中国科学院院刊 , 2022 , 37 ( 1 ): 30 - 37 .

MEI H , CAO D G , XIE T . Ubiquitous operating system: Toward the blue ocean of human-cyber-physical ternary ubiquitous computing [J ] . Bulletin of the Chinese Academy of Sciences , 2022 , 37 ( 1 ): 30 - 37 . (in Chinese)

CHOI Y , PARK S , CHA H . Graphics-aware power governing for mobile devices [C ] // Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services . New York : ACM , 2019 : 469 - 481 .

CHOI Y , PARK S , JEON S , et al . Optimizing energy consumption of mobile games [J ] . IEEE Transactions on Mobile Computing , 2022 , 21 ( 10 ): 3744 - 3756 .

DU D , HUA Z C , XIA Y B , et al . XPC: Architectural support for secure and efficient cross process call [C ] // 2019 ACM/IEEE 46th Annual International Symposium on Computer Architecture . Piscataway : IEEE , 2020 : 671 - 684 .

HERDER J N , BOS H , GRAS B , et al . MINIX 3: A highly reliable, self-repairing operating system [J ] . ACM SIGOPS Operating Systems Review , 2006 , 40 ( 3 ): 80 - 89 .

LIEDTKE J . On micro-kernel construction [J ] . ACM SIGOPS Operating Systems Review , 1995 , 29 ( 5 ): 237 - 250 .

LIEDTKE J . Toward real microkernels [J ] . Communications of the ACM , 1996 , 39 ( 9 ): 70 - 77 .

ELPHINSTONE K , HEISER G . From L3 to seL4 what have we learnt in 20 years of L4 microkernels [C ] // Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles . New York : ACM , 2013 : 133 - 150 .

CHEN H B , MIAO X , JIA N , et al . Microkernel goes general: Performance and compatibility in the HongMeng production microkernel [C ] // 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24) . Berkeley : USENIX Association , 2024 : 465 - 485 .

MICROSOFT . MS Windows NT Kernel-mode user and GDI white paper [EB/OL ] . ( 2014-01-01 )[ 2025-08-10 ] . https://learn.microsoft.com/en-us/previous-versions/cc750820(v=technet.10) https://learn.microsoft.com/en-us/previous-versions/cc750820(v=technet.10) .

APPLE . XNU Project [EB/OL ] . ( 2025-07-01 )[ 2025-08-10 ] . https://github.com/apple-oss-distributions/xnu https://github.com/apple-oss-distributions/xnu .

ENGLER D R . The Exokernel Operating System Architecture [D ] . Cambridge : Massachusetts Institute of Technology , 1998 .

余琪 . 基于外内核操作系统的调度研究 [D ] . 兰州 : 兰州大学 , 2014 .

YU Q . Research on Exokernel System Scheduling [D ] . Lanzhou : Lanzhou University , 2014 . (in Chinese)

李肇中 . 基于外内核操作系统的文件系统研究 [D ] . 兰州 : 兰州大学 , 2016 .

LI Z Z . A Study of File System Based on Exokernel Operating System [D ] . Lanzhou : Lanzhou University , 2016 . (in Chinese)

刘群 . 面向多核处理器的外内核操作系统研究 [D ] . 兰州 : 兰州大学 , 2014 .

LIU Q . A Study of Exokernel Operating System on [D ] . Lanzhou : Lanzhou University , 2014 . (in Chinese)

胡俊 . 外内核时间子系统的初步研究 [D ] . 兰州 : 兰州大学 , 2014 .

HU J . Preliminary Research on Time Subsystem in Exokernel [D ] . Lanzhou : Lanzhou University , 2014 . (in Chinese)

HAMBARDE P , VARMA R , JHA S . The survey of real time operating system: RTOS [C ] // 2014 International Conference on Electronic Systems, Signal Processing and Computing Technologies . Piscataway : IEEE , 2014 : 34 - 39 .

STANKOVIC J A , RAMAMRITHAM K . The Spring kernel: A new paradigm for real-time operating systems [J ] . ACM SIGOPS Operating Systems Review , 1989 , 23 ( 3 ): 54 - 71 .

MANTEGAZZA P , DOZIO E L , PAPACHARALAMBOUS S . RTAI: Real time application interface [J ] . Linux Journal , 2000 , 2000(72es): 10-es.

HILDEBRAND D . An architectural overview of QNX [C ] // Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures . New York : ACM , 1992 : 113 - 126 .

GRATTAN N , BRAIN M . Windows CE 3.0 [M ] . Upper Saddle River, NJ : Prentice Hall PTR , 2001 .

BURNS A , DAVIS R I . A survey of research into mixed criticality systems [J ] . ACM Computing Surveys (CSUR) . 2017 , 50 ( 6 ): 1 - 37 .

KAPPEL J A , VELTE A T , et al . Microsoft Virtualization with Hyper-V [M ] . New York : McGraw Hill , 2009 .

BARHAM P , DRAGOVIC B , FRASER K , et al . Xen and the art of virtualization [J ] . ACM SIGOPS Operating Systems Review , 2003 , 37 ( 5 ): 164 - 177 .

KIVITY A , KAMAY Y , LAOR D , et al . KVM: The Linux virtual machine monitor [C ] // Proceedings of the Linux Symposium . Ottawa : OLS , 2007 : 225 - 230 .

XI S S , WILSON J , LU C Y , et al . RT-Xen: Towards real-time hypervisor scheduling in Xen [C ] // 2011 Proceedings of the Ninth ACM International Conference on Embedded Software . Piscataway : IEEE , 2011 : 39 - 48 .

ABENI L , FAGGIOLI D . An experimental analysis of the xen and KVM latencies [C ] // 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing . Piscataway : IEEE , 2019 : 18 - 26 .

CZIVA R , PEZAROS D P . Container network functions: Bringing NFV to the network edge [J ] . IEEE Communications Magazine , 2017 , 55 ( 6 ): 24 - 31 .

HEISER G , LESLIE B . The OKL4 microvisor: Convergence point of microkernels and hypervisors [C ] // Proceedings of the First ACM Asia-Pacific Workshop on Workshop on Systems . New York : ACM , 2010 : 19 - 24 .

STEINBERG U , KAUER B . NOVA: A microhypervisor-based secure virtualization architecture [C ] // Proceedings of the 5th European Conference on Computer Systems . New York : ACM , 2010 : 209 - 222 .

ZHANG F Z , CHEN J , CHEN H B , et al . CloudVisor: Retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization [C ] // Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles . New York : ACM , 2011 : 203 - 216 .

CINQUE M , DELLA CORTE R , ELISO A , et al . Rt-cases: Container-based virtualization for temporally separated mixed-criticality task sets [C ] // 31st Euromicro Conference on Real-Time Systems (ECRTS 2019) . Wadern : Schloss Dagstuhl-Leibniz-Zentrum für Informatik , 2019 : 5 : 1 - 5 : 22 .

LANKES S , PICKARTZ S , BREITBART J . HermitCore: A unikernel for extreme scale computing [C ] // Proceedings of the 6th International Workshop on Runtime and Operating Systems for Supercomputers . New York : ACM , 2016 : 1 - 8 .

MARTINS J , AHMED M , RAICIU C , et al . ClickOS and the Art of Network Function Virtualization [C ] // 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14) . Berkeley : USENIX Association , 2014 : 459 - 473 .

KAISER R , WAGNER S . Evolution of the PikeOS microkernel [C ] // First International Workshop on Microkernels for Embedded Systems . Kensington : National ICT Australia , 2007 : 50 .

MASMANO M , RIPOLL I , CRESPO A , et al . Xtratum: A hypervisor for safety critical embedded systems [C ] // 11th Real-Time Linux Workshop . Dresden : IEEE , 2009 : 1 - 9 .

MARTINS J , TAVARES A , SOLIERI M , et al . Bao: A lightweight static partitioning hypervisor for modern multi-core embedded systems [C ] // Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020) . Dagstuhl : Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik , 2020 : 3 : 1 - 3 : 14 .

GOODARZY S , NAZARI M , HAN R , et al . SmartOS: Towards automated learning and user-adaptive resource allocation in operating systems [C ] // Proceedings of the 12th ACM SIGOPS Asia-Pacific Workshop on Systems . New York : ACM , 2021 : 48 - 55 .

AAEN SPRINGBORG A , ALBANO M , XAVIER-DE-SOUZA S . Automatic energy-efficient job scheduling in HPC: A novel SLURM plugin approach [C ] // Proceedings of the SC’ 23 Workshops of the International Conference on High Performance Computing , Network, Storage, and Analysis . New York : ACM , 2023 : 1831 - 1838 .

OTHMEN S , MANSOURI W , KHDHIR R . Applying artificial intelligence techniques for resource management in the Internet of Things (IoT) [J ] . International Journal of Electrical and Computer Engineering Systems , 2025 , 16 ( 2 ): 183 - 194 .

SELVARAJAN G P . AI-driven cloud resource management and orchestration [J ] . International Journal of Innovative Research in Science, Engineering and Technology , 2024 , 13 ( 11 ): 19367 - 19380 .

QIN X X , ZENG F P , ZHANG Y . MSNdroid: The Android malware detector based on multi-class features and deep belief network [C ] // Proceedings of the ACM Turing Celebration Conference - China . New York : ACM , 2019 : 1 - 5 .

ALZAYLAEE M K , YERIMA S Y , SEZER S . DL-Droid: Deep learning based Android malware detection using real devices [J ] . Computers & Security , 2020 , 89 : 101663 .

BENABDERRAHMANE S , HOANG N , VALTCHEV P , et al . Hack me if you can: Aggregating autoencoders for countering persistent access threats within highly imbalanced data [J ] . Future Generation Computer Systems , 2024 , 160 : 926 - 941 .

DUSANE P , SUJATHA G . LogEA: Log extraction and analysis tool to support forensic investigation of linux-based system [C ] // 2021 5th International Conference on Trends in Electronics and Informatics . Piscataway : IEEE , 2021 : 909 - 916 .

DAS A , MUELLER F , SIEGEL C , et al . Desh: Deep learning for system health prediction of lead times to failure in HPC [C ] // Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing . New York : ACM , 2018 : 40 - 51 .

LI T G , YING S , ZHAO Y S , et al . Batch jobs load balancing scheduling in cloud computing using distributional reinforcement learning [J ] . IEEE Transactions on Parallel and Distributed Systems , 2024 , 35 ( 1 ): 169 - 185 .

LIU J , JIA J C , MA B C , et al . Multi-job intelligent scheduling with cross-device federated learning [J ] . IEEE Transactions on Parallel and Distributed Systems , 2023 , 34 ( 2 ): 535 - 551 .

SCHÜPBACH A L . Tackling OS Complexity with Declarative Techniques [D ] . Zurich : ETH Zurich , 2012 .

CHEN J D , BANERJEE S S , KALBARCZYK Z T , et al . Machine learning for load balancing in the Linux kernel [C ] // Proceedings of the 11th ACM SIGOPS Asia-Pacific Workshop on Systems . New York : ACM , 2020 : 67 - 74 .

PANMAN DE WIT J S , BUCUR D , VAN DER HAM J . Dynamic detection of mobile malware using smartphone data and machine learning [J ] . Digital Threats: Research and Practice (DTRAP) , 2022 , 3 ( 2 ): 1 - 24 .

WIHAR J , MATHUR R , NORTHINGTON K , et al . A novel approach of LSTM-based ransomware detection in the Linux operating system kernel [EB/OL ] . ( 2024-09-19 )[ 2025-08-19 ] . https://d197for5662m48.cloudfront.net/documents/publicationstatus/224324/preprint_pdf/7408d68c8fd3caba127923e3a8736481.pdf https://d197for5662m48.cloudfront.net/documents/publicationstatus/224324/preprint_pdf/7408d68c8fd3caba127923e3a8736481.pdf .

KOMMRUSCH S . Artificial intelligence techniques for security vulnerability prevention [EB/OL ] . ( 2019-12-14 )[ 2025-12-01 ] . https://arXiv.org/abs/1912.06796 https://arXiv.org/abs/1912.06796 .

AGARWAL T , TYAGI A K . Artificial Intelligence and Qubit‐Based Operating Systems: Current Progress and Future perspectives [M ] // Quantum Computing in Cybersecurity . Hoboken : Wiley , 2023 : 121 - 136 .

GEORGE A S . Emerging trends in AI-driven cybersecurity: An in-depth analysis [J ] . Partners Universal Innovative Research Publication , 2024 , 2 ( 4 ): 15 - 28 .

TEMARA S . Harnessing the power of artificial intelligence to enhance next-generation cybersecurity [J ] . World Journal of Advanced Research and Reviews , 2024 , 23 ( 2 ): 797 - 811 .

RIZVI M . Enhancing cybersecurity: The power of artificial intelligence in threat detection and prevention [J ] . International Journal of Advanced Engineering Research and Science , 2023 , 10 ( 5 ): 55 - 60 .

ZHANG Y J , ZHOU L W , MAKRIS Y . Hardware-based real-time workload forensics via frame-level TLB profiling [C ] // 2019 IEEE 37th VLSI Test Symposium . Piscataway : IEEE , 2019 : 1 - 6 .

LOCHER M G . Optimizing IT operations with AIOps: An Investigation into the Opportunities and Challenges for Enterprise Adoption [D ] . Switzerland : Zurich University of Applied Sciences , 2023 .

NOTARO P , CARDOSO J , GERNDT M . A survey of AIOps methods for failure management [J ] . ACM Transactions on Intelligent Systems and Technology , 2021 , 12 ( 6 ): 1 - 45 .

ZHANG L Z , JIA T , JIA M X , et al . A survey of AIOps in the era of large language models [J ] . ACM Computing Surveys , 2025 , 58 ( 2 ): 1 - 35 .

PENG Y K , TIAN H L , XIAN J Y , et al . Framekernel: A safe and efficient kernel architecture via rust-based intra-kernel privilege separation [C ] // Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems . New York : ACM , 2024 : 31 - 37 .

PENG Y K , TIAN H L , ZHANG J Y , et al . Asterinas: A linux ABI-compatible, rust-based framekernel OS with a small and sound TCB [EB/OL ] . ( 2025-06-04 )[ 2025-11-10 ] . https://arXiv.org/abs/2506.03876 https://arXiv.org/abs/2506.03876 .

HAZARIKA A , PODDAR S , RAHAMAN H . Survey on memory management techniques in heterogeneous computing systems [J ] . IET Computers & Digital Techniques , 2020 , 14 ( 2 ): 47 - 60 .

Limited Arm . Introduction to the memory tagging extension [EB/OL ] . [ 2025-08-19 ] . https://developer.arm.com/documentation/108035/0100/Introduction-to-the-Memory-Tagging-Extension https://developer.arm.com/documentation/108035/0100/Introduction-to-the-Memory-Tagging-Extension .

PARTAP A , BONEH D . Memory tagging: A memory efficient design [EB/OL ] . ( 2022-11-03 )[ 2025-10-11 ] . https://arXiv.org/abs/2209.00307 https://arXiv.org/abs/2209.00307 .

LIMITED ARM . Pointer authentication code [EB/OL ] . [ 2025-08-18 ] . https://developer.arm.com/documentation/109576/0100/Pointer-Authentication-Code https://developer.arm.com/documentation/109576/0100/Pointer-Authentication-Code .

KIM H , LEE J , KIM S , et al . How’d security benefit reverse engineers : The implication of intel CET on function identification [C ] // 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks . Piscataway : IEEE , 2022 : 559 - 566 .

Microsoft . Kernel-mode hardware-enforced stack protection [EB/OL ] . ( 2023-01-27 )[ 2025-08-19 ] . https://learn.microsoft.com/en-us/windows-server/security/kernel-mode-hardware-stack-protection https://learn.microsoft.com/en-us/windows-server/security/kernel-mode-hardware-stack-protection .

DE A , BASU A , GHOSH S , et al . FIXER: Flow integrity extensions for embedded RISC-V [C ] // 2019 Design , Automation & Test in Europe Conference & Exhibition . Piscataway : IEEE , 2019 : 348 - 353 .

WANG Y , WU J T , YUE T , et al . RetTag: Hardware-assisted return address integrity on RISC-V [C ] // Proceedings of the 15th European Workshop on Systems Security . New York : ACM , 2022 : 50 - 56 .

WATSON R N M , NEUMANN P G , WOODRUFF J , et al . Capability hardware enhanced RISC instructions: CHERI instruction-set architecture [R ] . Cambridge : University of Cambridge , 2014

AMAR S , CHISNALL D , CHEN T , et al . CHERIoT: Complete memory safety for embedded devices [C ] // 2023 56th IEEE/ACM International Symposium on Microarchitecture . Piscataway : IEEE , 2024 : 641 - 653 .

YOO S , JERRAYA A A . Introduction to hardware abstraction layers for SoC [C ] // 2003 Design, Automation and Test in Europe Conference and Exhibition . Piscataway : IEEE , 2003 : 336 - 337 .

MAYRHOFER R , VANDER STOEP J , BRUBAKER C , et al . The Android platform security model ( 2023 )[EB/OL ] . ( 2024-01-09 )[ 2025-10-10 ] . https://arXiv.org/abs/1904.05572 https://arXiv.org/abs/1904.05572 .

YIM K S , MALCHEV I , HSIEH A , et al . Treble: Fast software updates by creating an equilibrium in an active software ecosystem of globally distributed stakeholders [EB/OL ] .( 2024-09-19 )[ 2025-10-10 ] . https://arxiv.org/abs/2410.02809 https://arxiv.org/abs/2410.02809 .

Microsoft . Secure boot [EB/OL ] . ( 2024-05-28 )[ 2025-08-18 ] . https://learn.microsoft.com/en-us/windows-hardware/design/device-experiences/oem-secure-boot https://learn.microsoft.com/en-us/windows-hardware/design/device-experiences/oem-secure-boot .

JIA Y K , LIU S , WANG W H , et al . HyperEnclave: An open and cross-platform trusted execution environment [EB/OL ] . ( 2022-12-08 )[ 2025-10-10 ] . https://arXiv.org/abs/2212.04197 https://arXiv.org/abs/2212.04197 .

Microsoft . Virtualization-based security (VBS) [EB/OL ] . ( 2024-05-28 )[ 2025-08-18 ] . https://learn.microsoft.com/en-us/windows-hardware/design/device-experiences/oem-vbs https://learn.microsoft.com/en-us/windows-hardware/design/device-experiences/oem-vbs .

Microsoft . Device guard and credential guard [EB/OL ] . ( 2024-05-28 )[ 2025-08-18 ] . https://learn.microsoft.com/en-us/windows-hardware/drivers/bringup/device-guard-and-credential-guard https://learn.microsoft.com/en-us/windows-hardware/drivers/bringup/device-guard-and-credential-guard .

WEI H J , LIN L K , LIN C Y , et al . Measuring and optimizing the performance of the Android virtualization framework [C ] // Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing . New York : ACM , 2024 : 1533 - 1535 .

Inc Apple . Virtualization: Create and manage virtual machines on Apple silicon and Intel-based Mac computers [EB/OL ] . ( 2024-06-10 )[ 2025-08-18 ] . https://developer.apple.com/documentation/virtualization https://developer.apple.com/documentation/virtualization .

RANDAZZO A , TINNIRELLO I . Kata containers: An emerging architecture for enabling MEC services in fast and secure way [C ] // 2019 Sixth International Conference on Internet of Things: Systems, Management and Security . Piscataway : IEEE , 2019 : 209 - 214 .

RUTKOWSKA J , WOJTCZUK R . Qubes OS architecture [J ] . Invisible Things Lab Tech Rep , 2010 , 54 : 65 .

KARAT C M , VERGO J , NAHAMOO D . Conversational Interface Technologies [M ] // The Human-Computer Interaction Handbook: Fundamentals, Evolving Technologies and Emerging Applications . New Jersey: L . Erlbaum Associates Inc., 2002 : 169 - 186 .

DAREJEH A , MASHAYEKH S , MARCUS N . Cognitive-based methods to facilitate learning of software applications via E-learning systems [J ] . Cogent Education , 2022 , 9 ( 1 ): 2082085 .

WANG L , MA C , FENG X Y , et al . A survey on large language model based autonomous agents [J ] . Frontiers of Computer Science , 2024 , 18 ( 6 ): 186345 .

MEI K , ZHU X , XU W J , et al . AIOS: LLM agent operating system [EB/OL ] . ( 2025-08-12 )[ 2025-10-10 ] . https://arXiv.org/abs/2403.16971 https://arXiv.org/abs/2403.16971 .

STRATTON J . An Iintroduction to Microsoft Copilot [M ] // Copilot for Microsoft 365 . Berkeley, CA : Apress , 2024 : 19 - 35 .

HOU X Y , ZHAO Y J , WANG S N , et al . Model context protocol (MCP): Landscape, security threats, and future research directions [EB/OL ] . ( 2025-10-07 )[ 2025-10-10 ] . https://arXiv.org/abs/2503.23278 https://arXiv.org/abs/2503.23278 .

YAN A , YANG Z Y , ZHU W R , et al . GPT-4V in wonderland: Large multimodal models for zero-shot smartphone GUI navigation [EB/OL ] . ( 2023-11-13 )[ 2025-10-10 ] . https://arXiv.org/abs/2311.07562 https://arXiv.org/abs/2311.07562 .

ZHANG C , YANG Z , LIU J X , et al . AppAgent: Multimodal agents as smartphone users [C ] // Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems . New York : ACM , 2025 : 1 - 20 .

WANG J Y , XU H Y , YE J B , et al . Mobile-agent: Autonomous multi-modal mobile device agent with visual perception [EB/OL ] . ( 2024-04-18 )[ 2025-10-10 ] . https://arXiv.org/abs/2401.16158 https://arXiv.org/abs/2401.16158 .

ZHANG C Y , LI L Q , HE S L , et al . UFO: A UI-focused agent for windows OS interaction [EB/OL ] . ( 2024-05-23 )[ 2025-10-10 ] . https://arXiv.org/abs/2402.07939 https://arXiv.org/abs/2402.07939 .

HONG W Y , WANG W H , LV Q S , et al . CogAgent: A visual language model for GUI agents [C ] // 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition . Piscataway : IEEE , 2024 : 14281 - 14290 .

DONGLE . AutoMate [EB/OL ] . ( 2025-03-20 )[ 2025-10-10 ] . https://github.com/yuruotong1/autoMate https://github.com/yuruotong1/autoMate .

HUANG J , CHANG K C . Towards reasoning in large language models: A survey [EB/OL ] . ( 2023-05-26 )[ 2025-10-10 ] . https://arXiv.org/abs/2212.10403 https://arXiv.org/abs/2212.10403 .

DU Y , WEI F Y , ZHANG H Y . AnyTool: Self-reflective, hierarchical agents for large-scale API calls [EB/OL ] . ( 2024-02-06 )[ 2025-10-10 ] . https://arXiv.org/abs/2402.04253 https://arXiv.org/abs/2402.04253 .

GUO T C , CHEN X Y , WANG Y Q , et al . Large language model based multi-agents: A survey of progress and challenges [EB/OL ] . ( 2024-04-19 )[ 2025-10-10 ] . https://arXiv.org/abs/2402.01680 https://arXiv.org/abs/2402.01680 .

GOOGLE . A2A protocol [EB/OL ] . [ 2025-08-12 ] . https://a2a-protocol.org/latest/ https://a2a-protocol.org/latest/ .

OpenAI . GPT-4o [EB/OL ] . ( 2024-08-28 )[ 2025-08-12 ] . https://platform.openai.com/docs/models/gpt-4o https://platform.openai.com/docs/models/gpt-4o .

TEAM G , ANIL R , BORGEAUD S , et al . Gemini: A family of highly capable multimodal models [EB/OL ] . ( 2025-05-09 )[ 2025-10-10 ] . https://arXiv.org/abs/2312.11805 https://arXiv.org/abs/2312.11805 .

SAGER P J , MEYER B , YAN P , et al . A comprehensive survey of agents for computer use: Foundations, challenges, and future directions [EB/OL ] . ( 2025-06-04 )[ 2025-10-10 ] . https://arXiv.org/abs/2501.16150 https://arXiv.org/abs/2501.16150 .

HU X Y , XIONG T , YI B , et al . OS agents: A survey on MLLM-based agents for general computing devices use [EB/OL ] . ( 2025-08-06 )[ 2025-10-10 ] . https://arXiv.org/abs/2508.04482 https://arXiv.org/abs/2508.04482 .

OpenAI . GPT-4V(ision) [EB/OL ] . ( 2024-09-22 )[ 2025-08-12 ] . https://platform.openai.com/docs/models/gpt-4-turbo-and-gpt-4 https://platform.openai.com/docs/models/gpt-4-turbo-and-gpt-4 .

MUÑOZ A , RÍOS R , ROMÁN R , et al . A survey on the (in)security of trusted execution environments [J ] . Computers & Security , 2023 , 129 : 103180 .

刘国杰 , 张建标 , 杨萍 , 等 . 基于TPCM的容器云可信环境研究 [J ] . 网络与信息安全学报 , 2021 , 7 ( 4 ): 164 - 174 .

LIU G J , ZHANG J B , YANG P , et al . Research on the trusted environment of container cloud based on the TPCM [J ] . Chinese Journal of Network and Information Security , 2021 , 7 ( 4 ): 164 - 174 . (in Chinese)

徐涛 , 孔帅迪 , 刘才华 , 等 . 异构机密计算综述 [J ] . 吉林大学学报(工学版) , 2025 , 55 ( 3 ): 755 - 770 .

XU T , KONG S D , LIU C H , et al . Overview of heterogeneous confidential computing [J ] . Journal of Jilin University (Engineering and Technology Edition) , 2025 , 55 ( 3 ): 755 - 770 . (in Chinese)

ZHOU Y L , PENG G J , LI Z C , et al . A survey on the evolution of bootkits attack and defense techniques [J ] . China Communications , 2024 , 21 ( 1 ): 102 - 130 .

ZHENG C M , LI J , YAO X X . Design and implementation of trusted boot based on a new trusted computing dual-architecture [J ] . Computers & Security , 2023 , 127 : 103095 .

MOHAMMADZAD M , KARIMPOUR J . Using rootkits hiding techniques to conceal honeypot functionality [J ] . Journal of Network and Computer Applications , 2023 , 214 : 103606 .

HUANG H X , ZHANG J B , ZHANG L , et al . SABDTM: Security-first architecture-based dynamic trusted measurement scheme for operating system of the virtual computing node [J ] . Computers & Security , 2024 , 137 : 103648 .

CHEN H . Optimized design of trusted boot architecture based on embedded devices [C ] // 2025 4th International Symposium on Computer Applications and Information Technology . Piscataway : IEEE , 2025 : 1043 - 1046 .

FENG D G , QIN Y , FENG W , et al . Survey of research on confidential computing [J ] . IET Communications , 2024 , 18 ( 9 ): 535 - 556 .

RUSSINOVICH M . Confidential computing: Elevating cloud security and privacy [J ] . Communications of the ACM , 2023 , 67 ( 1 ): 52 - 53 .

SABANIC P , MISONO M , BODEA T , et al . Confidential serverless computing [EB/OL ] . ( 2025-08-13 )[ 2025-10-10 ] . https://arXiv.org/abs/2504.21518 https://arXiv.org/abs/2504.21518 .

POPA R A . Confidential computing or cryptographic computing [J ] . Communications of the ACM , 2024 , 67 ( 12 ): 44 - 51 .

MARTISHIN S A , KHRAPCHENKO M V , SHOKUROV A V . Study of the problem of ensuring security in storage and processing of confidential data [J ] . Programming and Computer Software , 2022 , 48 ( 7 ): 424 - 434 .

BENADJILA R , KHATI L , VERGNAUD D . Secure storage: Confidentiality and authentication [J ] . Computer Science Review , 2022 , 44 : 100465 .

GLOBAL MARKET INSIGHTS . Global market insights: Market research reports [EB/OL ] . ( 2025-03-01 )[ 2025-10-10 ] . https://www.gminsights.com/industry-analysis/edge-ai-market https://www.gminsights.com/industry-analysis/edge-ai-market .

QIN R Y , LIU D C , XU C H , et al . Empirical guidelines for deploying LLMs onto resource-constrained edge devices [J ] . ACM Transactions on Design Automation of Electronic Systems , 2025 , 30 ( 5 ): 1 - 58 .

LIU L Y , ZHU H B , CHEN S L , et al . Privacy-aware task assignment for IoT audit applications on collaborative edge devices [J ] . Security and Communication Networks , 2022 , 2022 : 1336094 .

TOUVRON H , LAVRIL T , IZACARD G , et al . LLaMA: Open and efficient foundation language models [EB/OL ] . ( 2023-02-27 )[ 2025-10-10 ] . https://arXiv.org/abs/2302.13971 https://arXiv.org/abs/2302.13971 .

SEEDAT N , HUYNH N , VAN BREUGEL B , et al . Curated LLM: Synergy of LLMs and Data Curation for tabular augmentation in low-data regimes [EB/OL ] . ( 2024-06-30 )[ 2025-10-10 ] . https://arXiv.org/abs/2312.12112 https://arXiv.org/abs/2312.12112 .

DELL . Llama 2: Inferencing on a single gpu [EB/OL ] . [ 2025-08-10 ] . https://infohub.delltechnologies.com/zh-cn/t/llama-2-inferencing-on-a-single-gpu/ https://infohub.delltechnologies.com/zh-cn/t/llama-2-inferencing-on-a-single-gpu/ .

ZHOU Z X , NING X F , HONG K , et al . A survey on efficient inference for large language models [EB/OL ] . ( 2024-07-19 )[ 2025-10-10 ] . https://arXiv.org/abs/2404.14294 https://arXiv.org/abs/2404.14294 .

CHUNG J W , LIU J , WU Z , et al . The ML .ENERGY leaderboard [EB/OL ] . [ 2025-08-10 ] . https://ml.energy/leaderboard https://ml.energy/leaderboard .

XU J J , LI Z Y , CHEN W , et al . On-device language models: A comprehensive review [EB/OL ] . ( 2024-09-14 )[ 2025-10-10 ] . https://arXiv.org/abs/2409.00088 https://arXiv.org/abs/2409.00088 .

李诚 . 面向LLM推理服务的体系结构 [R/OL ] . ( 2024-07-01 )[ 2025-07-20 ] . http://syswonder-cdn.oscommunity.cn/20240706-llmarch-3-lc.pdf http://syswonder-cdn.oscommunity.cn/20240706-llmarch-3-lc.pdf .

Li C . Architecture for LLM Inference Services [R/OL ] . ( 2024-07-01 ) [ 2025-07-20 ] . http://syswonder-cdn.oscommunity.cn/20240706-llmarch-3-lc.pdf http://syswonder-cdn.oscommunity.cn/20240706-llmarch-3-lc.pdf .

PRESS O , WOLF L . Using the output embedding to improve language models [EB/OL ] . ( 2017-02-21 )[ 2025-10-10 ] . https://arXiv.org/abs/1608.05859 https://arXiv.org/abs/1608.05859 .

LIU Z C , ZHAO C S , IANDOLA F , et al . MobileLLM: Optimizing sub-billion parameter language models for on-device use cases [EB/OL ] . ( 2024-06-27 )[ 2025-10-10 ] . https://arXiv.org/abs/2402.14905 https://arXiv.org/abs/2402.14905 .

SANTACROCE M , WEN Z X , SHEN Y L , et al . What matters in the structured pruning of generative language models [EB/OL ] . ( 2023-02-07 )[ 2025-10-10 ] . https://arXiv.org/abs/2302.03773 https://arXiv.org/abs/2302.03773 .

MA X Y , FANG G F , WANG X C . LLM-pruner: On the structural pruning of large language models [EB/OL ] . ( 2023-09-28 )[ 2025-10-10 ] . https://arXiv.org/abs/2305.11627 https://arXiv.org/abs/2305.11627 .

CHEN T Y , DING T Y , YADAV B , et al . LoRAShear: Efficient large language model structured pruning and knowledge recovery [EB/OL ] . ( 2023-10-31 )[ 2025-10-10 ] . https://arXiv.org/abs/2310.18356 https://arXiv.org/abs/2310.18356 .

ZHANG M , CHEN H , SHEN C , et al . LoRAPrune: Structured pruning meets low-rank parameter-efficient fine-tuning [C ] // Findings of the Association for Computational Linguistics: ACL 2024 . Stroudsburg : ACL , 2024 : 3013 - 3026 .

FRANTAR E , ALISTARH D . SparseGPT: Massive language models can be accurately pruned in one-shot [EB/OL ] . ( 2023-03-22 )[ 2025-10-10 ] . https://arXiv.org/abs/2301.00774 https://arXiv.org/abs/2301.00774 .

SUN M J , LIU Z , BAIR A , et al . A simple and effective pruning approach for large language models [EB/OL ] . ( 2024-05-06 )[ 2025-10-10 ] . https://arXiv.org/abs/2306.11695 https://arXiv.org/abs/2306.11695 .

SHAO H , LIU B , QIAN Y M . One-shot sensitivity-aware mixed sparsity pruning for large language models [C ] // ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing . Piscataway : IEEE , 2024 : 11296 - 11300 .

GU Y X , DONG L , WEI F R , et al . MiniLLM: Knowledge distillation of large language models [EB/OL ] . ( 2025-11-21 )[ 2025-12-01 ] . https://arXiv.org/abs/2306.08543 https://arXiv.org/abs/2306.08543 . (in Chinese)

ZHANG C , LI Q C , SONG D W , et al . Towards the law of capacity gap in distilling language models [EB/OL ] . ( 2025-07-30 )[ 2025-10-10 ] . https://arXiv.org/abs/2311.07052 https://arXiv.org/abs/2311.07052 .

AGARWAL R , VIEILLARD N , ZHOU Y C , et al . On-policy distillation of language models: Learning from self-generated mistakes [EB/OL ] . ( 2024-01-17 )[ 2025-10-10 ] . https://arXiv.org/abs/2306.13649 https://arXiv.org/abs/2306.13649 .

ZHU X K , QI B Q , ZHANG K Y , et al . PaD: Program-aided distillation can teach small models reasoning better than chain-of-thought fine-tuning [EB/OL ] . ( 2024-03-20 )[ 2025-10-10 ] . https://arXiv.org/abs/2305.13888 https://arXiv.org/abs/2305.13888 .

LI L H , HESSEL J , YU Y , et al . Symbolic chain-of-thought distillation: Small models can also “think” step-by-step [EB/OL ] . ( 2024-04-15 )[ 2025-10-10 ] . https://arXiv.org/abs/2306.14050 https://arXiv.org/abs/2306.14050 .

WANG P F , WANG Z Y , LI Z , et al . SCOTT: Self-consistent chain-of-thought distillation [EB/OL ] . ( 2023-08-30 )[ 2025-10-10 ] . https://arXiv.org/abs/2305.01879 https://arXiv.org/abs/2305.01879 .

CHEN Z M , GAO Q Y , BOSSELUT A , et al . DISCO: Distilling counterfactuals with large language models [EB/ OL ] . ( 2023-06-05 )[ 2025-10-10 ] . https://arXiv.org/abs/2212.10534 https://arXiv.org/abs/2212.10534 .

KIM S , MANGALAM K , MOON S , et al . Speculative decoding with big little decoder [C ] // Proceedings of the 37th International Conference on Neural Information Processing Systems . New York : ACM , 2023 : 39236 - 39256 .

XU D L , YIN W S , JIN X , et al . LLMCad: Fast and scalable on-device large language model inference [EB/OL ] . ( 2023-09-08 )[ 2025-10-10 ] . https://arXiv.org/abs/2309.04255 https://arXiv.org/abs/2309.04255 .

DAO T , FU D Y , ERMON S , et al . FlashAttention: Fast and memory-efficient exact attention with IO-awareness [EB/OL ] . ( 2022-06-23 )[ 2025-10-10 ] . https://arXiv.org/abs/2205.14135 https://arXiv.org/abs/2205.14135 .

KWON W , LI Z H , ZHUANG S Y , et al . Efficient memory management for large language model serving with PagedAttention [C ] // Proceedings of the 29th Symposium on Operating Systems Principles . New York : ACM , 2023 : 611 - 626 .

GGERGANOV , SLAREN , NGXSON , et al . llama .cpp: Lightweight library for approximate nearest neighbors and maximum inner product search[EB/OL ] . ( 2025-08-29 )[ 2025-10-10 ] . https://github.com/ggerganov/llama.cpp https://github.com/ggerganov/llama.cpp .

SONG Y X , MI Z Y , XIE H T , et al . PowerInfer: Fast large language model serving with a consumer-grade GPU [C ] // Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles . New York : ACM , 2024 : 590 - 606 .

LI L C , QIAN S , LU J , et al . Transformer-lite: High-efficiency deployment of large language models on mobile phone GPUs [EB/OL ] . ( 2024-07-05 )[ 2025-10-10 ] . https://arXiv.org/abs/2403.20041 https://arXiv.org/abs/2403.20041 .

DING D J , MALLICK A , WANG C , et al . Hybrid LLM: Cost-efficient and quality-aware query routing [EB/OL ] . ( 2024-04-22 )[ 2025-10-10 ] . https://arXiv.org/abs/2404.14618 https://arXiv.org/abs/2404.14618 .

WANG Y D , CHEN K , TAN H S , et al . Tabi: An efficient multi-level inference system for large language models [C ] // Proceedings of the Eighteenth European Conference on Computer Systems . New York : ACM , 2023 : 233 - 248 .

VLLM PROJECT TEAM . VLLM documentation [EB/OL ] . ( 2025-11-15 )[ 2025-12-01 ] . https://docs.vllm.ai/en/stable/ https://docs.vllm.ai/en/stable/ .

CAI F L , YUAN D , YANG Z , et al . Edge-LLM: A collaborative framework for large language model serving in edge computing [C ] // 2024 IEEE International Conference on Web Services . Piscataway : IEEE , 2024 : 799 - 809 .

XU X H , LI M , TAO C Y , et al . A survey on knowledge distillation of large language models [EB/OL ] . ( 2024-10-21 )[ 2025-10-10 ] . https://arXiv.org/abs/2402.13116 https://arXiv.org/abs/2402.13116 .

WANG R , GAO Z Y , ZHANG L Y , et al . Empowering large language models to edge intelligence: A survey of edge efficient LLMs and techniques [J ] . Computer Science Review , 2025 , 57 : 100755 .

CHEN C , BORGEAUD S , IRVING G , et al . Accelerating large language model decoding with speculative sampling [EB/OL ] . ( 2023-02-02 )[ 2025-10-10 ] . https://arXiv.org/abs/2302.01318 https://arXiv.org/abs/2302.01318 .

LEVIATHAN Y , KALMAN M , MATIAS Y . Fast inference from transformers via speculative decoding [EB/OL ] . ( 2023-05-18 )[ 2025-10-10 ] . https://arXiv.org/abs/2211.17192 https://arXiv.org/abs/2211.17192 .

GHOLAMI A , HOOPER C , KEUTZER K , et al . KVQuant: Towards 10 million context length LLM inference with KV cache quantization [C ] // Advances in Neural Information Processing Systems 37 . Neural Information Processing Systems Foundation, Inc. (NeurIPS) , 2024 : 1270 - 1303 .

XIAO G X , TIAN Y D , CHEN B D , et al . Efficient streaming language models with attention sinks [EB/OL ] . ( 2024-04-07 )[ 2025-10-10 ] . https://arXiv.org/abs/2309.17453 https://arXiv.org/abs/2309.17453 .

LIU Z C , DESAI A , LIAO F S , et al . Scissorhands: Exploiting the persistence of importance hypothesis for LLM KV cache compression at test time [EB/OL ] . ( 2023-08-28 )[ 2025-10-10 ] . https://arXiv.org/abs/2305.17118 https://arXiv.org/abs/2305.17118 .

ZHANG Z Y , SHENG Y , ZHOU T Y , et al . H 2 O: Hea vy-hitter oracle for efficient generative inference of large language models [EB/OL ] . ( 2023-12-18 )[ 2025-10-10 ] . https://arXiv.org/abs/2306.14048 https://arXiv.org/abs/2306.14048 .

LIU Z R , YUAN J Y , JIN H Y , et al . KIVI: A tuning-free asymmetric 2bit quantization for KV cache [EB/OL ] . ( 2024-07-25 )[ 2025-10-10 ] . https://arXiv.org/abs/2402.02750 https://arXiv.org/abs/2402.02750 .

SCHUSTER T , FISCH A , GUPTA J , et al . Confident adaptive language modeling [EB/OL ] . ( 2022-10-25 )[ 2025-10-10 ] . https://arXiv.org/abs/2207.07061 https://arXiv.org/abs/2207.07061 .

ZENG Z Q , HONG Y H , DAI H L , et al . ConsistentEE: A consistent and hardness-guided early exiting method for accelerating language models inference [J ] . Proceedings of the AAAI Conference on Artificial Intelligence , 2024 , 38 ( 17 ): 19506 - 19514 .

DEL CORRO L , DEL GIORNO A , AGARWAL S , et al . SkipDecode: Autoregressive skip decoding with batching and caching for efficient LLM inference [EB/OL ] . ( 2023-07-05 )[ 2025-10-10 ] . https://arXiv.org/abs/2307.02628 https://arXiv.org/abs/2307.02628 .

DAO T . FlashAttention-2: Faster attention with better parallelism and work partitioning [EB/OL ] . ( 2023-07-17 )[ 2025-10-10 ] . https://arXiv.org/abs/2307.08691 https://arXiv.org/abs/2307.08691 .

BIKSHANDI G , DAO T , RAMANI P , et al . FlashAttention-3: Fast and accurate attention with asynchrony and low-precision [C ] // Advances in Neural Information Processing Systems 37 . Neural Information Processing Systems Foundation, Inc. (NeurIPS) , 2024 : 68658 - 68685 .

XIA H J , ZHENG Z , LI Y C , et al . Flash-LLM: Enabling cost-effective and highly-efficient large generative model inference with unstructured sparsity [EB/OL ] . ( 2023-09-19 )[ 2025-10-10 ] . https://arXiv.org/abs/2309.10285 https://arXiv.org/abs/2309.10285 .

SHENG Y , ZHENG L M , YUAN B H , et al . FlexGen: High-throughput generative inference of large language models with a single GPU [EB/OL ] . ( 2023-06-12 )[ 2025-10-10 ] . https://arXiv.org/abs/2303.06865 https://arXiv.org/abs/2303.06865 .

XUE Z L , SONG Y X , MI Z Y , et al . PowerInfer-2: Fast large language model inference on a smartphone [EB/OL ] . ( 2024-12-12 )[ 2025-10-10 ] . https://arXiv.org/abs/2406.06282 https://arXiv.org/abs/2406.06282 .

LIU L , YANG X Y , SHEN Y , et al . Think-in-memory: Recalling and post-thinking enable LLMs with long-term memory [EB/OL ] . ( 2023-11-15 )[ 2025-10-10 ] . https://arXiv.org/abs/2311.08719 https://arXiv.org/abs/2311.08719 .

BROWN T B , MANN B , RYDER N , et al . Language models are few-shot learners [EB/OL ] . ( 2020-07-22 )[ 2025-10-10 ] . https://arXiv.org/abs/2005.14165 https://arXiv.org/abs/2005.14165 .

DEVLIN J , CHANG M W , LEE K , et al . BERT: Pre-training of deep bidirectional transformers for language understanding [C ] // Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers) . Kerrville : Association for Computational Linguistics 2019 : 4171 - 4186 .

BAI Y T , JONES A , NDOUSSE K , et al . Training a helpful and harmless assistant with reinforcement learning from human feedback [EB/OL ] . ( 2022-04-12 )[ 2025-10-10 ] . https://arXiv.org/abs/2204.05862 https://arXiv.org/abs/2204.05862 .

OUYANG L , WU J , XU J , et al . Training language models to follow instructions with human feedback [EB/OL ] . ( 2022-03-04 )[ 2025-10-10 ] . https://arXiv.org/abs/2203.02155 https://arXiv.org/abs/2203.02155 .

CHEN T X , TAN Z T , GONG T , et al . Llama SLayer 8B: Shallow layers hold the key to knowledge injection [EB/OL ] . ( 2024-10-03 )[ 2025-10-10 ] . https://arXiv.org/abs/2410.02330 https://arXiv.org/abs/2410.02330 .

HU E J , SHEN Y L , WALLIS P , et al . LoRA: Low-rank adaptation of large language models [EB/OL ] . ( 2021-10-16 )[ 2025-10-10 ] . https://arXiv.org/abs/2106.09685 https://arXiv.org/abs/2106.09685 .

MITCHELL E , LIN C , BOSSELUT A , et al . Memory-based model editing at scale [EB/OL ] . ( 2022-06-13 )[ 2025-10-10 ] . https://arXiv.org/abs/2206.06520 https://arXiv.org/abs/2206.06520 .

DONG Q X , DAI D M , SONG Y F , et al . Calibrating factual knowledge in pretrained language models [EB/OL ] . ( 2022-10-18 )[ 2025-10-10 ] . https://arXiv.org/abs/2210.03329 https://arXiv.org/abs/2210.03329 .

CHENG X , LIN Y K , CHEN X Y , et al . Decouple knowledge from parameters for plug-and-play language modeling [EB/OL ] . ( 2023-09-18 )[ 2025-10-10 ] . https://arXiv.org/abs/2305.11564 https://arXiv.org/abs/2305.11564 .

HARTVIGSEN T , SANKARANARAYANAN S , PALANGI H , et al . Aging with GRACE: Lifelong model editing with discrete key-value adaptors [EB/OL ] . ( 2023-10-18 )[ 2025-10-10 ] . https://arXiv.org/abs/2211.11031 https://arXiv.org/abs/2211.11031 .

CHEN H , PASUNURU R , WESTON J , et al . Walking down the memory maze: Beyond context limit through interactive reading [EB/OL ] . ( 2023-10-08 )[ 2025-10-10 ] . https://arXiv.org/abs/2310.05029 https://arXiv.org/abs/2310.05029 .

EDGE D , TRINH H , CHENG N , et al . From local to global: A graph RAG approach to query-focused summarization [EB/OL ] . ( 2025-02-19 )[ 2025-10-10 ] . https://arXiv.org/abs/2404.16130 https://arXiv.org/abs/2404.16130 .

GUO Z R , XIA L H , YU Y H , et al . LightRAG: Simple and fast retrieval-augmented generation [EB/OL ] . ( 2025-04-28 )[ 2025-10-10 ] . https://arXiv.org/abs/2410.05779 https://arXiv.org/abs/2410.05779 .

RASMUSSEN P , PALIYCHUK P , BEAUVAIS T , et al . Zep: A temporal knowledge graph architecture for agent memory [EB/OL ] . ( 2025-01-20 )[ 2025-10-10 ] . https://arXiv.org/abs/2501.13956 https://arXiv.org/abs/2501.13956 .

XU W J , LIANG Z J , MEI K , et al . A-MEM: Agentic memory for LLM agents [EB/OL ] . ( 2025-10-08 )[ 2025-10-10 ] . https://arXiv.org/abs/2502.12110 https://arXiv.org/abs/2502.12110 .

OCKER F , DEIGMÖLLER J , SMIRNOV P , et al . A grounded memory system for smart personal assistants [EB/OL ] . ( 2025-05-09 )[ 2025-10-10 ] . https://arXiv.org/abs/2505.06328 https://arXiv.org/abs/2505.06328 .

LIANG X , NIU S M , LI Z Y , et al . Empowering large language models to set up a knowledge retrieval indexer via self-learning [EB/OL ] . ( 2024-05-27 )[ 2025-10-10 ] . https://arXiv.org/abs/2405.16933 https://arXiv.org/abs/2405.16933 .

YANG H K , LIN Z H , WANG W J , et al . Memory3: Language modeling with explicit memory [EB/OL ] . ( 2024-07-01 )[ 2015-10-10 ] . https://arXiv.org/abs/2407.01178 https://arXiv.org/abs/2407.01178 .

PARK J S , O’BRIEN J , CAI C J , et al . Generative agents: Interactive simulacra of human behavior [C ] // Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology . New York : ACM , 2023 : 1 - 22 .

SUN H T , ZHUANG Y C , KONG L K , et al . AdaPlanner: Adaptive planning from feedback with language models [EB/OL ] . ( 2023-05-26 )[ 2025-10-10 ] . https://arXiv.org/abs/2305.16653 https://arXiv.org/abs/2305.16653 .

WANG G Z , XIE Y Q , JIANG Y F , et al . Voyager: An open-ended embodied agent with large language models [EB/OL ] . ( 2023-10-19 )[ 2025-10-10 ] . https://arXiv.org/abs/2305.16291 https://arXiv.org/abs/2305.16291 .

Wu J , Zhong X , Sun J , et al . Structure-R1: Dynamically Leveraging Structural Knowledge in LLM Reasoning through Reinforcement Learning [J ] . arXiv preprint arXiv: 2510.15191 , 2025 .

WANG W Z , DONG L , CHENG H , et al . Augmenting language models with long-term memory [EB/OL ] . ( 2023-06-12 )[ 2025-10-10 ] . https://arXiv.org/abs/2306.07174 https://arXiv.org/abs/2306.07174 .

HUANG L , LAN H Z , SUN Z J , et al . Emotional RAG: Enhancing role-playing agents through emotional retrieval [C ] // 2024 IEEE International Conference on Knowledge Graph . Piscataway : IEEE , 2025 : 120 - 127 .

WANG Y , GAO Y F , CHEN X S , et al . MEMORYLLM: Towards self-updatable large language models [EB/OL ] . ( 2024-05-26 )[ 2025-10-10 ] . https://arXiv.org/abs/2402.04624 https://arXiv.org/abs/2402.04624 .

SHINN N , CASSANO F , BERMAN E , et al . Reflexion: Language agents with verbal reinforcement learning [EB/OL ] . ( 2023-10-10 )[ 2025-10-10 ] . https://arXiv.org/abs/2303.11366 https://arXiv.org/abs/2303.11366 .

ZHONG W J , GUO L H , GAO Q Q , et al . MemoryBank: Enhancing large language models with long-term memory [J ] . Proceedings of the AAAI Conference on Artificial Intelligence , 2024 , 38 ( 17 ): 19724 - 19731 .

KANG J Z , JI M M , ZHAO Z , et al . Memory OS of AI agent [EB/OL ] . ( 2025-05-30 )[ 2025-10-10 ] . https://arXiv.org/abs/2506.06326 https://arXiv.org/abs/2506.06326 .

LI Z Y , XI C Y , LI C Y , et al . MemOS: A memory OS for AI system [EB/OL ] . ( 2025-12-03 )[ 2025-10-10 ] . https://arXiv.org/abs/2507.03724 https://arXiv.org/abs/2507.03724 .

WU Q , BANSAL G , ZHANG J , et al . Autogen: Enabling next-gen LLM applications via multi-agent conversations [EB/OL ] . ( 2023-10-03 )[ 2025-10-10 ] . https://arxiv.org/abs/2308.08155 https://arxiv.org/abs/2308.08155 .

WANG Y , KROTOV D , HU Y Z , et al . M+: Extending MemoryLLM with scalable long-term memory [EB/OL ] . ( 2025-05-30 )[ 2025-10-10 ] . https://arXiv.org/abs/2502.00592 https://arXiv.org/abs/2502.00592 .

ZHANG Z Y , DAI Q Y , BO X H , et al . A survey on the memory mechanism of large language model-based agents [J ] . ACM Transactions on Information Systems , 2025 , 43 ( 6 ): 1 - 47 .

ZENG R H , FANG J Y , LIU S W , et al . On the structural memory of LLM agents [EB/OL ] . ( 2024-12-17 )[ 2025-10-10 ] . https://arXiv.org/abs/2412.15266 https://arXiv.org/abs/2412.15266 .

TANG X R , HU T Y , YE M Y , et al . ChemAgent: Self-updating library in large language models improves chemical reasoning [EB/OL ] . ( 2025-01-11 )[ 2025-10-10 ] . https://arXiv.org/abs/2501.06590 https://arXiv.org/abs/2501.06590 .

ZHANG Z Y , DAI Q Y , CHEN X , et al . MemEngine: A unified and modular library for developing advanced memory of LLM-based agents [C ] // Companion Proceedings of the ACM on Web Conference 2025 . New York : ACM , 2025 : 821 - 824 .

MILLER M . Trends, challenge, and shifts in software vulnerability mitigation [C ] // BlueHat IL Conference . Tel Aviv : Microsoft , 2019 : 10 - 10 .

KLABNIK S K , NICHOLS C . The Rust Programming Language [M ] . San Francisco : No Starch Press , 2018

Li S , Sato H . W-kernel: An OS kernel architecture designed with isolation and customizability [C ] // Proceedings of the 2023 5th International Conference on Software Engineering and Development . 2023 : 42 - 50 .

GU R , SHAO Z , CHEN H , et al . {CertiKOS}: An extensible architecture for building certified concurrent {OS} kernels [C ] // 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . Berkeley : USENIX Association , 2016 : 653 - 669 .

AGACHE A , BROOKER M , IORDACHE A , et al . Firecracker: Lightweight virtualization for serverless applications [C ] // 17th USENIX symposium on networked systems design and implementation (NSDI 20) . Berkeley : USENIX Association , 2020 : 419 - 434 .

LIGUORI A . The nitro project-next generation aws infrastructure [EB/OL ] . [ 2025-10-10 ] . https://www.old.hotchips.org/hc31/HC31_T1_AWS_Nitro_Hot_Chips_20190818-2.pdf https://www.old.hotchips.org/hc31/HC31_T1_AWS_Nitro_Hot_Chips_20190818-2.pdf .

AMAZON WEB SERVICES . Bottlerocket [EB/OL ] . [ 2025-08-18 ] . https://bottlerocket.dev/en/ https://bottlerocket.dev/en/ .

ANDROID OPEN SOURCE PROJECT . Android virtualization framework [EB/OL ] . ( 2025-03-04 )[ 2025-08-19 ] . https://source.android.com/docs/core/virtualization https://source.android.com/docs/core/virtualization .

LI Z F , NARAYANAN V , CHEN X D , et al . Rust for linux: Understanding the security impact of rust in the linux kernel [C ] // 2024 Annual Computer Security Applications Conference . Piscataway : IEEE , 2025 : 548 - 562 .

LEVY A , CAMPBELL B , GHENA B , et al . The tock embedded operating system [C ] // Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems . New York : ACM , 2017 : 1 - 2 .

LEVY A , CAMPBELL B , GHENA B , et al . Multiprogramming a 64kB computer safely and efficiently [C ] // Proceedings of the 26th Symposium on Operating Systems Principles . New York : ACM , 2017 : 234 - 251 .

REDOX DEVELOPERS . Redox OS [EB/OL ] . ( 2024-05-31 )[ 2025-08-26 ] . https://www.redox-os.org/ https://www.redox-os.org/ .

THE RUSTC DEV GUIDE CONTRIBUTORS . The MIR (Mid-level IR) [EB/OL ] . ( 2024-08-15 )[ 2025-08-26 ] . https://rustc-dev-guide.rust-lang.org/mir/index.html https://rustc-dev-guide.rust-lang.org/mir/index.html .

ASTRAUSKAS V , MÜLLER P , POLI F , et al . Leveraging rust types for modular specification and verification [C ] // Proceedings of the ACM on Programming Languages . New York : ACM , 2019 , 3(OOPSLA): 1- 30 .

VANHATTUM A , SCHWARTZ-NARBONNE D , CHONG N , et al . Verifying dynamic trait objects in rust [C ] // 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice . Piscataway : IEEE , 2022 : 321 - 330 .

LATTUADA A , HANCE T , CHO C , et al . Verus: Verifying rust programs using linear ghost types [C ] // Proceedings of the ACM on Programming Languages . New York : ACM , 2023 , 7 (OOPSLA 1 ): 286 - 315 .

LATTUADA A , HANCE T , BOSAMIYA J , et al . Verus: A practical foundation for systems verification [C ] // Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles . New York : ACM , 2024 : 438 - 454 .

KLEIN G , ELPHINSTONE K , HEISER G , et al . seL4: Formal verification of an OS kernel [C ] // Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles . New York : ACM , 2009 : 207 - 220 .

NIPKOW T , WENZEL M , PAULSON L C . Isabelle/HOL [M ] . Berlin, Heidelberg : Springer , 2002 .

GU L , VAYNBERG A , FORD B , et al . CertiKOS: A certified kernel for secure cloud computing [C ] // Proceedings of the Second Asia-Pacific Workshop on Systems . New York : ACM , 2011 : 1 - 5 .

PAULIN-MOHRING C . Inductive definitions in the system Coq rules and properties [C ] // Typed Lambda Calculi and Applications . Berlin : Springer , 1993 : 328 - 345 .

NELSON L , SIGURBJARNARSON H , ZHANG K Y , et al . Hyperkernel: Push-button verification of an OS kernel [C ] // Proceedings of the 26th Symposium on Operating Systems Principles . New York : ACM , 2017 : 252 - 269 .

DE MOURA L , BJØRNER N . Z3: An efficient SMT solver [C ] // Tools and Algorithms for the Construction and Analysis of Systems . Berlin : Springer , 2008 : 337 - 340 .

LI S W , LI X , GU R , et al . Formally verified memory protection for a commodity multiprocessor hypervisor [C ] // 30th USENIX Security Symposium (USENIX Security 21) . Berkeley : USENIX Association , 2021 : 3953 - 3970 .

LI S W , LI X P , GU R H , et al . A secure and formally verified linux KVM hypervisor [C ] // 2021 IEEE Symposium on Security and Privacy . Piscataway : IEEE , 2021 : 1782 - 1799 .

BAI Y K , LI P N , HUANG Y B , et al . HyperTEE: A decoupled TEE architecture with secure enclave management [C ] // 2024 57th IEEE/ACM International Symposium on Microarchitecture . Piscataway : IEEE , 2024 : 105 - 120 .

LING Z , YAN H Y , SHAO X H , et al . Secure boot, trusted boot and remote attestation for ARM TrustZone-based IoT Nodes [J ] . Journal of Systems Architecture , 2021 , 119 : 102240 .

JIANG J H , CHEN C L , FENG S L , et al . Embodied intelligence: The key to unblocking generalized artificial intelligence [EB/OL ] . ( 2025-05-11 )[ 2025-10-10 ] . https://arXiv.org/abs/2505.06897 https://arXiv.org/abs/2505.06897 .

KUIPERS B , FEIGENBAUM E A , HART P E , et al . Shakey: From conception to history [J ] . AI Magazine , 2017 , 38 ( 1 ): 88 - 103 .

FIKES R E , NILSSON N J . Strips: A new approach to the application of theorem proving to problem solving [J ] . Artificial Intelligence , 1971 , 2 ( 3/4 ): 189 - 208 .

BROOKS R . A robust layered control system for a mobile robot [J ] . IEEE Journal on Robotics and Automation , 1986 , 2 ( 1 ): 14 - 23 .

GAT E , BONNASSO R P , MURPHY R , et al . On three-layer architectures [J ] . Artificial intelligence and mobile robots , 1998 , 195 : 210 .

METTA G , FITZPATRICK P , NATALE L . YARP: Yet another robot platform [J ] . International Journal of Advanced Robotic Systems , 2006 , 3 : 8 .

QUIGLEY M , GERKEY B , CONLEY K , et al . ROS: An open-source Robot Operating System [EB/OL ] . [ 2025-10-10 ] . http://www.robotics.stanford.edu/~ang/papers/icraoss09-ROS.pdf http://www.robotics.stanford.edu/~ang/papers/icraoss09-ROS.pdf .

MACENSKI S , FOOTE T , GERKEY B , et al . Robot Operating System 2: Design, architecture, and uses in the wild [J ] . Science Robotics , 2022 , 7 ( 66 ): eabm6074 .

KIM D S , TRAN-DANG H . An Overview on Industrial Internet of Things [M ] // Industrial Sensors and Controls in Communication Networks: From Wired Technologies to Cloud Computing and the Internet of Things . Cham : Springer International Publishing , 2019 : 207 - 216 .

REENA HOODA E AL . Industrial Internet of Things: An analysis of emergence, component and challenges [J ] . International Journal on Recent and Innovation Trends in Computing and Communication , 2023 , 11 ( 10 ): 2010 - 2017 .

MISHRA S , TYAGI A K , MAITY I , et al . Design and implementation of internet of everything’s business platform ecosystem [EB/OL ] . [ 2025-10-10 ] . https://d1wqtxts1xzle7.cloudfront.net/104128678/207d8ad0-be85-4864-8fb2-d286176b3074-libre.pdf https://d1wqtxts1xzle7.cloudfront.net/104128678/207d8ad0-be85-4864-8fb2-d286176b3074-libre.pdf

ABUNAHLA H , GADHAFI R , MOHAMMAD B , et al . Integrated graphene oxide resistive element in tunable RF filters [J ] . Scientific Reports , 2020 , 10 : 13128 .

KRUTWIG M C . Suitability of OPC UA for distributed energy monitoring [J ] . Proceedings of the International Conference on Business Excellence , 2019 , 13 ( 1 ): 399 - 410 .

SUFIAN A T , ABDULLAH B M , ATEEQ M , et al . Six-gear roadmap towards the smart factory [J ] . Applied Sciences , 2021 , 11 ( 8 ): 3568 .

XING Z H , LAN Y Q , SUN Z J , et al . IoT OS platform: Software infrastructure for next-gen industrial IoT [J ] . Applied Sciences , 2024 , 14 ( 13 ): 5370 .

CAO D G , XUE D L , MA Z Y , et al . XiUOS: An open-source ubiquitous operating system for industrial Internet of Things [J ] . Science China Information Sciences , 2021 , 65 ( 1 ): 117101 .

KRAJCI I , CUMMINGS D . History and Evolution of the Android OS [M ] // Android on x86: An Introduction to Optimizing for Intel® Architecture . Berkeley : Apress , 2014 : 1 - 8 .

PAN S D , GUO T C , ZHANG L H , et al . A large-scale investigation of semantically incompatible APIs behind compatibility issues in Android apps [EB/OL ] . ( 2024-06-26 )[ 2025-10-10 ] . https://arXiv.org/abs/2406.17431 https://arXiv.org/abs/2406.17431 .

SHOKOUH J . Detecting GNSS attacks on smartphones [EB/OL ] . ( 2013-07-31 )[ 2025-10-10 ] . https://www.diva-portal.org/smash/record.jsf pid=diva2%3A678010&dswid=-5192 https://www.diva-portal.org/smash/record.jsfpid=diva2%3A678010&dswid=-5192 .

YUAN J L , YANG C , CAI D Q , et al . Mobile foundation model as firmware [C ] // Proceedings of the 30th Annual International Conference on Mobile Computing and Networking . New York : ACM , 2024 : 279 - 295 .

BHIMANAPATI V B R , GOEL D P , AGGARWAL A . Integrating cloud services with mobile applications for seamless user experience [J ] . Darpan International Research Analysis , 2024 , 12 ( 3 ): 252 - 268 .

ATZORI L , GIRAU R , MARTIS S , et al . A SIoT-aware approach to the resource management issue in mobile crowdsensing [C ] // 2017 20th Conference on Innovations in Clouds, Internet and Networks . Piscataway : IEEE , 2017 : 232 - 237 .

CHENG P , LIAN X , JIAN X , et al . FROG: A fast and reliable crowdsourcing framework [J ] . IEEE Transactions on Knowledge and Data Engineering , 2019 , 31 ( 5 ): 894 - 908 .

DINIZ H B M , SILVA E C G F , NOGUEIRA T C C , et al . A reference architecture for mobile crowdsensing platforms [C ] // Proceedings of the 18th International Conference on Enterprise Information Systems . New York : ACM , 2016 : 600 - 607 .

LIU Y M , YU Z W , GUO B , et al . CrowdOS: A ubiquitous operating system for crowdsourcing and mobile crowd sensing [J ] . IEEE Transactions on Mobile Computing , 2022 , 21 ( 3 ): 878 - 894 .

KUENZER S , BĂDOIU V A , LEFEUVRE H , et al . Unikraft: Fast, specialized unikernels the easy way [C ] // Proceedings of the Sixteenth European Conference on Computer Systems . New York : ACM , 2021 : 376 - 394 .

MADHAVAPEDDY A , MORTIER R , ROTSOS C , et al . Unikernels: Library operating systems for the cloud [J ] . 2013 , 41 ( 1 ): 461 - 472 .

Boos K , Liyanage N , Ijaz R , et al . Theseus: an experiment in operating system structure and state management [C ] // 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) . USENIX Association , 2020 : 1 - 19 .

刘伟超 , 王国柱 , 黄琛 , 等 . 操作系统的多内核适配装置、方法及工业物联网操作系统 : CN117827277B [P ] . 2024-07-16 .

LIU W C , WANG G Z , HHANG C , et al . Multi-kernel adaptation device, method for operating system and industrial internet of things operating system : CN117827277B [P ] . 2024-07-16 . (in Chinese)

沈昌祥 . 自主可信计算筑牢人工智能安全底座 [J ] . 中国科技产业 , 2025 ( 1 ): 5 .

SHEN C X . Independent trusted computing to build a safe base of artificial intelligence [J ] . Science & Technology Industry of China , 2025 ( 1 ): 5 . (in Chinese)

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据