首页 > 最新文献

2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)最新文献

英文 中文
Single-event performance of differential flip-flop designs and hardening implication 差分触发器设计的单事件性能及其加固意义
R. M. Chen, E. Zhang, B. Bhuva
Differential flip-flop designs for high-speed operations are evaluated for single-event (SE) effects using circuit-level simulations. Results show input dependent SE performance of some differential flip-flop designs. Radiation hardenings by layout optimization for all differential flip-flops and by circuit design for SSTC are discussed.
采用电路级仿真对高速操作的差分触发器设计进行了单事件(SE)效应评估。结果显示了一些差分触发器设计的SE性能与输入相关。讨论了所有差分触发器的布局优化和SSTC的电路设计的辐射硬化。
{"title":"Single-event performance of differential flip-flop designs and hardening implication","authors":"R. M. Chen, E. Zhang, B. Bhuva","doi":"10.1109/IOLTS.2016.7604707","DOIUrl":"https://doi.org/10.1109/IOLTS.2016.7604707","url":null,"abstract":"Differential flip-flop designs for high-speed operations are evaluated for single-event (SE) effects using circuit-level simulations. Results show input dependent SE performance of some differential flip-flop designs. Radiation hardenings by layout optimization for all differential flip-flops and by circuit design for SSTC are discussed.","PeriodicalId":6580,"journal":{"name":"2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"22 1","pages":"221-226"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73803442","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
STT-MTJ-based TRNG with on-the-fly temperature/current variation compensation 基于stt - mtj的实时温度/电流变化补偿TRNG
E. Vatajelu, G. D. Natale, P. Prinetto
A hardware True Random Number Generator (TRNG) yields random numbers from a physical process. Traditionally, such devices are based on statistically random signals such as thermal noise or other quantum phenomena. In this paper we propose an innovative TRNG design using a Spin Transfer Torque Magnetic Tunnel Junction (STT-MTJ) device. We exploit the stochastic nature of the MTJ device switching, and perform on-the-fly temperature/current variation compensation. We show that the proposed solution keeps up with environmental changes and generates random sequences with high probability.
硬件真随机数生成器(TRNG)从物理进程产生随机数。传统上,这样的设备是基于统计随机信号,如热噪声或其他量子现象。在本文中,我们提出了一种创新的TRNG设计,使用自旋传递扭矩磁隧道结(STT-MTJ)器件。我们利用了MTJ器件开关的随机特性,并进行了实时温度/电流变化补偿。结果表明,该方法能够紧跟环境变化,并以高概率生成随机序列。
{"title":"STT-MTJ-based TRNG with on-the-fly temperature/current variation compensation","authors":"E. Vatajelu, G. D. Natale, P. Prinetto","doi":"10.1109/IOLTS.2016.7604694","DOIUrl":"https://doi.org/10.1109/IOLTS.2016.7604694","url":null,"abstract":"A hardware True Random Number Generator (TRNG) yields random numbers from a physical process. Traditionally, such devices are based on statistically random signals such as thermal noise or other quantum phenomena. In this paper we propose an innovative TRNG design using a Spin Transfer Torque Magnetic Tunnel Junction (STT-MTJ) device. We exploit the stochastic nature of the MTJ device switching, and perform on-the-fly temperature/current variation compensation. We show that the proposed solution keeps up with environmental changes and generates random sequences with high probability.","PeriodicalId":6580,"journal":{"name":"2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"25 1","pages":"179-184"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74452634","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
HLS-based sensitivity-inductive soft error mitigation for satellite communication systems 基于hls的卫星通信系统灵敏度感应软误差缓解
Xiang Chen, Wenhui Yang, Ming Zhao, Jing Wang
Soft errors induced by space radiation environments seriously influence the reliability of spacecrafts in space and satellite communications, especially with ever shrinking geometries, higher-density circuits, and power saving techniques. Most of the existing soft error mitigation methods depend on triple modular redundancy (TMR) or dual-modular redundancy (DMR) to the original design target directly, which enlarge the resource overhead dramatically. In this paper, the high level synthesis (HLS) is considered to help to reduce the resource consumptions of TMR or DMR. By the HLS on node sensitivity, all design resources can be classified into three types: sensitive submodules, semi-sensitive sub-modules, and insensitive submodules. TMR can be applied for sensitive sub-modules to provide the highest reliability, while gate sizing can be applied for semi-sensitive sub-modules, which can help to mitigate the soft errors and to minimize the overhead introduced by the fault-tolerant techniques efficiently. In order to verify the effectiveness of the above proposal, appropriate scheduling schemes combined with the HLS are performed to an FIR filter. By simulations it is shown that, with the reduction of area relative to TMR over 60% for the FIR design, the reliability can reach over 99.9%.
空间辐射环境引起的软误差严重影响空间和卫星通信航天器的可靠性,特别是随着空间几何尺寸的不断缩小、电路密度的不断提高和节能技术的不断发展。现有的软误差缓解方法大多直接依赖于对原设计目标的三模冗余(TMR)或双模冗余(DMR),这极大地增加了资源开销。本文认为高水平合成(HLS)有助于降低TMR或DMR的资源消耗。根据节点灵敏度的HLS,可以将所有设计资源分为三类:敏感子模块、半敏感子模块和不敏感子模块。TMR可用于敏感子模块以提供最高的可靠性,而栅极尺寸可用于半敏感子模块,这有助于有效地减轻软错误,并最大限度地减少容错技术带来的开销。为了验证上述建议的有效性,将适当的调度方案与HLS结合到FIR滤波器中。仿真结果表明,在相对于TMR减小60%以上的情况下,FIR设计的可靠性可以达到99.9%以上。
{"title":"HLS-based sensitivity-inductive soft error mitigation for satellite communication systems","authors":"Xiang Chen, Wenhui Yang, Ming Zhao, Jing Wang","doi":"10.1109/IOLTS.2016.7604688","DOIUrl":"https://doi.org/10.1109/IOLTS.2016.7604688","url":null,"abstract":"Soft errors induced by space radiation environments seriously influence the reliability of spacecrafts in space and satellite communications, especially with ever shrinking geometries, higher-density circuits, and power saving techniques. Most of the existing soft error mitigation methods depend on triple modular redundancy (TMR) or dual-modular redundancy (DMR) to the original design target directly, which enlarge the resource overhead dramatically. In this paper, the high level synthesis (HLS) is considered to help to reduce the resource consumptions of TMR or DMR. By the HLS on node sensitivity, all design resources can be classified into three types: sensitive submodules, semi-sensitive sub-modules, and insensitive submodules. TMR can be applied for sensitive sub-modules to provide the highest reliability, while gate sizing can be applied for semi-sensitive sub-modules, which can help to mitigate the soft errors and to minimize the overhead introduced by the fault-tolerant techniques efficiently. In order to verify the effectiveness of the above proposal, appropriate scheduling schemes combined with the HLS are performed to an FIR filter. By simulations it is shown that, with the reduction of area relative to TMR over 60% for the FIR design, the reliability can reach over 99.9%.","PeriodicalId":6580,"journal":{"name":"2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"12 1","pages":"143-148"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86724844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Scalable FPGA graph model to detect routing faults 可扩展的FPGA图形模型来检测路由故障
L. Sterpone, G. Cabodi, S. Finocchiaro, C. Loiacono, F. Savarese, B. Du
The SRAM cells that form the configuration memory of an SRAM-based FPGA make such FPGAs particularly vulnerable to soft errors. A soft error occurs when ionizing radiation corrupts the data stored in a circuit. The error persists until new data is written. Soft errors have long been recognized as a potential problem as radiation can come from a variety of sources. This paper presents an FPGA fault model focusing on routing aspects. A graph model of SRAM nodes behavior in case of fault, starting from netlist description of well known FPGA models, is presented. It is also performed a classification of possible logical effects of a soft error in the configuration bit controlling, providing statistics on the possible numbers of faults. Finally it is reported the definition of fault metrics computed on a set of complex benchmarks proving the effectiveness of our approach.
构成基于SRAM的FPGA的配置存储器的SRAM单元使此类FPGA特别容易受到软错误的影响。当电离辐射破坏电路中存储的数据时,就会发生软错误。在写入新数据之前,错误将持续存在。软误差长期以来一直被认为是一个潜在的问题,因为辐射可能来自各种来源。本文提出了一种基于路由方面的FPGA故障模型。从已知FPGA模型的网表描述出发,提出了故障情况下SRAM节点行为的图模型。它还对配置位控制中的软错误可能产生的逻辑影响进行分类,提供可能的故障数量的统计信息。最后给出了基于一组复杂基准计算的故障度量的定义,证明了该方法的有效性。
{"title":"Scalable FPGA graph model to detect routing faults","authors":"L. Sterpone, G. Cabodi, S. Finocchiaro, C. Loiacono, F. Savarese, B. Du","doi":"10.1109/IOLTS.2016.7604690","DOIUrl":"https://doi.org/10.1109/IOLTS.2016.7604690","url":null,"abstract":"The SRAM cells that form the configuration memory of an SRAM-based FPGA make such FPGAs particularly vulnerable to soft errors. A soft error occurs when ionizing radiation corrupts the data stored in a circuit. The error persists until new data is written. Soft errors have long been recognized as a potential problem as radiation can come from a variety of sources. This paper presents an FPGA fault model focusing on routing aspects. A graph model of SRAM nodes behavior in case of fault, starting from netlist description of well known FPGA models, is presented. It is also performed a classification of possible logical effects of a soft error in the configuration bit controlling, providing statistics on the possible numbers of faults. Finally it is reported the definition of fault metrics computed on a set of complex benchmarks proving the effectiveness of our approach.","PeriodicalId":6580,"journal":{"name":"2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"45 1","pages":"155-160"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90632275","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Binary decision diagram to design balanced secure logic styles 二元决策图设计平衡的安全逻辑样式
Hyunmin Kim, Seokhie Hong, B. Preneel, I. Verbauwhede
Embedded implementations of cryptographic algorithms require countermeasures against side-channel attacks (SCAs), that exploit physical variables measured during the computation. These countermeasures increase cost, power consumption and latency of the device. One class of countermeasures, hiding, consists of a balanced circuit style, including balancing of the capacitances and delays; it requires full connection to avoid memory effect that is an effect caused by repeatedly recharged energy after being only partially discharged at the internal parasitic capacitance. This paper proposes binary decision diagrams (BDDs) to derive complex pull-down networks that fulfill all these requirements while being compact at the same time; it uses sense amplifier-based logic (SABL) to obtain well-balanced pre-charge circuits. An attack based on mutual information analysis (MIA) is applied to the AES S-boxes implemented in our novel secure logic style. After the evaluation at pre-layout SPICE level, the balanced circuit with BDD leaks less information than comparable logic styles, even though the implementation area is reduced by 40.6%, the power consumption up to 46.1% and the delay by 35.2% compared to the classic SABL approach.
加密算法的嵌入式实现需要针对侧信道攻击(sca)的对策,这种攻击利用在计算过程中测量的物理变量。这些对策增加了设备的成本、功耗和延迟。一类对抗措施,隐藏,由平衡电路风格组成,包括平衡电容和延迟;它需要完全连接,以避免记忆效应,即能量在内部寄生电容处仅部分放电后反复充电造成的效应。本文提出了二元决策图(bdd)来推导复杂的下拉网络,该网络在满足所有这些要求的同时又具有紧凑性;它使用基于感测放大器的逻辑(SABL)来获得平衡良好的预充电电路。本文提出了一种基于互信息分析(MIA)的AES s -box攻击方法。经过布局前SPICE水平的评估,与同类逻辑风格相比,BDD平衡电路泄漏的信息更少,尽管与经典SABL方法相比,实现面积减少了40.6%,功耗减少了46.1%,延迟减少了35.2%。
{"title":"Binary decision diagram to design balanced secure logic styles","authors":"Hyunmin Kim, Seokhie Hong, B. Preneel, I. Verbauwhede","doi":"10.1109/IOLTS.2016.7604710","DOIUrl":"https://doi.org/10.1109/IOLTS.2016.7604710","url":null,"abstract":"Embedded implementations of cryptographic algorithms require countermeasures against side-channel attacks (SCAs), that exploit physical variables measured during the computation. These countermeasures increase cost, power consumption and latency of the device. One class of countermeasures, hiding, consists of a balanced circuit style, including balancing of the capacitances and delays; it requires full connection to avoid memory effect that is an effect caused by repeatedly recharged energy after being only partially discharged at the internal parasitic capacitance. This paper proposes binary decision diagrams (BDDs) to derive complex pull-down networks that fulfill all these requirements while being compact at the same time; it uses sense amplifier-based logic (SABL) to obtain well-balanced pre-charge circuits. An attack based on mutual information analysis (MIA) is applied to the AES S-boxes implemented in our novel secure logic style. After the evaluation at pre-layout SPICE level, the balanced circuit with BDD leaks less information than comparable logic styles, even though the implementation area is reduced by 40.6%, the power consumption up to 46.1% and the delay by 35.2% compared to the classic SABL approach.","PeriodicalId":6580,"journal":{"name":"2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"104 1","pages":"239-244"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76012295","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
An soft error propagation analysis considering logical masking effect on re-convergent path 考虑再收敛路径上逻辑掩蔽效应的软误差传播分析
Shuhei Yoshida, Go Matsukawa, S. Izumi, H. Kawaguchi, M. Yoshimoto
This paper presents an accurate soft error propagation analysis technique. Especially, we focus on Single Event Upset (SEU) in flip-flop. The proposed technique can calculate the accurate error propagation probability considering logical masking on re-convergent paths with SAT solver efficiently. Experimental result shows that the proposed technique improves the computation time by 94.6% compared with the method with only SAT solver and the accuracy by 93.3% compared with the conventional method respectively.
本文提出了一种精确的软误差传播分析技术。我们特别关注触发器中的单事件干扰(SEU)。该方法考虑了再收敛路径上的逻辑掩蔽,能够有效地计算出精确的误差传播概率。实验结果表明,该方法与仅使用SAT求解器的方法相比,计算时间提高了94.6%;与传统方法相比,计算精度提高了93.3%。
{"title":"An soft error propagation analysis considering logical masking effect on re-convergent path","authors":"Shuhei Yoshida, Go Matsukawa, S. Izumi, H. Kawaguchi, M. Yoshimoto","doi":"10.1109/IOLTS.2016.7604661","DOIUrl":"https://doi.org/10.1109/IOLTS.2016.7604661","url":null,"abstract":"This paper presents an accurate soft error propagation analysis technique. Especially, we focus on Single Event Upset (SEU) in flip-flop. The proposed technique can calculate the accurate error propagation probability considering logical masking on re-convergent paths with SAT solver efficiently. Experimental result shows that the proposed technique improves the computation time by 94.6% compared with the method with only SAT solver and the accuracy by 93.3% compared with the conventional method respectively.","PeriodicalId":6580,"journal":{"name":"2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"52 1","pages":"13-16"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77786509","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
SET response of a SEL protection switch for 130 and 250 nm CMOS technologies 用于130和250纳米CMOS技术的SEL保护开关的SET响应
M. Andjelković, A. Ilic, V. Petrovic, M. Nenadovic, Z. Stamenkovic, G. Ristić
This paper analyzes the single event transient (SET) response of a single event latchup (SEL) protection switch (SPS) designed in the 130 and 250 nm bulk CMOS technologies. The analysis has been conducted through the SPICE simulations, using the standard double exponential current source as the SET model. It has been confirmed that the 130 nm SPS cell is more susceptible to SETs than the 250 nm version, i.e. the 130 nm SPS cell has exhibited significantly lower critical charge. Based on the simulation results, an analytical model for estimating the critical charge in terms of the transistor size, number of load cells, and duration of the SET current pulse, has been derived. Use of the proposed critical charge model simplifies the analysis of the SPS cell's susceptibility to SETs for custom designs.
分析了采用130 nm和250 nm批量CMOS工艺设计的单事件闭锁(SEL)保护开关(SPS)的单事件瞬态(SET)响应。采用标准双指数电流源作为SET模型,通过SPICE仿真进行了分析。已经证实,130 nm SPS电池比250 nm版本更容易受到SETs的影响,即130 nm SPS电池表现出明显更低的临界电荷。基于仿真结果,导出了一个基于晶体管尺寸、测压元件数量和SET电流脉冲持续时间的临界电荷估算分析模型。使用所提出的临界电荷模型简化了SPS电池对自定义设计的set敏感性的分析。
{"title":"SET response of a SEL protection switch for 130 and 250 nm CMOS technologies","authors":"M. Andjelković, A. Ilic, V. Petrovic, M. Nenadovic, Z. Stamenkovic, G. Ristić","doi":"10.1109/IOLTS.2016.7604695","DOIUrl":"https://doi.org/10.1109/IOLTS.2016.7604695","url":null,"abstract":"This paper analyzes the single event transient (SET) response of a single event latchup (SEL) protection switch (SPS) designed in the 130 and 250 nm bulk CMOS technologies. The analysis has been conducted through the SPICE simulations, using the standard double exponential current source as the SET model. It has been confirmed that the 130 nm SPS cell is more susceptible to SETs than the 250 nm version, i.e. the 130 nm SPS cell has exhibited significantly lower critical charge. Based on the simulation results, an analytical model for estimating the critical charge in terms of the transistor size, number of load cells, and duration of the SET current pulse, has been derived. Use of the proposed critical charge model simplifies the analysis of the SPS cell's susceptibility to SETs for custom designs.","PeriodicalId":6580,"journal":{"name":"2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"11 1","pages":"185-190"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87042569","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Efficient fault tolerant parallel matrix-vector multiplications 高效容错并行矩阵向量乘法
Zhen Gao, P. Reviriego, J. A. Maestro
Parallel matrix processing is a typical operation in many systems, and in particular matrix-vector multiplication is one of the most common operations in modern digital signal processing and digital communication systems. This paper proposes a fault tolerant design for parallel matrix-vector multiplications. The scheme combines ideas from Error Correction Codes with the self-checking capability of matrix-vector multiplication.
并行矩阵处理是许多系统中典型的运算,特别是矩阵向量乘法是现代数字信号处理和数字通信系统中最常见的运算之一。提出了一种并行矩阵-向量乘法的容错设计方法。该方案结合了纠错码的思想和矩阵向量乘法的自检能力。
{"title":"Efficient fault tolerant parallel matrix-vector multiplications","authors":"Zhen Gao, P. Reviriego, J. A. Maestro","doi":"10.1109/IOLTS.2016.7604665","DOIUrl":"https://doi.org/10.1109/IOLTS.2016.7604665","url":null,"abstract":"Parallel matrix processing is a typical operation in many systems, and in particular matrix-vector multiplication is one of the most common operations in modern digital signal processing and digital communication systems. This paper proposes a fault tolerant design for parallel matrix-vector multiplications. The scheme combines ideas from Error Correction Codes with the self-checking capability of matrix-vector multiplication.","PeriodicalId":6580,"journal":{"name":"2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"9 1","pages":"25-26"},"PeriodicalIF":0.0,"publicationDate":"2016-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86217571","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Modeling RTL fault models behavior to increase the confidence on TSIM-based fault injection 对RTL故障模型行为建模,提高基于tsm的故障注入的置信度
Jaime Espinosa, Carles Hernández, J. Abella
Future high-performance safety-relevant applications require microcontrollers delivering higher performance than the existing certified ones. However, means for assessing their dependability are needed so that they can be certified against safety critical certification standars (e.g ISO26262). Dependability assessment analyses performed at high level of abstraction inject single faults to investigate the effects these have in the system. In this work we show that single faults do not comprise the whole picture, due to fault multiplicities and reactivations. Later we prove that, by injecting complex fault models that consider multiplicities and reactivations in higher levels of abstraction, results are substantially different, thus indicating that a change in the methodology is needed.
未来的高性能安全相关应用需要微控制器提供比现有认证微控制器更高的性能。然而,需要评估其可靠性的方法,以便它们能够根据安全关键认证标准(例如ISO26262)进行认证。在高抽象水平上执行的可靠性评估分析注入单个故障,以研究这些故障对系统的影响。在这项工作中,我们表明,由于故障的多样性和再激活,单个故障不包括全貌。后来我们证明,通过注入复杂的故障模型,在更高的抽象层次上考虑多样性和再激活,结果是本质上不同的,因此表明需要改变方法。
{"title":"Modeling RTL fault models behavior to increase the confidence on TSIM-based fault injection","authors":"Jaime Espinosa, Carles Hernández, J. Abella","doi":"10.1109/IOLTS.2016.7604673","DOIUrl":"https://doi.org/10.1109/IOLTS.2016.7604673","url":null,"abstract":"Future high-performance safety-relevant applications require microcontrollers delivering higher performance than the existing certified ones. However, means for assessing their dependability are needed so that they can be certified against safety critical certification standars (e.g ISO26262). Dependability assessment analyses performed at high level of abstraction inject single faults to investigate the effects these have in the system. In this work we show that single faults do not comprise the whole picture, due to fault multiplicities and reactivations. Later we prove that, by injecting complex fault models that consider multiplicities and reactivations in higher levels of abstraction, results are substantially different, thus indicating that a change in the methodology is needed.","PeriodicalId":6580,"journal":{"name":"2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"5 1","pages":"60-65"},"PeriodicalIF":0.0,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87846855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Susceptible workload driven selective fault tolerance using a probabilistic fault model 基于概率故障模型的易受影响工作负载驱动的选择性容错
Mauricio D. Gutierrez, V. Tenentes, T. Kazmierski
In this paper, we present a novel fault tolerance design technique, which is applicable at the register transfer level, based on protecting the functionality of logic circuits using a probabilistic fault model. The proposed technique selects the most susceptible workload of combinational circuits to protect against probabilistic faults. The workload susceptibility is ranked as the likelihood of any fault to bypass the inherent logical masking of the circuit and propagate an erroneous response to its outputs, when that workload is executed. The workload protection is achieved through a Triple Modular Redundancy (TMR) scheme by using the patterns that have been evaluated as most susceptible. We apply the proposed technique on LGSynth91 and ISCAS85 benchmarks and evaluate its fault tolerance capabilities against errors induced by permanent faults and soft errors. We show that the proposed technique, when it is applied to protect only the 32 most susceptible patterns, achieves on average of all the examined benchmarks, an error coverage improvement of 98% and 94% against errors induced by single stuck-at faults (permanent faults) and soft errors (transient faults), respectively, compared to a reduced TMR scheme that protects the same number of susceptible patterns without ranking them.
本文提出了一种适用于寄存器传输级的基于概率故障模型保护逻辑电路功能的容错设计方法。该技术选择组合电路中最易受影响的工作负载,以防止概率故障的发生。工作负载敏感性是指在执行该工作负载时,任何故障绕过电路的固有逻辑屏蔽并将错误响应传播到其输出的可能性。工作负载保护是通过三模冗余(Triple Modular Redundancy, TMR)方案实现的,该方案使用了被评估为最易受影响的模式。我们将所提出的技术应用于LGSynth91和ISCAS85基准测试,并评估了其对永久错误和软错误引起的错误的容错能力。我们表明,当该技术仅用于保护32个最易受影响的模式时,与保护相同数量的易受影响模式而不对其进行排名的简化TMR方案相比,在所有检查的基准测试中,针对单个卡滞故障(永久故障)和软错误(瞬态故障)引起的错误,该技术的平均错误覆盖率分别提高了98%和94%。
{"title":"Susceptible workload driven selective fault tolerance using a probabilistic fault model","authors":"Mauricio D. Gutierrez, V. Tenentes, T. Kazmierski","doi":"10.1109/IOLTS.2016.7604682","DOIUrl":"https://doi.org/10.1109/IOLTS.2016.7604682","url":null,"abstract":"In this paper, we present a novel fault tolerance design technique, which is applicable at the register transfer level, based on protecting the functionality of logic circuits using a probabilistic fault model. The proposed technique selects the most susceptible workload of combinational circuits to protect against probabilistic faults. The workload susceptibility is ranked as the likelihood of any fault to bypass the inherent logical masking of the circuit and propagate an erroneous response to its outputs, when that workload is executed. The workload protection is achieved through a Triple Modular Redundancy (TMR) scheme by using the patterns that have been evaluated as most susceptible. We apply the proposed technique on LGSynth91 and ISCAS85 benchmarks and evaluate its fault tolerance capabilities against errors induced by permanent faults and soft errors. We show that the proposed technique, when it is applied to protect only the 32 most susceptible patterns, achieves on average of all the examined benchmarks, an error coverage improvement of 98% and 94% against errors induced by single stuck-at faults (permanent faults) and soft errors (transient faults), respectively, compared to a reduced TMR scheme that protects the same number of susceptible patterns without ranking them.","PeriodicalId":6580,"journal":{"name":"2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)","volume":"1 1","pages":"115-120"},"PeriodicalIF":0.0,"publicationDate":"2016-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80127997","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
期刊
2016 IEEE 22nd International Symposium on On-Line Testing and Robust System Design (IOLTS)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1