王若川

作品数：2被引量：3H指数：1
导出分析报告
供职机构：北京控制工程研究所更多>>
发文主题：多核片上系统可重构动态可重构容错方法更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《空间控制技术与应用》《计算机科学》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时间自动机的操作系统中断管理建模与验证被引量：1
《空间控制技术与应用》2014年第4期52-56,共5页王若川 杨孟飞 乔磊 
国家自然科学基金资助项目(91118007)
时序正确性问题一直以来都是航天嵌入式软件的热点、难点问题.运用时间自动机理论,对某星载操作系统的中断管理进行了建模,同时对与操作系统行为存在交互的环境进行了建模,以描述完整的中断管理过程.利用模型检测工具箱Uppaal验证了中...
关键词：中断管理 时间自动机 形式化验证 建模 
一种面向多核的可重构容错方法被引量：2
《计算机科学》2014年第5期59-63,共5页张绍林 杨孟飞 刘鸿瑾 姜宏 王若川 
国家十二五民用航天项目:基于SoC的航天器可重构控制系统一体化技术资助
随着二代导航、载人航天、深空探测等空间应用对星载电子产品的低功耗和抗辐射容错能力提出更高的需求,传统多机冗余设计星载计算机面临着亟需进行设计升级换代。将可重构技术应用到多核片上系统的设计中,提出了一种基于动态可重构的容...
关键词：多核 片上系统 动态可重构 容错 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部