陈亮

作品数：3被引量：4H指数：1
导出分析报告
供职机构：厦门大学信息科学与技术学院更多>>
发文主题：微机联锁系统防危核检测点安全关键系统容错更多>>
发文领域：自动化与计算机技术电子电信交通运输工程更多>>
发文期刊：《铁路计算机应用》《计算机工程与应用》《电子学报》更多>>
所获基金：福建省农科院青年科技人才创新基金福建省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于防危核(壳)的安全关键硬实时系统响应时间的分析被引量：3
《电子学报》2006年第4期647-652,共6页黎忠文 陈亮 熊光泽 
福建省2003年青年科技人才创新基金(No.2003J020);福建省2004年自然科学基金(No.A0410004);厦门大学院士基金(No.0630-E23011);厦门大学新世纪优秀人才支持基金(No.0000-X07116);厦门大学985二期信息创新平台项目(No.2004-2007)
基于响应时间的可调度分析是设计硬实时系统的基础.防危核(壳)是安全关键硬实时系统的一种新防危措施,现有的普适响应时间分析方法不能适用于这类系统.本文的贡献在于采用检测点时间冗余容错和优先级提升思想,通过分析内/外错误、隐/显...
关键词：防危核(壳) 安全关键系统 容错 检测点 响应时间分析 
防危核技术在铁路微机联锁系统中的应用研究被引量：1
《铁路计算机应用》2005年第6期13-15,共3页郑建仙 黎忠文 陈亮 
福建省青年科技人才创新基金(2003J020);福建省2004年自然科学基金(A0410004)。
防危核是针对“新安全危机”问题而提出来的一种系统防危新概念。探讨它在铁路微机联锁系统中应用的可行性及基于反射机制的实现方式;根据系统防危需求,重点研究基于防危核的系统的实时调度问题,提出了基于检测点机制并提升补任务优先...
关键词：联锁系统 防危核 反射 检测点 优先级 
反射机制的安全核技术在微机联锁系统中实现
《计算机工程与应用》2005年第6期105-107,174,共4页陈亮 黎忠文 李堂秋 郑建仙 
福建省青年科技人才创新基金(编号:2003J020)资助;福建省2004年自然科学基金(编号:A0410004);厦门大学院士引进基金资助
软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新安全保障技术的研究具有重要的意义。安全核正是应运而生的一种新安全保障概念,其实施技术是当前的研究热点之一。该文以研究基于反射机制的安全核技术为出发点,在分析铁路微...
关键词：微机联锁 安全关键系统 安全核OpenC++ 反射 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部