微内核架构

作品数：15被引量：56H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：钱振江黄皓张易知宋方敏唐洪英更多>>
相关机构：南京大学电子科技大学上海交通大学常熟理工学院更多>>
相关期刊：《小型微型计算机系统》《电脑知识与技术》《计算机工程》《航空计算技术》更多>>
相关基金：国家高技术研究发展计划江苏省高校自然科学研究项目江苏省“六大人才高峰”高层次人才项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
实时响应的嵌入式系统虚拟化微内核架构分析
《电脑知识与技术》2024年第26期31-34,共4页贾玉柱 
为解决传统单一化嵌入式系统在应用过程中导致平台设计冗余的问题,文章将多操作系统架构平台引入嵌入式系统架构中,构建合适的嵌入式虚拟化平台,现阶段,为保证平台的应用价值充分发挥,先对实施虚拟化为内核架构方法进行研究,然后以seL4...
关键词：实时响应 嵌入式系统 虚拟化微内核架构 
实时响应的嵌入式系统虚拟化微内核架构被引量：3
《自动化与仪器仪表》2023年第7期219-221,239,共4页吴良顺 张斌 应忍冬 
嵌入式系统的虚拟化要求实时性要求高的任务运行在实时(Real Time)的来宾操作系统上,非实时性的任务运行在GPOS(General Purpose)的来宾操作系统。现有的半虚拟化(PV)方案,实时性较差,无法满足嵌入式系统的要求。提出一个虚拟化微内核架...
关键词：嵌入式系统 虚拟化 微内核 RTOS 内存管理 IPC 
seL4微内核架构的嵌入式虚拟化技术研究被引量：3
《单片机与嵌入式系统应用》2021年第7期30-32,37,共4页王涵 张激 左龙 
随着嵌入式硬件技术水平的提升以及嵌入式应用的普及,用户对嵌入式系统可以提供的服务能力与质量水平提出了更高的要求。出于对成本和可靠性方面的考虑,开发者希望可以在同一硬件平台上同时运行多个互不影响的执行环境。本文提出了一种...
关键词：seL4 嵌入式系统 ARM硬件辅助虚拟化 虚拟机管理器 
一种微内核分区操作系统C库的适配验证方法被引量：2
《航空计算技术》2017年第3期74-79,共6页郝继锋 刘鸽 
工信部某预研项目资助(G488A0813002-3)
针对传统C库的开发和适配方法存在的局限性问题,提出一种基于微内核架构的嵌入式分区操作系统新C库的适配验证方法,依次对基于微内核架构的嵌入式分区操作系统之上C库的总体部署方案、初始化过程、典型功能模块的适配开发方法进行了详...
关键词：微内核架构 嵌入式分区操作系统 标准接口 C库 恩智浦 
微内核架构内存管理的形式化设计和验证方法研究被引量：4
《电子学报》2017年第1期251-256,共6页钱振江 刘永俊 姚宇峰 汤力 黄皓 宋方敏 
国家自然科学基金(No.61402057);江苏省科技计划自然科学研究项目(No.BK20140418);中国博士后科学基金(No.2015M571737);江苏省"六大人才高峰"高层次人才项目(No.2011-DZXX-035);江苏省高校自然科学研究项目(No.12KJB520001)
由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条...
关键词：操作系统 内存管理 形式化设计 形式化验证 定理证明 
嵌入式微核虚拟机管理器存储管理架构设计被引量：1
《航空计算技术》2016年第6期88-92,共5页郝继锋 
工信部某重点预研项目资助(MJ-S-2012-05)
对微内核架构、嵌入式虚拟化技术、嵌入式多核处理器支持技术进行简介,对工业界和学术界形成的嵌入式微内核虚拟机管理器产品进行相应调研,提出一种基于微内核架构多核虚拟机管理器的存储管理架构设计模式,把存储管理分为内核态MMU管理...
关键词：微内核架构、嵌入式虚拟化 多核处理器 微内核虚拟机管理器 存储管理单元 内存分配器 
基于微内核架构的业务基础平台设计
《电子世界》2016年第17期97-97,共1页陈华光 
业务基础平台是一个以业务为导向的软件架构平台,是基础架构和业务应用的一个中间产品,是应用软件开发的通用基础框架。在企业的项目研发中,满足不同的客户需求是最基本的要求,利用平台+插件的模式,将每个项目的的需求都可以做成单独的...
关键词：微内核 插件 基础平台 
微内核架构文件系统的形式化设计与验证方法研究被引量：4
《小型微型计算机系统》2013年第10期2261-2266,共6页钱振江 唐洪英 李康杰 黄皓 宋方敏 
国家"八六三"高技术研究发展计划项目(2011AA01A202)资助;国家自然科学基金创新研究群体基金项目(60721002)资助;江苏省"六大人才高峰"高层次人才项目(2011-DZXX-035)资助;江苏省高校自然科学基金项目(12KJB520001)资助
文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语...
关键词：文件系统 微内核架构 形式化设计 形式化验证 正确性断言 ISABELLE HOL 
微内核架构下的驱动监控
《计算机工程》2013年第4期62-65,共4页刘超明 钱振江 黄皓 
国家"863"计划基金资助重大项目"以支撑电子商务为主的网络操作系统研制"(2011AA01A202);江苏省"六大人才高峰"高层次人才基金资助项目(2011-DZXX-035)
为监控用户加载的驱动程序在语义方面的恶意行为,将监控服务器(MS)引入微内核操作系统Minix。监控服务器执行对消息流的截取和分析,依靠事先注册的策略数据和策略函数,判断驱动程序是否存在语义上的恶意。实验结果证明,MS行之有效,并且...
关键词：微内核 驱动 语义监控 执行链 监控服务器 Minix系统 
微内核架构多线程机制的形式化设计研究被引量：5
《计算机科学》2013年第4期136-141,163,共7页钱振江 卢亮 黄皓 
国家高技术研究发展计划(863)(2011AA01A202);江苏省"六大人才高峰"高层次人才项目(2011-DZXX-035);江苏省高校自然科学研究项目(12KJB520001)资助
微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式...
关键词：微内核 多线程 操作系统 形式化描述 形式化设计 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部