系统内核

作品数：252被引量：358H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：董攀黄辰林丁滟廖湘科吴庆波更多>>
相关机构：国防科学技术大学华为技术有限公司中国科学院苏州浪潮智能科技有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于多核环境的嵌入式操作系统内核设计与实现
《时代汽车》2025年第3期144-146,共3页尤庆伸 
新能源汽车智能动力域控制器关键技术研究及应用(2023yf010)。
随着科技的快速发展,多核嵌入式系统日益成为现代计算领域的焦点。多核架构不仅提供了更高的计算性能,也带来了新的挑战和机遇。在这个背景下,多核嵌入式操作系统成为研究的热点。多核嵌入式操作系统不仅需要适应日益复杂的硬件架构,还...
关键词：多核环境 嵌入式操作系统 内核设计 实现 
纯血鸿蒙正式发布,国产操作系统首次实现全面突破
《企业观察家》2024年第10期16-17,共2页陆柯言 
10月22日,华为正式发布HarmonyOS NEXT(也称“原生鸿蒙”、“纯血鸿蒙”),这是鸿蒙系统自2019年以来,规模最大的一次升级。华为终端BG董事长余承东表示,HarmonyOS NEXT完成了从操作系统内核、文件系统、编程语言、编译器、编程框架,再...
关键词：文件系统 操作系统内核 NEXT 编程语言 分布式架构 安卓 自由流转 自主可控 
基于类C语言内存模型的复杂数据结构验证方法
《计算机技术与发展》2024年第8期57-66,共10页李薛剑 王俊宜 
安徽省自然科学基金面上项目(2008085MF188)。
对系统中操作复杂结构程序的正确性验证是保证软件高可信的重要途径,目前大多数基于高层抽象建模和程序结构拆分的方法难以满足复杂数据结构程序的验证要求。针对这一问题,论文提出基于类C语言内存模型的验证方法。首先,以内存块为基础...
关键词：形式化验证 复杂数据结构 程序逻辑 内存模型 操作系统内核 
融合虚拟化和操作系统的动态程序分析框架
《信息安全学报》2024年第4期64-78,共15页潘家晔 沙乐天 
国家自然科学基金(No.62072253);南京邮电大学科研基金(No.NY221036)资助。
各种高级恶意代码在网络空间中不断出现,具有分析对抗能力强、恶意行为更隐蔽等新特点,对各类信息系统的安全性产生严重威胁。为深度了解恶意代码及相关攻击活动,需研究更实用和高效的分析方法,以提高对威胁的分析能力和响应速度。针对...
关键词：程序分析 动态分析 恶意代码 系统内核 硬件虚拟化 
基于种子智能生成的内核模糊测试模型
《信息安全学报》2024年第3期124-137,共14页王明义 甘水滔 王晓锋 刘渊 
鹏城实验室重大任务项目(No.PCL2022A03);国家自然科学基金项目(No.62172191,No.61972182)资助。
操作系统具有庞大的用户群体,因此使得内核漏洞具有极强的通用性。模糊测试作为一种高效的漏洞挖掘方法,也被应用于操作系统内核,并且已经取得不错的成果。但是,目前流行的面向内核的模糊测试模型Syzkaller在生成种子时具有一定的盲目性...
关键词：模糊测试 漏洞挖掘 操作系统内核 神经网络 
BrickOS:面向异构硬件资源的积木式内核
《中国科学：信息科学》2024年第3期491-513,共23页古金宇 李浩 夏虞斌 管海兵 丁佐华 赵永望 陈海波 
国家自然科学基金重点项目(批准号:62132014);国家杰出青年科学基金项目(批准号:61925206);国家自然科学基金青年科学基金项目(批准号:62202292)资助。
人机物融合的新兴领域需要新型操作系统内核以支持泛在计算,对下管控海量异构硬件,对上服务动态多变应用场景.本文提出一种积木式内核架构BrickOS,可以根据使用场景灵活选择要加入内核的系统组件,同时可以选择将系统组件运行在用户态以...
关键词：操作系统内核 组件编排 进程间通信 内存隔离 
山东大学戴鸿君团队在RISC-V基础软件方面取得新突破
《信息网络安全》2023年第12期113-113,共1页
近日,山东大学戴鸿君教授带领智能创新研究院、软件学院、集成电路学院、计算机科学与技术学院以及网络空间安全学院组成的基础软件团队,成功将首个RISC-V CPU服务器的UEFI启动方案合并入开源社区tianocore EDK2主线仓库,完成了首个符合...
关键词：网络空间安全 计算机科学与技术 操作系统内核 UEFI 核心代码 固件 RISC X86 
基于PKS硬件特性的eBPF内存隔离机制被引量：1
《软件学报》2023年第12期5921-5939,共19页李浩 古金宇 夏虞斌 臧斌宇 陈海波 
国家杰出青年科学基金(61925206);华为创新计划。
Linux内核中的eBPF(extended Berkeley packet filter)机制可以将用户提供的不受信任的程序安全地加载到内核中.在eBPF机制中,检查器负责检查并保证用户提供的程序不会导致内核崩溃或者恶意地访问内核地址空间.近年来,eBPF机制得到了快...
关键词：eBPF PKS 内存隔离 操作系统内核 
基于多版本Linux操作系统的石油类科研软件适配性解决方案
《网络安全技术与应用》2023年第9期6-8,共3页姚以泰 王子通 付立 安红 
石油类科研软件是科研人员进行油田勘探、开发、工程等科研生产工作的主要工具和利器,数量达几十种。目前,这些软件主要运行在红帽Linux(RHEL)操作系统上,由于系统的单一性,存在单点故障的风险,一旦操作系统不可用,则会导致科研生产工...
关键词：操作系统 操作系统内核 石油类科研软件 国产硬件 适配性研究 LINUX 
云原生技术和平台研究与实践被引量：6
《数字通信世界》2023年第8期43-45,共3页高巍 陈磊 张红兵 杨红军 
云基础设施由面向云迁移的“OnCloud”阶段演进到面向云构建应用的“InCloud”阶段,即云基础设施建设由资源型演进到效能型;同时云原生将带来更复杂的安全挑战,构建安全可控的云原生平台对行业云转型至关重要,即从底层操作系统到容器调...
关键词：云原生 操作系统内核 容器 编排 可观测性 
全选清除导出
共26页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部