微内核操作系统

作品数：33被引量：39H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：肖堃陈少波郭建黄皓施嵘更多>>
相关机构：电子科技大学中移物联网有限公司上海交通大学南京大学更多>>
相关期刊：《电子科技文摘》《电子产品世界》《武汉理工大学学报（交通科学与工程版）》《自动化博览》更多>>
相关基金：国家高技术研究发展计划国家自然科学基金中国航空科学基金上海市科学技术发展基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
微内核操作系统互斥量模块功能正确性的形式化验证
《软件学报》2024年第9期4179-4192,共14页张林雁 李希萌 施智平 关永 曹钦翔 张倩颖 
国家自然科学基金(62002246,62272322,62272323,62372311,62372312,61902240)。
操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测...
关键词：互斥量 功能正确性 形式化验证 定理证明 Coq定理证明器 
一种面向微内核操作系统的权能机制设计
《小型微型计算机系统》2023年第11期2610-2618,共9页姜博 张艺川 易力 王雷 姜哲 邹仕洪 
科技部重点研发计划项目(2019YFB2102400)资助;国家自然科学基金项目(62077002,61772056)资助。
当今主流操作系统通常采用访问控制列表的方式进行权限管理,但对于现实中多级权限传递的场景,由于用户主体和资源客体数量庞大,访问控制列表方式无法解决代理混淆问题.权能是对操作系统中进程所拥有的资源的一种描述.一方面,进程在访问...
关键词：权能 权限管理 微内核 操作系统 
微内核操作系统的发展与关键技术解析
《自动化博览》2022年第3期56-61,共6页王训 周东红 
工业物联网领域的设备具有配置多样的硬件环境特点,这种“碎片化”的特征催生了对应操作系统很强的伸缩性需求,以实现不同底层硬件和功能部件进行抽象,对上层提供统一的编程接口,为工业物联网打造良好生态环境提供基础。本文针对工业物...
关键词：微内核 信息安全 任务实时调度 进程间IPC通信 内存管理 
RT-Thread Smart 微内核操作系统概述被引量：3
《单片机与嵌入式系统应用》2021年第3期9-12,17,共5页熊谱翔 全召 
RT-Thread Smart采用微内核的设计思想,将操作系统自身的服务组件从内核中剥离出来,在用户态以进程的形式运行,避免服务组件的错误造成内核崩溃,提高系统整体的稳定性和可靠性。另一方面,依据用户配置选项,RT-Thread Smart继续支持将组...
关键词：微内核 RT-THREAD RT-Thread Smart MMU 进程管理 共享页面 
开源RT-Thread Smart混合微内核操作系统助力国内嵌入式产业快速发展被引量：6
《单片机与嵌入式系统应用》2020年第10期92-93,共2页芦潇静 
随着嵌入式系统软件开发复杂度的不断攀升,嵌入式操作系统越来越多地被应用于软件开发。当前用于MCU的嵌入式操作系统主要有μC/OS、FreeRTOS和RT-Thread,在带MMU的微处理器上,以Linux、VxWorks、QNX为主,国外嵌入式操作系统处于垄断地...
关键词：嵌入式操作系统 内存管理单元 实时操作系统 ΜC/OS 基础软件平台 软件开发 QNX 国产装备 
支持Unikernel的流式计算引擎：Hummer被引量：4
《计算机学报》2019年第8期1755-1766,共12页李冰 张志斌 钟巧灵 程学旗 
中国科学院战略先导科技专项(A类)(XDA19020400)资助
社会计算中,社会公共安全、企业商务智能和舆情计算等众多领域均对实时计算的性能提出了越来越高的要求.流式计算引擎作为大数据计算研究领域的研究热点之一,致力于提供高吞吐量和低延迟的实时计算能力.流式处理任务对处理延迟非常敏感...
关键词：大数据 数据流 分布式计算 流处理系统 微内核操作系统 
基于UPPAAL的微内核操作系统程序验证方法研究被引量：1
《电脑与信息技术》2014年第5期24-26,66,共3页杨达 
随着航天、航空工业的发展,机载嵌入式软件的可信属性验证是新一代飞机研制最关注的软件质量保障问题。形式化方法具有严密的数学基础,能够准确的对系统进行建模、描述和验证,能够在软件系统的设计初期发现潜在的错误,是保证机载软件可...
关键词：微内核操作系统 形式化方法 模型检测 
做工业可靠的“幕后英雄”
《现代制造》2012年第37期28-28,共1页李剑琦 
对于大部分工业领域的用户来说，QNX都是一个比较陌生的名字，但对于为工业用户提供嵌入式计算机、PLC、DCS等控制产品的自动化供应商来说，QNX可谓大名鼎鼎。作为嵌入式操作系统的重要提供商，QNX所开发的Neutrino实时微内核操作系统、...
关键词：工业领域 英雄 嵌入式操作系统 微内核操作系统 应用平台 嵌入式计算机 图形用户界面 工业用户 
VTOS:一个支持多核的微内核操作系统设计与实现
《软件导刊》2012年第10期125-129,共5页景香博 陈江 钱振江 
863计划重大项目(2011AA01A202);国家自然科学基金项目(61021062);江苏省"六大人才高峰"高层次人才项目(2011-DZXX-035)
现在处理器的发展已经进入了一个新的时代,继承了几十乃至上百个核心的处理器已经出现。这在大大提升了硬件处理能力的同时,也给软件设计,尤其是操作系统设计带来了很大困难。为了提高系统的可扩展性,操作系统开发人员需要花费大量的精...
关键词：多核 微内核 操作系统 可扩展性 同步 
一个微内核操作系统的消息传递及中断机制
《价值工程》2012年第30期196-198,共3页陈少波 
微内核是一个最小化的软件程序,它具有完整的操作系统。微内核组成部分包括一个非常简单的硬件抽象和一组比较关键的原语或系统调用。微内核以完成系统服务的实现和系统的基本操作规则分离为目标,进而简化内核中最核心部分的设计。本文...
关键词：操作系统 微内核 消息传递 中断机制 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部