期刊文献+
共找到52篇文章
< 1 2 3 >
每页显示 20 50 100
Energy-Efficient Deterministic Fault-Tolerant Scheduling for Embedded Real-Time Systems
1
作者 李国徽 胡方晓 +1 位作者 杜小坤 唐向红 《Journal of Southwest Jiaotong University(English Edition)》 2009年第4期283-291,共9页
By combining fault-tolerance with power management, this paper developed a new method for aperiodic task set for the problem of task scheduling and voltage allocation in embedded real-time systems. The scbedulability ... By combining fault-tolerance with power management, this paper developed a new method for aperiodic task set for the problem of task scheduling and voltage allocation in embedded real-time systems. The scbedulability of the system was analyzed through checkpointing and the energy saving was considered via dynamic voltage and frequency scaling. Simulation results showed that the proposed algorithm had better performance compared with the existing voltage allocation techniques. The proposed technique saves 51.5% energy over FT-Only and 19.9% over FT + EC on average. Therefore, the proposed method was more appropriate for aperiodic tasks in embedded real-time systems. 展开更多
关键词 embedded real-time systems Aperiodic tasks fault tolerance Power management Task scheduling and voltageallocation
在线阅读 下载PDF
PATHS AND CYCLES EMBEDDING ON FAULTY ENHANCED HYPERCUBE NETWORKS 被引量:6
2
作者 刘敏 刘红美 《Acta Mathematica Scientia》 SCIE CSCD 2013年第1期227-246,共20页
Let Qn,k (n 〉 3, 1 〈 k ≤ n - 1) be an n-dimensional enhanced hypercube which is an attractive variant of the hypercube and can be obtained by adding some complementary edges, fv and fe be the numbers of faulty ve... Let Qn,k (n 〉 3, 1 〈 k ≤ n - 1) be an n-dimensional enhanced hypercube which is an attractive variant of the hypercube and can be obtained by adding some complementary edges, fv and fe be the numbers of faulty vertices and faulty edges, respectively. In this paper, we give three main results. First, a fault-free path P[u, v] of length at least 2n - 2fv - 1 (respectively, 2n - 2fv - 2) can be embedded on Qn,k with fv + f≤ n- 1 when dQn,k (u, v) is odd (respectively, dQ,~,k (u, v) is even). Secondly, an Q,,k is (n - 2) edgefault-free hyper Hamiltonianaceable when n ( 3) and k have the same parity. Lastly, a fault-free cycle of length at least 2n - 2fv can be embedded on Qn,k with f~ 〈 n - 1 and fv+f≤2n-4. 展开更多
关键词 enhanced hypercube fault-tolerant embedding paths embedding cycles em-bedding Hamiltonian-laceability
在线阅读 下载PDF
VERTEX-FAULT-TOLERANT CYCLES EMBEDDING ON ENHANCED HYPERCUBE NETWORKS 被引量:1
3
作者 张艳娟 刘红美 刘敏 《Acta Mathematica Scientia》 SCIE CSCD 2013年第6期1579-1588,共10页
In this paper, we study the enhanced hypercube, an attractive variant of the hypercube and obtained by adding some complementary edges from a hypercube, and focus on cycles embedding on the enhanced hypercube with fau... In this paper, we study the enhanced hypercube, an attractive variant of the hypercube and obtained by adding some complementary edges from a hypercube, and focus on cycles embedding on the enhanced hypercube with faulty vertices. Let Fu be the set of faulty vertices in the n-dimensional enhanced hypercube Qn,k (n ≥ 3, 1 ≤ k 〈≤n - 1). When IFvl = 2, we showed that Qn,k - Fv contains a fault-free cycle of every even length from 4 to 2n - 4 where n (n ≥ 3) and k have the same parity; and contains a fault-free cycle of every even length from 4 to 2n - 4, simultaneously, contains a cycle of every odd length from n-k + 2 to 2^n-3 where n (≥ 3) and k have the different parity. Furthermore, when |Fv| = fv ≤ n - 2, we prove that there exists the longest fault-free cycle, which is of even length 2^n - 2fv whether n (n ≥ 3) and k have the same parity or not; and there exists the longest fault-free cycle, which is of odd length 2^n - 2fv + 1 in Qn,k - Fv where n (≥ 3) and k have the different parity. 展开更多
关键词 enhanced hypercube fault tolerance cycles embedding
在线阅读 下载PDF
基于软件实现的RS485总线电气层故障注入仪设计
4
作者 姚雪美 洪应平 +1 位作者 党立志 高晨程 《电子器件》 2025年第1期55-59,共5页
为了满足工业控制系统通信时的测试验证要求,结合RS485总线通信特征,设计了一种基于软件注入电气层故障的故障注入系统。系统满足设备通信的故障测试,通过软件模拟电气层信号故障,采用FPGA主控芯片、高速A/D、D/A辅助差分信号输入输出... 为了满足工业控制系统通信时的测试验证要求,结合RS485总线通信特征,设计了一种基于软件注入电气层故障的故障注入系统。系统满足设备通信的故障测试,通过软件模拟电气层信号故障,采用FPGA主控芯片、高速A/D、D/A辅助差分信号输入输出和指令解析,最终实现了对RS485总线信号的故障注入。实践表明,基于软件的故障注入仪灵活性高,适用性强,且精度更高。 展开更多
关键词 故障注入 嵌入式 测试系统 RS485
在线阅读 下载PDF
ITER气体注入系统控制系统设计
5
作者 谷正阳 赵宇轩 +4 位作者 李伟 潘莉 夏志伟 宫伟祥 李波 《现代电子技术》 北大核心 2024年第12期8-14,共7页
国际热核聚变实验堆(ITER)气体注入系统及其控制系统是直接参与装置运行的关键部件,也是中国独立承担的14个ITER采购包之一。文中基于ITER控制系统的设计框架和GIS的功能特性,进行GIS常规控制系统和互锁系统设计。常规控制系统采用模块... 国际热核聚变实验堆(ITER)气体注入系统及其控制系统是直接参与装置运行的关键部件,也是中国独立承担的14个ITER采购包之一。文中基于ITER控制系统的设计框架和GIS的功能特性,进行GIS常规控制系统和互锁系统设计。常规控制系统采用模块化和可扩展的设计方案,最大程度上满足了装置未来运行的可扩充性和功能实现的灵活性;互锁系统则采用冗余的硬件架构和容错体系结构,满足了ITER 3IL-2安全完整性等级要求。两种控制系统已于2022年11月完成了ITER组织的终期设计评审。 展开更多
关键词 国际热核聚变实验堆 气体注入系统 常规控制系统 互锁系统 CODAC 快速控制器 容错体系
在线阅读 下载PDF
故障注入方法与工具的研究现状 被引量:52
6
作者 孙峻朝 王建莹 杨孝宗 《宇航学报》 EI CAS CSCD 北大核心 2001年第1期99-104,共6页
本文将故障注入技术分为基于模拟的故障注入和基于物理的故障注入两类 ,并从应用方法和工具结构两方面介绍了该项技术的研究现状。
关键词 故障注入 故障模型 客错计算机系统 可信性评价 应用方法 工具结构
在线阅读 下载PDF
一种用于星载系统可靠性评测的软件故障注入工具 被引量:6
7
作者 彭俊杰 黄庆成 +2 位作者 洪炳熔 李瑞 袁成军 《宇航学报》 EI CAS CSCD 北大核心 2005年第6期823-827,共5页
随着计算机应用的日益广泛和复杂,很多传统的故障注入技术及工具已经在很多领域面临着新的挑战.本文详细介绍了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFIOS),该故障注入工具针对星载系统这一特殊对象... 随着计算机应用的日益广泛和复杂,很多传统的故障注入技术及工具已经在很多领域面临着新的挑战.本文详细介绍了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFIOS),该故障注入工具针对星载系统这一特殊对象而开发,采用包括时间、空间、事件在内的多种故障触发方式,不仅能通过软件的方式随时随地注入接近实际的星载故障,而且操作简单,不需要修改星载系统的应用任务,对星载系统影响较小。实验结果表明,采用该故障注入工具评测星载系统可靠性的具有较多的优点和潜力。 展开更多
关键词 故障注入 可靠性 容错 星载系统
在线阅读 下载PDF
容错计算机系统可靠性评估工具:HFI-2故障注入器 被引量:7
8
作者 王建莹 孙峻朝 杨孝宗 《电子学报》 EI CAS CSCD 北大核心 1999年第11期24-26,共3页
本文介绍一个容错计算机系统可靠性评估工具:HFI2故障注入器,描述该故障注入器的功能和结构并讨论一些关键技术,用实验验证了这一工具的有效性.
关键词 故障注入 容错 可靠性评估 覆盖率 计算机系统
在线阅读 下载PDF
高可靠嵌入式计算机系统的发展 被引量:9
9
作者 孔德岐 李亚晖 郭鹏 《通信学报》 EI CSCD 北大核心 2013年第S1期170-175,共6页
通过归纳高可靠嵌入式计算机系统的技术特征,分析高可靠嵌入式计算机系统的实现途径,对高可靠嵌入式计算系统的演进进行了系统论述,分别从基础可靠性、系统可用性、系统完整性和系统可信性等技术途径详细地分析了高可靠计算机系统的发... 通过归纳高可靠嵌入式计算机系统的技术特征,分析高可靠嵌入式计算机系统的实现途径,对高可靠嵌入式计算系统的演进进行了系统论述,分别从基础可靠性、系统可用性、系统完整性和系统可信性等技术途径详细地分析了高可靠计算机系统的发展思路,并结合高可靠技术的发展趋势,提出了涵盖完整性等级、容错范围和余度范围等3个维度的高可信嵌入式计算机体系架构,以使人们对高可靠嵌入式计算机系统的认识更加清晰,从而把握高可靠嵌入式计算机系统发展的要点。 展开更多
关键词 嵌入式计算机 高可靠技术 容错技术 故障检测
在线阅读 下载PDF
软硬件协同设计的SEU故障注入技术研究 被引量:4
10
作者 王晶 荣金叶 +3 位作者 周继芹 于航 申娇 张伟功 《电子学报》 EI CAS CSCD 北大核心 2018年第10期2534-2538,共5页
针对现有容错计算机故障注入方法缺乏对空间环境中频发的单粒子故障模型的支持,本文提出了一种利用背板技术的软硬件协同仿真与故障注入技术,分别针对寄存器部件和存储器部件的特性,设计了多位错误的单粒子故障模型,在寄存器传输级实现... 针对现有容错计算机故障注入方法缺乏对空间环境中频发的单粒子故障模型的支持,本文提出了一种利用背板技术的软硬件协同仿真与故障注入技术,分别针对寄存器部件和存储器部件的特性,设计了多位错误的单粒子故障模型,在寄存器传输级实现了通过软件生成故障并注入到硬件设计中的软硬件协同故障注入方案,避免了在硬件设计中修改代码生成故障破坏系统完整性的问题.基于Leon2内核的故障注入实验表明,本文设计的平台为处理器容错设计提供了一个自动化、非侵入、低开销的故障注入和可靠性评估方案. 展开更多
关键词 容错 故障注入 软硬件协同 单粒子翻转 微处理器 寄存器传输级
在线阅读 下载PDF
一种容错实时计算机体系结构的研究与实现 被引量:9
11
作者 陈筠 桑楠 熊光泽 《电子科技大学学报》 EI CAS CSCD 北大核心 2007年第5期846-849,共4页
为满足对安全关键领域日益增长的可靠性需求,通过对容错关键技术和多处理器系统的深入研究,提出了一种基于松耦合多处理器体系结构的双机容错实时嵌入式系统设计方案。该方案无缝整合了计算机硬件级、操作系统级、应用级的容错技术,以... 为满足对安全关键领域日益增长的可靠性需求,通过对容错关键技术和多处理器系统的深入研究,提出了一种基于松耦合多处理器体系结构的双机容错实时嵌入式系统设计方案。该方案无缝整合了计算机硬件级、操作系统级、应用级的容错技术,以达到从整体上提高系统可靠性的目的。然后,利用马尔科夫状态图法对该系统进行了可靠性分析和数值模拟,结果表明该设计方案能显著地从整体上提高系统的可靠性水平。 展开更多
关键词 双机热备份 容错 实时嵌入式系统 可靠性
在线阅读 下载PDF
航天单粒子事件故障注入系统研究 被引量:5
12
作者 李华旺 刘海涛 杨根庆 《量子电子学报》 CAS CSCD 北大核心 2002年第1期57-60,共4页
本文介绍了一种基于内存故障注入和总线故障注入相结合的单粒子事件故障注入系统.首先介绍了故障注入系统的功能及框架,然后以通用性和可扩展性为前提,对实现故障注入器的关键技术进行了探讨.测试结果表明。利用本文介绍的故障注入... 本文介绍了一种基于内存故障注入和总线故障注入相结合的单粒子事件故障注入系统.首先介绍了故障注入系统的功能及框架,然后以通用性和可扩展性为前提,对实现故障注入器的关键技术进行了探讨.测试结果表明。利用本文介绍的故障注入系统,具有成本低、通用性强、故障注入方便快捷、全动态实时和定量注入等特点. 展开更多
关键词 单粒子事件 故障注入系统 测试 容错 航天
在线阅读 下载PDF
单板双机嵌入式486容错子系统的设计 被引量:4
13
作者 许盛柯 华更新 郭树玲 《航天控制》 CSCD 北大核心 2003年第1期22-26,36,共6页
针对空间辐射环境中比较容易发生的单粒子翻转事件 ,提出一种低成本的商用器件解决方案———单板双机嵌入式容错子系统。该子系统把两个相对独立的嵌入式 4 86单机通过现场可编程门阵列 (FPGA)耦合起来 ,双机通信和数据比对都通过FPGA... 针对空间辐射环境中比较容易发生的单粒子翻转事件 ,提出一种低成本的商用器件解决方案———单板双机嵌入式容错子系统。该子系统把两个相对独立的嵌入式 4 86单机通过现场可编程门阵列 (FPGA)耦合起来 ,双机通信和数据比对都通过FPGA来完成 ,同时通过数据比对发现和消除单粒子翻转 (SEU)所引起的错误。由于系统中应用了较多超大规模集成电路 ,系统非常紧凑 。 展开更多
关键词 设计 星载设备 486单片机 容错计算机 嵌入式微处理器 单粒子翻转 现场可编程门阵列
在线阅读 下载PDF
基于1553B总线的嵌入式网络BBC设计与实现 被引量:7
14
作者 杨卫军 许化龙 訾向勇 《微电子学与计算机》 CSCD 北大核心 2007年第1期63-65,共3页
文章介绍了1553B总线的特点,基于1553总线设计的嵌入式网络节点类型和网络结构。为实现嵌入式网络总线控制器的双机冗余,设计了备份总线控制器BBC,重点对BBC的工作方式选择和程序实现进行阐述。
关键词 1553B总线 嵌入式网络 BBC 双机冗余
在线阅读 下载PDF
Simics环境下故障注入的研究与实现 被引量:6
15
作者 韩德强 冯云贺 +1 位作者 王宗侠 高雪园 《电子技术应用》 北大核心 2015年第1期21-24,共4页
主要论述了在Simics全系统仿真环境下,对Vx Works嵌入式操作系统的串口故障注入以及网络故障注入的相关研究。Simics允许开发者根据需求自定义处理器、存储器、板级硬件和复杂网络系统等任意规模的硬件目标设备模型。运行在真实硬件目... 主要论述了在Simics全系统仿真环境下,对Vx Works嵌入式操作系统的串口故障注入以及网络故障注入的相关研究。Simics允许开发者根据需求自定义处理器、存储器、板级硬件和复杂网络系统等任意规模的硬件目标设备模型。运行在真实硬件目标设备上的底层软件、中间层软件和上层软件完全不用修改即可运行在自定义的Simics硬件目标设备模型上。因此,Simics不仅能够进行仿真硬件级的故障注入,同时还可以全面地检测软件的运行状态。 展开更多
关键词 全系统仿真环境 SIMICS VXWORKS嵌入式操作系统 故障注入
在线阅读 下载PDF
一种嵌入式二乘二取二容错计算机联锁系统设计 被引量:10
16
作者 齐志华 王海峰 《北京交通大学学报》 EI CAS CSCD 北大核心 2006年第5期96-100,共5页
基于嵌入式系统理论和容错系统体系结构,结合故障_安全电路的设计理念,给出了一种嵌入式二乘二取二容错计算机联锁系统的硬件设计.深入阐述了系统硬件电路的设计理论依据和工作原理,同时给出了设计中的元件选型.通过功能测试,系统设计... 基于嵌入式系统理论和容错系统体系结构,结合故障_安全电路的设计理念,给出了一种嵌入式二乘二取二容错计算机联锁系统的硬件设计.深入阐述了系统硬件电路的设计理论依据和工作原理,同时给出了设计中的元件选型.通过功能测试,系统设计符合故障_安全的设计原则,理论计算表明,其可靠性、安全性达到铁路信号系统要求. 展开更多
关键词 计算机联锁系统 故障-安全 容错 嵌入式系统
在线阅读 下载PDF
分布式卫星嵌入式计算机系统结构设计方法 被引量:3
17
作者 李新明 李小将 +1 位作者 李艺 刘东 《中国空间科学技术》 EI CSCD 北大核心 2010年第2期1-8,共8页
针对分布式卫星的运行环境和任务特点,综合考虑分布式卫星嵌入式计算机系统在可靠性、安全性和实时性方面的要求,提出了一种基于三级容错的主辅式双系统体系结构设计方法。论文分析了分布式卫星的特点和星上嵌入式计算机系统的设计要求... 针对分布式卫星的运行环境和任务特点,综合考虑分布式卫星嵌入式计算机系统在可靠性、安全性和实时性方面的要求,提出了一种基于三级容错的主辅式双系统体系结构设计方法。论文分析了分布式卫星的特点和星上嵌入式计算机系统的设计要求,对三级容错设计、主辅式双系统安全设计以及基于可信平台模块(TPM)的辅系统设计进行了详细的阐述。该设计方法已成功应用于地面原理验证系统中,结果表明其可以很好地解决分布式卫星嵌入式计算机系统的可靠性、安全性和实时性问题。 展开更多
关键词 嵌入式计算机 三级容错 主辅式双系统 分布式卫星
在线阅读 下载PDF
容错箭载计算机的硬件故障注入方法研究 被引量:2
18
作者 林金永 孙涛 +1 位作者 董剑 孙圣和 《航天控制》 CSCD 北大核心 2008年第4期75-77,87,共4页
容错机制和设计方案的正确性验证是容错箭载计算机研制的重要环节,验证方法有理论计算、软件模拟和硬件模拟等3种。硬件故障注入法采用人为引入故障方法可加速系统的失效,并通过观察系统在出现故障之后的行为反应对容错计算机系统的容... 容错机制和设计方案的正确性验证是容错箭载计算机研制的重要环节,验证方法有理论计算、软件模拟和硬件模拟等3种。硬件故障注入法采用人为引入故障方法可加速系统的失效,并通过观察系统在出现故障之后的行为反应对容错计算机系统的容错能力进行评价,更适合工程应用。本文研究采用硬件故障注入方法和特定容错测试仪,对容错箭载计算机的容错机制和设计方案进行了正确性验证,为容错箭载计算机的工程应用奠定技术基础。 展开更多
关键词 容错 箭载计算机 硬件故障注入法
在线阅读 下载PDF
海量下的分布式文件系统测试平台设计与实现 被引量:1
19
作者 温东新 王雪娇 +3 位作者 张展 钱军 张中兆 崔忠强 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2012年第11期55-58,共4页
为了对海量存储中的分布式文件系统的容错能力进行测试,设计并实现了基于海量存储下的自动化分布式文件系统测试平台,采用从服务层和目录文件层进行故障注入的技术,其中包括服务器失效和目录文件操作失败等多种故障.该平台集成了注入故... 为了对海量存储中的分布式文件系统的容错能力进行测试,设计并实现了基于海量存储下的自动化分布式文件系统测试平台,采用从服务层和目录文件层进行故障注入的技术,其中包括服务器失效和目录文件操作失败等多种故障.该平台集成了注入故障工具、系统监测工具和工作负载工具,工作人员可通过平台的主控端进行评测.通过实验数据表明,该测试平台能够有效评测不同文件系统的容错性能,并对不同存储系统的各项技术指标进行比较. 展开更多
关键词 存储系统 分布式文件系统 故障注入 容错测试
在线阅读 下载PDF
软硬件结合的嵌入式故障注入试验系统研究 被引量:2
20
作者 张春侠 周春梅 董文杰 《核电子学与探测技术》 CAS CSCD 北大核心 2013年第5期586-589,共4页
针对飞行器面临的恶劣环境,提出了软硬件结合的嵌入式故障注入试验系统方案,对恶劣环境下飞行器主控设备的故障状态进行分类,明确故障注入类型,并详细介绍了飞行器主控设备嵌入式故障接收模块和地面故障注入系统的工作原理和实现过程,... 针对飞行器面临的恶劣环境,提出了软硬件结合的嵌入式故障注入试验系统方案,对恶劣环境下飞行器主控设备的故障状态进行分类,明确故障注入类型,并详细介绍了飞行器主控设备嵌入式故障接收模块和地面故障注入系统的工作原理和实现过程,最后利用该试验系统对某主控设备进行了故障注入试验,试验结果表明该软硬件结合的嵌入式故障注入试验系统灵活方便,操作简单,对飞行器不产生物理损害,易于删减复原。 展开更多
关键词 嵌入式 故障注入 试验系统
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部