微内核
微内核的相关文献在1994年到2023年内共计356篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、工业经济
等领域,其中期刊论文222篇、会议论文14篇、专利文献2304篇;相关期刊126种,包括电子学报、单片机与嵌入式系统应用、计算机工程等;
相关会议13种,包括辽宁省通信学会2017年通信网络与信息技术年会 、第十五届反应堆数值计算与粒子输运学术会议、第25届飞行器测控学术年会等;微内核的相关文献由667位作者贡献,包括李蒙、罗蕾、肖堃等。
微内核
-研究学者
- 李蒙
- 罗蕾
- 肖堃
- 陈丽蓉
- 刘银森
- 郜鹏
- 郭建
- 钱振江
- 蒲戈光
- 黄皓
- 刘云生
- 施嵘
- 刘谋用
- 古金宇
- 唐兴培
- 孟庆余
- 曾小平
- 李允
- 李平
- 江启运
- 潘清
- 熊光泽
- 等
- 肖威
- 胡祖宣
- 葛霁光
- 赵红武
- 邱学强
- 金瑜
- 闫志伟
- 陈凌君
- 陈少波
- 付长冬
- 傅嘉凌
- 关钰千
- 吕强
- 吴庆波
- 周玲玲
- 姜哲
- 彭元志
- 李伟
- 李新明
- 李艺
- 杨秋松
- 王红玲
- 胡志刚
- 臧斌宇
- 褚亚铭
- 邹仕洪
- 陈海波
-
-
王训;
周东红
-
-
摘要:
工业物联网领域的设备具有配置多样的硬件环境特点,这种“碎片化”的特征催生了对应操作系统很强的伸缩性需求,以实现不同底层硬件和功能部件进行抽象,对上层提供统一的编程接口,为工业物联网打造良好生态环境提供基础。本文针对工业物联网操作系统的特征要求,对最适合的微内核操作系统的技术发展进行了深入调研,并对其中涉及的如任务实时调度、进程间高效通信、高效安全的内存管理、信息安全等关键技术进行了深入剖析。
-
-
罗亚丽
-
-
摘要:
为解决嵌入式实时双操作系统自动化程度低下的问题,在研究嵌入式软件测试相关技术的基础上,提出了一种针对微内核虚拟化技术的嵌入式实时双操作系统自动化测试框架。首先构建了一个全实物测试平台,以分布式的架构管理测试过程;其次通过Robot Framework驱动sss测试用例的调度执行,利用Pyserial串口库实现自动化测试引擎与被测试的嵌入式实时操作系统之间的通信。测试结果表明,测试框架提升了嵌入式实时双系统的自动化测试程度,提高了系统测试的效率,同时也为系统的质量评估提供了依据。
-
-
张正;
贾小林
-
-
摘要:
实时操作系统(Real-Time Operating System,RTOS)被广泛应用于窄带物联网(Narrow Band Internet of Things,NB-IoT)设备之中。这类设备对体积、能耗与稳定性有着严格的限制。NB-IoT设备多采用宏内核的RTOS,能得到较好的运行性能,但要求更多的硬件资源,并且内核中出现的问题很可能会导致整个系统崩溃。该文对传统RTOS进行改进,设计开发了无内存管理单元(Memory Management Unit,MMU)的微内核实时操作系统(nM-MKRTOS)。该系统针对NB-IoT中资源较少的设备,利用微内核的优势,其通过动态加载与链接(Dynamic Loading and Dynamic Linking,DL 2)技术实现内存复用和快速启动,并采用模块化开发的方式提高系统稳定性。在实际测试中,nM-MKRTOS通过内存复用技术将内存利用率提高了56.25%;在系统的启动测试中,通过在DL 2技术中引入权重加载,系统的核心功能在三个任务子集上的启动时间分别减少57.59%、52.55%与47.59%。该系统能够广泛应用于智慧农业、智慧校园等场合,能够降低系统成本,提高系统稳定性。
-
-
熊谱翔;
全召
-
-
摘要:
RT-Thread Smart采用微内核的设计思想,将操作系统自身的服务组件从内核中剥离出来,在用户态以进程的形式运行,避免服务组件的错误造成内核崩溃,提高系统整体的稳定性和可靠性.另一方面,依据用户配置选项,RT-Thread Smart继续支持将组件编译进内核中,以获得更佳的性能和向下兼容性.为了支持这些特性,RT-Thread Smart实现了对MMU和进程管理的支持,并通过通道机制来完成内核和用户态进程间的数据交换.
-
-
奚智;
姜哲;
张广伟;
邹仕洪
-
-
摘要:
嵌入式虚拟化技术可以有效降低产品的尺寸、重量、功耗和硬件成本,提升硬件的使用效率,缩短产品的开发和测试周期,兼容现有的生态资源.作为嵌入式技术的热点,本文回顾了虚拟化技术的基本概念及技术架构,介绍了嵌入式虚拟化和微内核的技术特点,并对比分析了学术界及工业界的主流微内核Hypervisor.
-
-
孙建庭;
班莹
-
-
摘要:
本文针对工业物联网数据采集与控制的多样性和复杂性,设计并实现了一种通用数据采集与控制软件。基于模块化设计,采用微内核架构,应用嵌入式脚本技术作为扩展,可广泛的支持各种工业物联网系统的数据采集与控制。
-
-
陈国伙;
刘超;
徐志方;
徐静;
王淼;
崔九梅;
居文军
-
-
摘要:
目前,物联网情景下的使用Linux以及Unix系统存在不适用的问题,在该环境下,需要使用物联网专用的操作系统去访问和控制相应的硬件设备,硬件的使用离不开硬件驱动的支撑.为减小驱动重新开发带来的弊端,提出了一种基于UHomeOS的微内核实现驱动复用的技术,通过虚拟机实现重用设备驱动的方式,解决了驱动复用过程中通用性较差、复用过程复杂、计算机资源占用过高等问题.
-
-
徐林亮
-
-
摘要:
针对近年来数据安全泄漏事件频发的问题,商业银行严格遵照监管机构的要求,加强全行的安全培训,加强全行的安全管理,建立商业银行自己全流程的数据安全管理制度,建立全流程的数据管理规范,建立一体化的全流程数据安全管理系统。
-
-
-
-
邓广福
- 《辽宁省通信学会2017年通信网络与信息技术年会》
| 2017年
-
摘要:
随着在互联网上的激烈竞争,移动运营商需要集成企业内部和外部的各种能力,把能力开放给第三方应用,为用户提供更加及时、个性化、多元化的服务,从而建立能力开放平台.能力开放平台把移动的业务、合约、充值、号卡办理能力开放给外部渠道并把外部能力接入,提供给移动内部使用.本文对微内核的能力平台架构及安全机制进行分析与研究,以运营商角度,从微内核体系、分布式架构、安全机制及平台优势等方面深入分析,并提出相应的设计方案,以保障为用户提供可持续的、安全性高的服务。
-
-
左风丽;
张宝印;
肖刚;
胡晓燕;
崔霞
- 《第十五届反应堆数值计算与粒子输运学术会议》
| 2014年
-
摘要:
基于中间件平台JCOGIN,解决研制动态随机场应用软件中关于几何计算的组装、测试、验证、维护和演化等遇到的错误信息的检测和定位中的困难,根据“关注点分离”的原则并借鉴“微内核”技术和“软件体系结构”思想,提出一种新型的微内核测试诊断方法,创建几何计算微内核模型,并研制微内核测试程序.适应JCOGIN版本的更新,微内核测试程序具备几何数据的输入、转换和计算等功能模块的错误信息的预先判断和准确定位的能力.
-
-
- 《第21届电路与系统学术年会》
| 2008年
-
摘要:
软件虚拟化技术经过一段时期的发展,形成了基于宿主系统和虚拟机监视器的全虚拟化架构和基于虚拟管理层的半虚拟化架构等诸多不同的现代虚拟机环境.但是,基于宿主系统和虚拟机监视器的全虚拟化架构过于依赖宿主系统的系统服务,导致基础代码的大量增加,大大降低了系统的可靠性,并且很大程度上受限于宿主系统的系统架构.另一方面,基于虚拟管理层的半虚拟化架构则缺乏稳健的系统构成,仅对虚拟机提供了大粒度的抽象,无法构建短小而精悍的完整系统.在此基础上,我们设想并提出一种新的虚拟机结构,将两者的优点有机的结合起来,整个虚拟机环境将被分成两部分:为环境提供可靠性,安全性以及隔离度的虚拟机抽象;和提供资源管理和功能实现的用户态虚拟机管理程序.而这样的架构恰好符合现代微内核操作系统的架构特点.经过对微内核进行一定的修改和功能扩充,就可以很好的实现一种新的基于微内核架构的虚拟机环境.
-
-
-
宋炜斌
- 《中国宇航学会计算机应用专业委员会2004年学术交流会》
| 2004年
-
摘要:
随着计算机应用的日益普及,特别是某些特定的应用领域,例如:航空航天、军事、工业控制等,要求系统具有高稳定性和实时性,普通的计算机和操作系统已不适用,而嵌入式实时操作系统已经瞄准这些领域发展起来,并且已经获得了广泛的应用.VxWorks是目前公认的性能和可靠性最出色的实时操作系统,而其微内核对实时多任务的支持也是最为精简和高效的.本文就针对VxWorks微内核的任务调度及任务间通讯两方面,从原理和源码两个层次对其进行分析.主要包括:微内核的三种任务调度方式(可抢占式调度、轮转调度、优先级翻转),任务控制块结构,任务控制与调度函数;任务间通讯使用的信号量、消息队列、管道等的原理与结构。
-
-
冯光;
宿红毅
- 《中国计算机用户协会信息系统分会2004年信息技术交流大会》
| 2004年
-
摘要:
文章首先概述了JMX管理框架的的规范定义及系统结构.JMX是一种轻型的管理基础结构,对于被管理资源的服务实现了抽象,提供了底层的基本类集合,开发人员在保证大多数的公共管理类的完整性和一致性的前提下,进行扩展以满足特定网络管理应用的需要.在此基础上介绍了基于JMX框架的微内核的设计思路,提出了微内核的设计模型.
-
-
高妍妍;
李曦;
周学海
- 《第三届中国计算机网络与信息安全学术会议(CCNIS2010)》
| 2010年
-
摘要:
进程间通信机制是微内核操作系统的关键功能之一。本文采用模型检测方法验证微内核操作系统的进程问通信机制,提出了一种从源码提取验证模型的方法。该方法以L4操作系统的进程间通信机制的C++源码实现为检验对象,从源码实现直接提取形式化模型,得到Promela语言的模型描述,可以直接应用模型检测器Spin对其进行正确性检测。实验表明了该方法的可行性和实用性。
-
-
刘忠仕;
戴金海;
桂先洲
- 《2004年全国第五届嵌入式系统学术交流会》
| 2004年
-
摘要:
嵌入式实时系统已经在通信、自动控制、信息家电、国防等领域得到了越来越广泛的应用,嵌入式实时操作系统RTOS是整个嵌入式系统的核心.RTEMS是源码公开的实时多任务操作系统.它具有优秀实时操作系统的许多特征.RTEMS的系统结构是在微内核基础上的层次化结构,其安全性、可靠性高,可移植性好,且应用程序易于做到模块化,易调试.
-
-
曾立;
吴华瑞;
赵春江;
吴平
- 《2004年全国第五届嵌入式系统学术交流会》
| 2004年
-
摘要:
本文围绕着网络计算机阐述了一个基于NC-Linux的嵌入式应用软件支撑平台.该平台是NC产业链上的一个典型的应用聚焦体,通过采用自裁剪的Linux微内核、开源的嵌入式GUI、嵌入式数据库、嵌入式浏览器和类Java虚拟机,外挂中文环境和TCP/IP、RDP、XDMCP等多种网络协议,可为银行终端、电子政务等信息化应用解决方案提供了一个成熟的技术平台.文章最后针对该平台在农业信息领域的应用前景进行了分析和展望.
-