微内核

作品数：311被引量：604H指数：11
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：肖堃黄皓钱振江臧斌宇陈海波更多>>
相关机构：电子科技大学南京大学上海交通大学华中科技大学更多>>
相关期刊：更多>>
相关基金：国家高技术研究发展计划国家自然科学基金国防科技技术预先研究基金江苏省“六大人才高峰”高层次人才项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于TOGAF架构的陆路交通智能勘察设计与交付平台架构研究
《铁道标准设计》2025年第3期8-15,共8页赵宇璇 郑洪 王国光 柏华军 田文涛 熊斌 施新晔 
国家重点研发计划项目(2021YFB2600405)。
针对当前国内陆路交通工程在TOGAF模式实践中存在数字化程度低、勘察设计交付平台功能不完善的问题,提出基于TOGAF架构的陆路交通智能勘察设计交付平台。其中,勘察设计交付平台构建涵盖陆路交通工程数字化关键业务的业务架构、应用架构...
关键词：陆路交通 TOGAF 智能勘察设计平台 智能交付平台 微服务 微内核 
短信息
《矿山机械》2024年第11期75-80,共6页
中信重工高端工业操作系统亮相上海工博会,近日,在上海第二十四届中国国际工业博览会上,国内首款搭载国产化微内核架构操作系统的PLC产品首次展出,中信重工研发的国产化高端工业嵌入式操作系统在工业控制领域首次实现了产品化适配和应...
关键词：嵌入式操作系统 实时控制系统 工业控制领域 微内核 产品化 国产化替代 短信息 技术架构 
微内核的嵌入式系统高速通信技术的探析与实现
《计算机产品与流通》2024年第11期144-146,共3页余世清 赵俊才 
随着物联网、智能家居和工业自动化等应用场景的快速发展,嵌入式系统在各个领域中的重要性日益凸显。这些系统不仅需要处理复杂的任务,还需具备高效的数据传输能力,以满足实时监控和控制的需求。尤其是在数据传输速度和实时性方面,对嵌...
关键词：嵌入式系统 数据传输速度 数据传输能力 工业自动化 高速通信 微内核 物联网 智能家居 
微内核操作系统互斥量模块功能正确性的形式化验证
《软件学报》2024年第9期4179-4192,共14页张林雁 李希萌 施智平 关永 曹钦翔 张倩颖 
国家自然科学基金(62002246,62272322,62272323,62372311,62372312,61902240)。
操作系统在许多安全攸关领域为软件系统提供关键性底层支撑,操作系统中一个微小的错误或漏洞都可能引起整个软件系统的重大故障,造成巨大经济损失或危及人身安全.为了减少此类安全事故的发生,对操作系统正确性进行验证十分必要.传统测...
关键词：互斥量 功能正确性 形式化验证 定理证明 Coq定理证明器 
实时响应的嵌入式系统虚拟化微内核架构分析
《电脑知识与技术》2024年第26期31-34,共4页贾玉柱 
为解决传统单一化嵌入式系统在应用过程中导致平台设计冗余的问题,文章将多操作系统架构平台引入嵌入式系统架构中,构建合适的嵌入式虚拟化平台,现阶段,为保证平台的应用价值充分发挥,先对实施虚拟化为内核架构方法进行研究,然后以seL4...
关键词：实时响应 嵌入式系统 虚拟化微内核架构 
基于Isabelle/HOL的文件系统形式化设计与验证
《计算机工程》2024年第4期277-285,共9页王文斌 钱振江 靳勇 孙高飞 邢晓双 苏超 孙天琦 
江苏省自然科学基金面上项目(BK20191475);常熟市社会发展项目(CS202204)。
对于构建可信操作系统而言,文件系统设计和实现的正确性至关重要,即使是已经得到广泛运用的文件系统仍然有漏洞被检测出来。采用形式化方法对文件系统的设计和实现的正确性进行严格的验证是公认的可行方法。当前文件系统的形式化验证工...
关键词：形式化验证 文件系统 定理证明 有限状态机 微内核 
汽车电子与电气架构的“前世、今生和未来”(五)
《汽车维修与保养》2024年第2期46-50,共5页高惠民 
(接上期)QNX(Quick Unix)是黑莓旗一种商用的遵POSIX(portable operating system interface,可移植操作系统接口)规范的类Unix嵌入式硬实时操作系统,具有实时、微内核、优先级消息传递、抢占式多任务、多用户、容错能力等特点。是全球...
关键词：安全认证 消息传递 微内核 劳斯莱斯 QNX POSIX 法拉利 市场占有率 
基于智能电能表微内核动态优先级任务调度方法被引量：2
《电测与仪表》2023年第11期180-187,共8页侯慧娟 李梦溪 郭思维 
国家电网有限公司总部管理科技项目(5700-202114202A-0-0-00)。
为了提升新一代智能电能表中微内核实时嵌入式操作系统中任务调度算法性能,文中提出一种微内核动态优先级任务调度方法。在该方法中,将智能电能表中的任务划分周期性任务和事件触发任务,引入最高优先级调度和最早截止时间调度机制,对事...
关键词：智能电能表 任务调度 补偿调度 微内核 
一种面向微内核操作系统的权能机制设计
《小型微型计算机系统》2023年第11期2610-2618,共9页姜博 张艺川 易力 王雷 姜哲 邹仕洪 
科技部重点研发计划项目(2019YFB2102400)资助;国家自然科学基金项目(62077002,61772056)资助。
当今主流操作系统通常采用访问控制列表的方式进行权限管理,但对于现实中多级权限传递的场景,由于用户主体和资源客体数量庞大,访问控制列表方式无法解决代理混淆问题.权能是对操作系统中进程所拥有的资源的一种描述.一方面,进程在访问...
关键词：权能 权限管理 微内核 操作系统 
实时响应的嵌入式系统虚拟化微内核架构被引量：3
《自动化与仪器仪表》2023年第7期219-221,239,共4页吴良顺 张斌 应忍冬 
嵌入式系统的虚拟化要求实时性要求高的任务运行在实时(Real Time)的来宾操作系统上,非实时性的任务运行在GPOS(General Purpose)的来宾操作系统。现有的半虚拟化(PV)方案,实时性较差,无法满足嵌入式系统的要求。提出一个虚拟化微内核架...
关键词：嵌入式系统 虚拟化 微内核 RTOS 内存管理 IPC 
全选清除导出
共32页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部