61 results on '"Boyang Du"'
Search Results
2. Generalized Principal Component Analysis-Based Subspace Decomposition of Fault Deviations and Its Application to Fault Reconstruction
- Author
-
Boyang Du, Xiangyu Kong, and Xiaowei Feng
- Subjects
Subspace decomposition ,generalized principal component analysis ,fault diagnosis ,fault reconstruction ,Electrical engineering. Electronics. Nuclear engineering ,TK1-9971 - Abstract
In the present work, based on the generalized principal component analysis, we propose a new approach to decompose the subspace of fault deviations, which is used for reconstruction-based fault diagnosis through principal component analysis (PCA) monitoring system. The proposed method is advanced since it lightens the computational burden by eliminating the irrelavant information and simplifying the fault subspace. The fault effects are extracted through analyzing the generalized principal components of the normal operating data and the fault data. The significant fault deviations that cause the alarming monitoring statistic are calculated. This is achieved by designing a two-part feature decomposition procedure. In the first part, the normal operating subspace is extracted through analyzing the generalized principal components of both the historical normal data and fault data. The fault-free part of the data is eliminated by projecting the data into the normal operating subspace. In the second part, principal component analysis is performed on the remaining part of the data, where the largest fault deviation directions are decomposed in order. By the two-part decomposition, an integrated fault subspace for all monitoring statistic indices is obtained, which separates the measurement data into two different parts for fault reconstruction. One part is related to the normal operating subspace, which is deemed to follow normal rules, and thus insignificant to remove alarming monitoring statistics. The other is related to the fault subspace, which contributes to the out-of-control signals. Theoretical support is constructed and the related statistical characteristics are analyzed. Its feasibility and performance are illustrated with the data from the Tennessee Eastman (TE) benchmark process.
- Published
- 2020
- Full Text
- View/download PDF
3. Novel criterion function for minor subspace tracking based on Rayleigh quotient
- Author
-
Zhongying XU, Yingbin GAO, Xiangyu KONG, and Boyang DU
- Subjects
Rayleigh quotient ,criterion function ,minor component analysis ,Lyapunov function ,Telecommunication ,TK5101-6720 - Abstract
Aiming at the lack of information criterion functions of sub subspace,a novel criterion function was proposed by adding a penalty term to the Rayleigh quotient.Through analyzing the properties of all the stable points,it was proven that the criterion function exhibited the global maximum attained if and only if the weight matrices span the minor subspace.A minor subspace tracking algorithm was derived by gradient ascending method and its global convergence analysis was also accomplished.Numerical simulations and real application verifies the correctness of the criterion function and derived algorithm.
- Published
- 2019
- Full Text
- View/download PDF
4. Analyzing Radiation-Induced Transient Errors on SRAM-Based FPGAs by Propagation of Broadening Effect
- Author
-
Corrado De Sio, Sarah Azimi, Luca Sterpone, and Boyang Du
- Subjects
Function generator ,propagation induced pulse broadening ,LUTs ,single event transients ,SRAM-based FPGA ,Electrical engineering. Electronics. Nuclear engineering ,TK1-9971 - Abstract
SRAM-based field programmable gate arrays (FPGAs) are widely used in mission-critical applications, such as aerospace and avionics. Due to the increasing working frequency and technology scaling of ultra-nanometer technology, single event transients (SETs) are becoming a major source of errors for these devices. In this paper, we propose a workflow for evaluating the behavior of SETs in SRAM-based FPGAs. The method is able to compute the propagation-induced pulse broadening (PIPB) effect introduced by the logic resources traversed by transient pulses. Besides, we developed an accurate look-up table (LUT) layout model able to effectively predict the kinds of the SETs induced by radiation-particle and to accurately mimic the phenomena of the SET generation and propagation. The proposed methodology is applicable to any recent technology to provide the SET analysis, necessary for an efficient mitigation technology. The experimental results achieved from a set of benchmark circuits mapped on a 28-nm SRAM-based FPGA and compared with the fault injection experiments demonstrate the effectiveness of our technique.
- Published
- 2019
- Full Text
- View/download PDF
5. A Generalized Minor Component Extraction Algorithm and Its Analysis
- Author
-
Hongzeng Li, Boyang Du, Xiangyu Kong, Yingbin Gao, Changhua Hu, and Xuhao Bian
- Subjects
Generalized minor component analysis ,deterministic discrete time method ,Hebbian-rule-based algorithms ,self-stabilizing property ,Electrical engineering. Electronics. Nuclear engineering ,TK1-9971 - Abstract
Generalized minor component analysis (GMCA) is of great use in modern signal processing. The GMCA algorithms can be simplified to extract the minor generalized eigenvector of the autocorrelation input matrices pencil. In contrast to batching methods, the Hebbian-rule-based algorithm can extract the minor generalized eigenvector online. Few Hebbian-rule-based GMCA algorithms have been reported in the literature, and most of them are not self-stabilizing. Thus, a novel algorithm for GMCA, which is advantageous in terms of good convergence speed, self-stabilizing property, and multiple generalized minor component extraction in sequence, is proposed in this paper. A theoretical analysis verifies these properties via matrix theory and the deterministic discrete-time method. Numerical simulations are conducted to further demonstrate the advantages of the proposed algorithm.
- Published
- 2018
- Full Text
- View/download PDF
6. Quality-Related and Process-Related Fault Monitoring With Online Monitoring Dynamic Concurrent PLS
- Author
-
Xiangyu Kong, Zehao Cao, Qiusheng An, Yingbin Gao, and Boyang Du
- Subjects
Partial least squares ,quality-related ,process monitoring ,dynamic ,Electrical engineering. Electronics. Nuclear engineering ,TK1-9971 - Abstract
The partial least squares (PLS) method has been widely used in quality-related industrial process monitoring because of its ability to extract quality-related information. Generally, online quality monitoring data cannot be obtained in real time, and in this case, updating the online monitoring model is a serious challenge. In this paper, an online monitoring dynamic PLS (OMD-PLS) model that uses the relation between time-delay process data and time-delay quality data is proposed. To accurately monitor the quality-related and process-related fault data, we also propose an online monitoring dynamic concurrent PLS (OMDC-PLS) model based on OMD-PLS, which has the ability to detect slight deviations. Furthermore, an alarm-parameter alarm method based on the OMDC-PLS model is proposed and effectively reduces the false alarm rate. Finally, numerical simulations and the Tennessee Eastman process are used to illustrate the effectiveness of the proposed methods.
- Published
- 2018
- Full Text
- View/download PDF
7. Application of 3D Design Technology in the Construction of 220KV Miluoxi Substation
- Author
-
Wen Jiang, Jin Hu Yang, Wei Zhai, Guangbing Xu, Xinxin Xiang, and Boyang Du
- Subjects
Environmental sciences ,GE1-350 - Abstract
In this paper, through the application of 3D design technology in the construction of 220kV Miluoxi substation, the main aspects of the application of 3D design technology in the construction are summarized, including inter discipline verification, collision inspection, real scene modeling, equipment 3D installation details, 4D construction simulation, VR technology application and mobile application solutions. This paper also summarizes the economic, management and social benefits of three-dimensional application, which can be used as a reference for the following projects.
- Published
- 2021
- Full Text
- View/download PDF
8. An Effective Principal Singular Triplets Extracting Neural Network Algorithm
- Author
-
Boyang Du, Xiaowei Feng, Xiangyu Kong, and Zhongying Xu
- Subjects
0209 industrial biotechnology ,Artificial neural network ,Computer Networks and Communications ,General Neuroscience ,02 engineering and technology ,Dynamical system ,Singular value ,Matrix (mathematics) ,020901 industrial engineering & automation ,Orthogonality ,Artificial Intelligence ,Convergence (routing) ,Singular value decomposition ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,Orthonormality ,Algorithm ,Software ,Mathematics - Abstract
In this paper, we propose an effective neural network algorithm to perform singular value decomposition (SVD) of a cross-correlation matrix between two data streams. Different from traditional algorithms, the newly proposed algorithm can extract not only the principal singular vectors but also the corresponding principal singular values. First, a dynamical system is obtained from the gradient flow, which is obtained from optimization of a novel information criterion. Then, based on the dynamical system, a stable neural network algorithm, which can extract the left and right principal singular vectors, is obtained. Moreover, by satisfying orthogonality instead of orthonormality, we are able to extract the normalization scale factor as the corresponding singular value. In this case, the principal singular triplet (principal singular vectors and the corresponding singular value) of the cross-correlation matrix can be extracted by using the proposed algorithm. What’s more, the proposed algorithm can also be used for multiple PSTs extraction on the basis of sequential method. Then, convergence analysis shows that the proposed algorithm converges to the stable equilibrium point with probability 1. Last, experiment results show that the proposed algorithm is fast and stable in convergence, and can also extract multiple PSTs efficiently.
- Published
- 2021
- Full Text
- View/download PDF
9. Unified and Self-Stabilized Parallel Algorithm for Multiple Generalized Eigenpairs Extraction
- Author
-
Xiangyu Kong, Xiaowei Feng, Jiayu Luo, and Boyang Du
- Subjects
Equilibrium point ,Signal processing ,Artificial neural network ,Computer science ,Feature extraction ,Parallel algorithm ,020206 networking & telecommunications ,02 engineering and technology ,Matrix decomposition ,Generalized eigenvector ,Ordinary differential equation ,Signal Processing ,0202 electrical engineering, electronic engineering, information engineering ,Two-vector ,Electrical and Electronic Engineering ,Algorithm ,Eigenvalues and eigenvectors - Abstract
Generalized eigenvalue decomposition has many advantages when it is applied in modern signal processing. Compared with other methods, neural network model-based algorithms provide an efficient way to solve such problems online. Generalized feature extraction algorithms based on neural network models have been described in the literature. However, the majority of the existing algorithms can only extract the principal generalized eigenvector(s) or eigensubspace. To extract principal and minor generalized eigenvectors from two vector sequences, in this paper, two different information criteria are proposed, and a unified algorithm for the extraction of multiple components in a parallel way by simply altering the sign is derived based on these information criteria, which is feasible for generalized principal and minor component analysis. Moreover, all the corresponding principal and minor generalized eigenvalues can be extracted simultaneously because the desired equilibrium point depends on these values. Thus, the proposed algorithm can perform multiple generalized eigenpair extraction. The proposed algorithm possesses four properties: unification, self-stability, parallel extraction and generalized eigenpair extraction, that few of the existing algorithms can encompass. The global convergence and self-stability property of the proposed algorithm are proved through the Lyapunov method and ordinary differential equation method, respectively. The proposed algorithm has a fast convergence speed, high precision and strong tracking ability. Finally, numerical examples and applications are explored to further demonstrate the efficiency of the proposed algorithm.
- Published
- 2020
- Full Text
- View/download PDF
10. FlexGripPlus: An improved GPGPU model to support reliability analysis
- Author
-
Luca Sterpone, Matteo Sonza Reorda, Boyang Du, and Josie E. Rodriguez Condia
- Subjects
Computer science ,Reliability (computer networking) ,02 engineering and technology ,01 natural sciences ,Control theory ,0103 physical sciences ,VHDL ,0202 electrical engineering, electronic engineering, information engineering ,Transient (computer programming) ,Electrical and Electronic Engineering ,Graphics ,Safety, Risk, Reliability and Quality ,computer.programming_language ,010302 applied physics ,business.industry ,Event (computing) ,020208 electrical & electronic engineering ,Fault injection ,Condensed Matter Physics ,Atomic and Molecular Physics, and Optics ,Surfaces, Coatings and Films ,Electronic, Optical and Magnetic Materials ,Embedded system ,General-purpose computing on graphics processing units ,business ,computer - Abstract
General Purpose Graphics Processing Units (GPGPUs) have been extensively used in the last decade as accelerators in high demanding applications, such as multimedia processing and high-performance computing. Nowadays, these devices are becoming popular even in safety-critical applications, such as in autonomous and semi-autonomous vehicles. However, these devices can suffer from the effects of transient faults, such as those produced by radiation effects. Among those effects, Single Event Upsets (SEUs), which are the focus of this paper, can cause application misbehaviors, which may lead to catastrophic consequences. In this work, we first describe how we extended the capabilities of an open-source VHDL GPGPU model (FlexGrip) and developed a new version named FlexGripPlus to study and analyze the effects of SEUs in a GPGPU in a much more detailed manner. We also performed extensive fault injection campaigns using FlexGripPlus, which allowed identifying the most critical effects within the GPGPU architecture. We finally focused on the scheduler controller since it represents a module that is specific to the GPGPU architecture and showed that it has different levels of SEU sensibility depending on the affected location. Moreover, the results of additional analyses varying the number of parallel execution units in the system are presented, demonstrating the correlation between the number of execution units in a GPGPU and the system reliability.
- Published
- 2020
- Full Text
- View/download PDF
11. A 3D Simulation-based Approach to Analyze Heavy Ions-induced SET on Digital Circuits
- Author
-
Sarah Azimi, F. Luoni, Boyang Du, and Luca Sterpone
- Subjects
Nuclear and High Energy Physics ,Computer science ,Layout ,Single Event Transient ,Heavy Ions ,Simulation ,Radiation Effects ,3D ,Hardware_PERFORMANCEANDRELIABILITY ,Integrated circuit ,01 natural sciences ,Transient voltage suppressor ,law.invention ,Set (abstract data type) ,Flash (photography) ,law ,0103 physical sciences ,Hardware_INTEGRATEDCIRCUITS ,Electronic engineering ,Electrical and Electronic Engineering ,Digital electronics ,010308 nuclear & particles physics ,business.industry ,Volume (computing) ,Process (computing) ,Nuclear Energy and Engineering ,CMOS ,business - Abstract
Radiation-induced single-event transients (SETs) are the leading cause of mal-operations in CMOS nanometric integrated circuits. The increasing complexity of advanced CMOS digital circuits makes SET effects investigation a rising challenge. In this work, we propose a 3-D-oriented simulation approach able to model the passage of heavy ion particles through the physical structures of modern digital circuits implemented with ultrananometric manufacturing processes. The proposed approach is able to generate the transient voltage pulse in response to a heavy-ion track and identify the effects of the sensitive volume and contact structure. We present heavy-ion radiation test experiments performed on a 65-nm Flash-based CMOS technology process and, as proof-of-concept, we successfully compared the SET cross sections showing comparable results.
- Published
- 2020
12. A Generalized Minor Component Extraction Algorithm and Its Analysis
- Author
-
Changhua Hu, Xiangyu Kong, Xuhao Bian, Yingbin Gao, Hongzeng Li, and Boyang Du
- Subjects
Signal processing ,Sequence ,Generalized minor component analysis ,deterministic discrete time method ,General Computer Science ,Computer science ,Autocorrelation ,Minor (linear algebra) ,General Engineering ,020206 networking & telecommunications ,02 engineering and technology ,Matrix (mathematics) ,Hebbian-rule-based algorithms ,Generalized eigenvector ,Component (UML) ,self-stabilizing property ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,General Materials Science ,lcsh:Electrical engineering. Electronics. Nuclear engineering ,Algorithm ,lcsh:TK1-9971 - Abstract
Generalized minor component analysis (GMCA) is of great use in modern signal processing. The GMCA algorithms can be simplified to extract the minor generalized eigenvector of the autocorrelation input matrices pencil. In contrast to batching methods, the Hebbian-rule-based algorithm can extract the minor generalized eigenvector online. Few Hebbian-rule-based GMCA algorithms have been reported in the literature, and most of them are not self-stabilizing. Thus, a novel algorithm for GMCA, which is advantageous in terms of good convergence speed, self-stabilizing property, and multiple generalized minor component extraction in sequence, is proposed in this paper. A theoretical analysis verifies these properties via matrix theory and the deterministic discrete-time method. Numerical simulations are conducted to further demonstrate the advantages of the proposed algorithm.
- Published
- 2018
13. Quality-Related and Process-Related Fault Monitoring With Online Monitoring Dynamic Concurrent PLS
- Author
-
Boyang Du, Xiangyu Kong, Yingbin Gao, Zehao Cao, and Qiusheng An
- Subjects
0209 industrial biotechnology ,General Computer Science ,Relation (database) ,Computer science ,media_common.quotation_subject ,02 engineering and technology ,Fault (power engineering) ,computer.software_genre ,Constant false alarm rate ,Data modeling ,process monitoring ,020901 industrial engineering & automation ,Partial least squares ,Partial least squares regression ,0202 electrical engineering, electronic engineering, information engineering ,General Materials Science ,Quality (business) ,media_common ,dynamic ,020208 electrical & electronic engineering ,General Engineering ,Process (computing) ,quality-related ,Data quality ,lcsh:Electrical engineering. Electronics. Nuclear engineering ,Data mining ,lcsh:TK1-9971 ,computer - Abstract
The partial least squares (PLS) method has been widely used in quality-related industrial process monitoring because of its ability to extract quality-related information. Generally, online quality monitoring data cannot be obtained in real time, and in this case, updating the online monitoring model is a serious challenge. In this paper, an online monitoring dynamic PLS (OMD-PLS) model that uses the relation between time-delay process data and time-delay quality data is proposed. To accurately monitor the quality-related and process-related fault data, we also propose an online monitoring dynamic concurrent PLS (OMDC-PLS) model based on OMD-PLS, which has the ability to detect slight deviations. Furthermore, an alarm-parameter alarm method based on the OMDC-PLS model is proposed and effectively reduces the false alarm rate. Finally, numerical simulations and the Tennessee Eastman process are used to illustrate the effectiveness of the proposed methods.
- Published
- 2018
- Full Text
- View/download PDF
14. Robust guaranteed cost consensus for high‐order discrete‐time multi‐agent systems with parameter uncertainties and time‐varying delays
- Author
-
Jun Xu, Jing Zeng, Jianxiang Xi, Boyang Du, and Guoliang Zhang
- Subjects
Lyapunov function ,0209 industrial biotechnology ,Control and Optimization ,Computer science ,Linear system ,Linear matrix inequality ,02 engineering and technology ,Computer Science Applications ,Human-Computer Interaction ,symbols.namesake ,020901 industrial engineering & automation ,Discrete time and continuous time ,Consensus ,Control and Systems Engineering ,Control theory ,Stability theory ,Convergence (routing) ,0202 electrical engineering, electronic engineering, information engineering ,symbols ,020201 artificial intelligence & image processing ,Electrical and Electronic Engineering ,Robust control - Abstract
The robust guaranteed cost consensus problem of high-order discrete-time linear multi-agent systems (MASs) with parameter uncertainties and time-varying delays is studied, and a linear consensus protocol of it is designed. Norm-bounded uncertainties and polytopic uncertainties are considered. First, the idea of robust guaranteed cost control is introduced into consensus problems for the MASs, where a cost function is defined based on state errors among neighbouring agents and control inputs of all the agents. Second, by constructing suitable Lyapunov functions and using the stability theory of discrete-time linear systems, two sufficient linear matrix inequality conditions are derived to insure that high-order discrete-time linear MASs with the two types of parameter uncertainties and time-varying delays reach robust guaranteed cost consensus. At the same time, two upper bounds of the guaranteed cost function are also given. Third, convergence results are given as final consensus values of the MASs with parameter uncertainties and time-varying delays. Finally, two numerical comparisons are given to illustrate the correctness and availability of the theoretical results.
- Published
- 2017
- Full Text
- View/download PDF
15. A new Method for the Analysis of Radiation-induced Effects in 3D VLSI Face-to-Back LUTs
- Author
-
Corrado De Sio, Luca Sterpone, Sarah Azimi, Ludovica Bozzoli, and Boyang Du
- Subjects
Very-large-scale integration ,010308 nuclear & particles physics ,Computer science ,Three-dimensional integrated circuit ,02 engineering and technology ,Fault injection ,Dissipation ,01 natural sciences ,020202 computer hardware & architecture ,Reliability (semiconductor) ,0103 physical sciences ,Lookup table ,0202 electrical engineering, electronic engineering, information engineering ,Electronic engineering ,Transient (oscillation) ,Sensitivity (control systems) - Abstract
In recent years, three-dimensional IC (3D IC) has gained much attention as a promising approach to increase IC performance due to their several advantages in terms of integration density, power dissipation and achievable clock frequencies. However, the reliability of 3D ICs regarding soft errors induced by radiation is not investigated yet. In this work, we propose a method for evaluating the sensitivity of 3D ICs to Single Event Transient induced by Heavy Ions. The flow starts with identifying the characteristics of the generated transient pulses with respect to the radiation profile and 3D layout of the design. Secondly, our method provides a Dynamic Error Rate using a Simulation-based Fault Injection environment. Experimental results achieved applying the approach on a 15nm 3D configurable Look-Up-Table (LUT) designed on two tiers demonstrated the feasibility of the method, showing the vulnerability characterization of four different functional configurations using eight different types of heavy ions.
- Published
- 2019
- Full Text
- View/download PDF
16. On the evaluation of SEU effects in GPGPUs
- Author
-
Boyang Du, M. Sonza Reorda, Luca Sterpone, and Josie E. Rodriguez Condia
- Subjects
010302 applied physics ,Graphics Processors ,Computer science ,Event (computing) ,business.industry ,Fault Simulation ,General Purpose Graphics Processing Units ,02 engineering and technology ,Video processing ,Car driving ,01 natural sciences ,020202 computer hardware & architecture ,GPGPUs ,General purpose ,Power consumption ,Embedded system ,0103 physical sciences ,0202 electrical engineering, electronic engineering, information engineering ,Parallel architecture ,SEU, General Purpose Graphics Processing Units, GPGPUs, Graphics Processors, Fault Simulation ,General-purpose computing on graphics processing units ,business ,Throughput (business) ,SEU - Abstract
General Purpose Graphic Processing Units (GPGPUs) are effective solutions for high-demand data applications which involve multi-signal, image and video processing thanks to their powerful parallel architecture. In the last years, GPGPUs have been considered also for safety-critical applications, such as autonomous and semi-autonomous car driving systems. New GPGPU devices include an increasing number of parallel cores in order to increase throughput and performance. This increment in the number of cores and the requirements in terms of power consumption force designers to use aggressive semiconductor technologies.Nevertheless, those new devices can be seriously affected by radiation effects, modeled as Single Event Upsets (SEUs). SEUs could generate unexpected operation effects in the applications which could be unacceptable for the safety-critical ones. This work analyzes the SEU effects resorting to an open-source model of a GPGPU based on the Nvidia’s G80 architecture and aims at complementing previous analysis based on radiation experiments
- Published
- 2019
- Full Text
- View/download PDF
17. An extended model to support detailed GPGPU reliability analysis
- Author
-
Boyang Du, Josie E. Rodriguez Condia, and Matteo Sonza Reorda
- Subjects
Functional safety ,Computer science ,Reliability (computer networking) ,02 engineering and technology ,01 natural sciences ,GPGPUs ,0103 physical sciences ,VHDL ,0202 electrical engineering, electronic engineering, information engineering ,Transient (computer programming) ,Graphics ,computer.programming_language ,010302 applied physics ,Data processing ,SEUs ,Event (computing) ,business.industry ,Fault simulation ,Transient faults ,020202 computer hardware & architecture ,Embedded system ,General-purpose computing on graphics processing units ,business ,computer - Abstract
General Purpose Graphics Processing Units (GPGPUs) have been used in the last decades as accelerators in high demanding data processing applications, such as multimedia processing and high-performance computing. Nowadays, these devices are becoming popular even in safety-critical applications, such as autonomous and semi-autonomous vehicles. However, these devices can suffer from the effects of transient faults, such as those produced by radiation effects. These effects can be represented in the system as Single Event Upsets (SEUs) and are able to generate intolerable application misbehaviors in safety critical environments. In this work, we extended the capabilities of an open-source VHDL GPGPU model (FlexGrip) in order to study and analyze in a much more detailed manner the effects of SEUs in some critical modules within a GPGPU. Simulation results showed that scheduler controller has different levels of SEU sensibility depending on the affected location. Moreover, a reduced number of execution units, in the GPGPU can decrease the system reliability.
- Published
- 2019
18. Radiation-induced Single Event Transient effects during the reconfiguration process of SRAM-based FPGAs
- Author
-
Ludovica Bozzoli, Sarah Azimi, Boyang Du, C. De Sio, and Luca Sterpone
- Subjects
Computer science ,business.industry ,Control reconfiguration ,Reconfigurability ,Fault injection ,Condensed Matter Physics ,Fault (power engineering) ,Atomic and Molecular Physics, and Optics ,Surfaces, Coatings and Films ,Electronic, Optical and Magnetic Materials ,Embedded system ,Benchmark (computing) ,Transient (computer programming) ,Static random-access memory ,Electrical and Electronic Engineering ,Fault model ,Safety, Risk, Reliability and Quality ,business - Abstract
Commercial SRAM-based FPGAs are widely used in aerospace applications thanks to their limited costs and high performances. Dynamic Partial Reconfigurability (DPR) allows to rewrite sections of the configuration memory of these devices while they are normally working. This is a powerful feature which provides advantages in terms of area, power consumption and flexibility. Moreover, DPR plays the main role in the recovery from faults that may occur in the configuration memory of the device when it operates in a radiation environment. Indeed, ionized particles which strike electronic devices, may cause various types of events. The Single Event Transient (SET) is a well-known phenomenon, which affects sensitive nodes causing transitory voltage spikes that can be sampled by a memory element, causing a fault. In this paper, an evaluation methodology for the errors caused by SETs during the reconfiguration of the configuration memory in SRAM-based FPGAs is presented. The evaluation methodology includes the fault model evaluation and the development of a fault injection and error evaluation workflow. The illustrated methodology has been applied on a physical device implementing a benchmark design and the obtained results are reported.
- Published
- 2019
19. SETA-RAY: A New IDE tool for Predicting, Analyzing and Mitigating Radiation-induced Soft Errors on FPGAs
- Author
-
Luca Sterpone, Boyang Du, and SARAH AZIMI
- Subjects
Radiation-effects, EDA tools, Linear Energy, Transfer (LET), Flash-based FPGA ,Flash-based FPGA ,EDA tools ,Radiation-effects ,Linear Energy ,Transfer (LET) - Published
- 2019
20. A Zero-Timing Overhead SET Mitigation Approach for Flash-based FPGAs
- Author
-
Sarah Azimi, Boyang Du, and Luca Sterpone
- Subjects
010308 nuclear & particles physics ,Event (computing) ,Computer science ,Flash-based FPGAs, Transient effects, Multiple Event effects ,Mission critical ,Transient effects ,Integrated circuit ,01 natural sciences ,Reliability engineering ,law.invention ,Set (abstract data type) ,Multiple Event effects ,law ,0103 physical sciences ,Benchmark (computing) ,Netlist ,Flash-based FPGAs ,Overhead (computing) ,Routing (electronic design automation) - Abstract
Reliability of Integrated Circuits (ICs) is nowadays a major concern for sub-micron technologies especially when they are adopted in mission critical applications. The decreasing of device feature size leads to an increasing of the device sensitivity against Single Event Effects (SEEs), especially Single Event Transients (SETs), induced particle strikes within the device silicon structure. Flash-based FPGA is a golden core for aerospace safety critical applications; however, traditional SET mitigation solutions, such as filter insertion, can lead to performance degradation of the implemented design. In this paper, we provide a new implementation flow that is able to evaluate the SET phenomena considering its specific convergence case and effectively mitigate the SETs without introducing any performance penalization to the original netlist. Experimental results on different sets of benchmark circuits demonstrated the mitigation of SET events without affecting the timing performances of the circuits.
- Published
- 2018
- Full Text
- View/download PDF
21. About the functional test of the GPGPU scheduler
- Author
-
Boyang Du, M. Sonza Reorda, Josie E. Rodriguez Condia, and Luca Sterpone
- Subjects
010302 applied physics ,SBST ,business.industry ,Computer science ,020208 electrical & electronic engineering ,Automotive industry ,02 engineering and technology ,functional testing ,01 natural sciences ,GeneralLiterature_MISCELLANEOUS ,Instruction set ,Software ,Robustness (computer science) ,Embedded system ,0103 physical sciences ,Fault coverage ,VHDL ,GPGPU Scheduler, SBST, functional testing ,0202 electrical engineering, electronic engineering, information engineering ,GPGPU Scheduler ,General-purpose computing on graphics processing units ,business ,computer ,Structured systems analysis and design method ,computer.programming_language - Abstract
General Purpose Graphical Processing Units (GPGPUs) are increasingly used in safety critical applicationssuch as the automotive ones. Hence, techniques are required to test them during the operational phase with respect to possible permanent faults arising when the device is already deployed in the field.Functional tests adoptingSoftware-based Self-test(, orSBST)are an effective solution since they providebenefits in terms of intrusiveness, flexibility and test duration. While the development of the functional test code addressing the several computational cores composing a GPGPU can be done resorting to knownmethods developed for CPUs, for other modules which are typical of a GPGPU we still miss effective solutions.This paper focusesOonone of the most relevant module consists on the scheduler corewhich is in charge of managing different scalar computational cores and the different executed threads.At first, we propose a method for evaluating the fault coverage that can be achieved using an application program. Then, we providesome guidelines for improving the achieved fault coverage. Experimental results are provided on an open-source VHDL model of a GPGPU.
- Published
- 2018
- Full Text
- View/download PDF
22. On the analysis of radiation-induced Single Event Transients on SRAM-based FPGAs
- Author
-
Luca Boragno, Sarah Azimi, Luca Sterpone, and Boyang Du
- Subjects
Risk ,SETs ,Computer science ,Mission critical ,Radiation effects ,Hardware_PERFORMANCEANDRELIABILITY ,02 engineering and technology ,Integrated circuit ,Single Event Transients ,01 natural sciences ,law.invention ,Set (abstract data type) ,Coatings and Films ,Reliability (semiconductor) ,law ,Atomic and Molecular Physics ,0103 physical sciences ,Hardware_INTEGRATEDCIRCUITS ,0202 electrical engineering, electronic engineering, information engineering ,Electronic ,Static random-access memory ,Optical and Magnetic Materials ,Electrical and Electronic Engineering ,Safety, Risk, Reliability and Quality ,Field-programmable gate array ,SRAM-based FPGA ,010308 nuclear & particles physics ,Event (computing) ,business.industry ,Electronic, Optical and Magnetic Materials ,Atomic and Molecular Physics, and Optics ,Condensed Matter Physics ,Surfaces, Coatings and Films ,020202 computer hardware & architecture ,Surfaces ,Logic gate ,Embedded system ,Reliability and Quality ,and Optics ,Safety ,business ,Hardware_LOGICDESIGN - Abstract
Reliability of Integrated Circuits (ICs) is nowadays a major concern for sub-micron technologies especially when they are adopted in mission critical applications. This paper presents a methodology for accurate characterization of radiation-induced Single Event Transients (SETs) effects in SRAM-based Field Programmable Gate Arrays (FPGAs). A technique based on internal electrical pulse injection is proposed for emulating SET within logic resources of SRAM-based FPGAs. Experimental results provide detailed characterization of basic logic gates.
- Published
- 2018
23. On the Mitigation of Single Event Transients on Flash-based FPGAs
- Author
-
Luca Sterpone, Sarah Azimi, and Boyang Du
- Subjects
Event (computing) ,business.industry ,Computer science ,Convergence Single Event Transient ,SET mitigation ,Set (abstract data type) ,Flash (photography) ,Logic gate ,Embedded system ,Convergence (routing) ,Netlist ,Flash-based FPGAs ,Sensitivity (control systems) ,Field-programmable gate array ,business ,Flash-based FPGAs, Convergence Single Event Transient, SET mitigation - Abstract
Thanks to the immunity against Single Event Upsets in configuration memory, Flash-based FPGA is becoming widely adopted in mission- and safety-critical applications, such as in aerospace field. However, the decreasing of device feature size leads to an increasing of the device sensitivity regarding Single Event Transients (SETs). In this paper, we developed a new workflow to evaluate SET phenomena in a specific convergence case and introduce a new mitigation of SET pulse without introducing any performance penalization to the original netlist.
- Published
- 2018
24. A Novel Error Rate Estimation Approach forUltraScale+ SRAM-based FPGAs
- Author
-
Ludovica Bozzoli, Sarah Azimi, Cesar Boatella Polo, David Merodio Codinachs, Dan Alexandrescu, Boyang Du, Maximilien Glorieux, Luca Sterpone, and Thomas Lange
- Subjects
010302 applied physics ,Estimation ,010308 nuclear & particles physics ,Computer science ,SRAM-based FPGA, Soft-Error Rate, SingleEvent Effect, Single-Event Upset, Single-Event Transient ,Soft-Error Rate ,Word error rate ,Avionics ,01 natural sciences ,Single-Event Upset ,0103 physical sciences ,Electronic engineering ,Single-Event Transient ,Sensitivity (control systems) ,Static random-access memory ,Routing (electronic design automation) ,SingleEvent Effect ,Field-programmable gate array ,AND gate ,SRAM-based FPGA - Abstract
SRAM-based FPGA devices manufactured in FinFET technologies provide performances and characteristics suitable for avionics and aerospace applications. The estimation of error rate sensitivity to harsh environments is a major concern for enabling their usage on such application fields. In this paper, we propose a new estimation approach able to consider the radiation effects on the configuration memory and logic layer of FPGAs, providing a comprehensive Application Error Rate probability estimation. Experimental results provide a comparison between radiation test campaigns, which demonstrates the feasibility of the proposed solution.
- Published
- 2018
- Full Text
- View/download PDF
25. Children with autism show differences in the gut DNA virome compared to non-autistic children: a case control study
- Author
-
Aina Qu, Boyang Duan, Yue Wang, Zhenzhen Cui, Nuochen Zhang, and De Wu
- Subjects
Autism spectrum disorder ,Gut microbiome ,Gut virome ,Metagenome ,Skunavirus ,Pediatrics ,RJ1-570 - Abstract
Abstract Background Several previous studies have identified a potential role that the gut microbiome can play in autism spectrum disorder (ASD) in children, but little is known about how variations in the virome may be involved in ASD. We aimed to understand the changes in the gut DNA virome of children with ASD. Methods A case–control study was presented, in which 13 two-children families were observed while considering the age, mode of birth, history of antibiotic use, and vaccination history to minimize the influence of confounding factors. DNA viral metagenomic sequencing was successfully performed on stool samples from 11 children with ASD and 12 healthy non-ASD children. The basic composition and gene function of the participants' fecal DNA virome were detected and analyzed. Finally, the abundance and diversity of the DNA virome of children with ASD and their healthy siblings were compared. Results The gut DNA virome in children aged 3–11 years was found to be dominated by the Siphoviridae family of Caudovirales. The proteins encoded by the DNA genes mainly carry out the functions of genetic information transmission and metabolism. Compared the gut DNA virome of ASD and healthy non-ASD children, their abundance of Caudovirales and Petitvirales both showed a significant negative correlation (r = -0.902, P
- Published
- 2023
- Full Text
- View/download PDF
26. Fault tolerant electronic system design
- Author
-
Luca Sterpone and Boyang Du
- Subjects
Engineering ,Monitoring ,Clock rate ,02 engineering and technology ,01 natural sciences ,Field programmable gate arrays, Software, Hardware, Monitoring, Reliability, Benchmark testing, Error analysis ,Hardware ,Reliability (semiconductor) ,0103 physical sciences ,0202 electrical engineering, electronic engineering, information engineering ,Dependability ,Field-programmable gate array ,Electronic circuit ,Very-large-scale integration ,Benchmark testing ,010308 nuclear & particles physics ,business.industry ,Field programmable gate arrays ,Fault tolerance ,Avionics ,Reliability ,020202 computer hardware & architecture ,Error analysis ,Embedded system ,business ,Software - Abstract
Due to technology scaling, which means smaller transistor, lower voltage and more aggressive clock frequency, VLSI devices are becoming more susceptible against soft errors. Especially for those devices deployed in safety- and mission-critical applications, dependability and reliability are becoming increasingly important constraints during the development of system on/around them. Other phenomena (e.g. aging and wear-out effects) also have negative impacts on reliability of modern circuits. Furthermore, as recent researches show that even at sea level, radiation particles can still induce soft errors in electronic systems, for avionic and space applications, certain fault tolerant strategy must be applied to guarantee system reliability throughout application lifetime. In this paper, we focus on two aspects: testing for System-on-Chip/System-on-Programmable-Chip by exploiting debug infrastructures and analysis and mitigation of Single Event Effects on FPGA devices.
- Published
- 2017
- Full Text
- View/download PDF
27. Effective Mitigation of Radiation-induced Single Event Transient on Flash-based FPGAs
- Author
-
Raoul Grimoldi, David Merodio Codinachs, Luca Sterpone, Sarah Azimi, and Boyang Du
- Subjects
Engineering ,Fault Tolerance ,Flash-based FPGA ,Hardware_PERFORMANCEANDRELIABILITY ,02 engineering and technology ,Fault (power engineering) ,01 natural sciences ,0103 physical sciences ,Hardware_INTEGRATEDCIRCUITS ,0202 electrical engineering, electronic engineering, information engineering ,Electronic engineering ,Field-programmable gate array ,Placement ,Routing ,Electronic circuit ,Very-large-scale integration ,Combinational logic ,Reconfiguration, Design Flow, Placement, Routing, Reliability, Fault Tolerance, Flash-based FPGA ,Design Flow ,010308 nuclear & particles physics ,business.industry ,020208 electrical & electronic engineering ,Reliability ,Reconfiguration ,Netlist ,Place and route ,Transient (oscillation) ,business - Abstract
Due to the decreasing feature sizes of VLSI circuits, radiation induced Single Event Transients (SETs) are increasingly dominating the event ratio on modern VLSI devices. In particular, Flash-based FPGAs are characterized by the main concern of radiation-induced voltage glitches or SETs in the combinational logic. Transient pulses can be sampled by a storage element and can propagate through the circuit up to the outputs and leading to an error. In this paper, we propose a complete implementation flow including sensitivity analysis, fault tolerant mapping and fault tolerance-oriented place and route for the effective design of SET tolerant circuits on Flash-based FPGAs. In details, the proposed method allows accurate measurement of the transient pulse source induced by radiation particles and estimation of the SET error rate on the overall circuit. Besides the developed method provides a netlist mapping and place and route tool for the selective mitigation of SET effects. The proposed method has been applied to an industrial design oriented to the Euclid European Space Agency mission including more than ten different modules. The obtained results show an improvement of the total filtering capability of around 43 times with respect to the original netlist without affecting the timing constraints of the circuit.
- Published
- 2017
- Full Text
- View/download PDF
28. Online monitoring soft errors in reconfigurable FPGA during radiation test
- Author
-
Boyang Du and Luca Sterpone
- Subjects
Flexibility (engineering) ,Engineering ,010308 nuclear & particles physics ,business.industry ,Circuit design ,02 engineering and technology ,01 natural sciences ,020202 computer hardware & architecture ,Embedded system ,0103 physical sciences ,0202 electrical engineering, electronic engineering, information engineering ,Electronics ,Static random-access memory ,Sensitivity (control systems) ,Particle radiation ,business ,Field-programmable gate array ,Verification and validation - Abstract
Due to rapid technology scaling, electronic devices are becoming more susceptible against soft errors induced by radiation particles, which is a serious challenge for aerospace applications. Meanwhile Field Programmable Gate Array (FPGA) devices have been attracting attention in safety- and mission-critical applications in recent years with the increasing performance and flexibility they provide. Among different types of FPGAs according to the device technology, the SRAM-based FPGA has a higher sensitivity against soft errors as SRAM cell, which is used for storing the configuration data of the circuit design implemented and mapped on the FPGA, is one of the most sensitive devices against radiation induced soft errors. Hence, to guarantee the usage of SRAM-based FPGAs in safety critical environments, the design mapped on it requires an effective verification and validation procedure. Radiation test is one of the verification methods regarding the effects of radiation induced soft errors. In this paper, we present an automated setup for monitoring the soft errors during the radiation test and we compared the measurement obtained from radiation test with the one provided by analytical tools. The experimental results we gained demonstrated the feasibility of the proposed measurement platform.
- Published
- 2017
29. A New Hybrid Nonintrusive Error-Detection Technique Using Dual Control-Flow Monitoring
- Author
-
Almudena Lindoso, Boyang Du, Luis Entrena, Luca Sterpone, Marta Portela-Garcia, M. Sonza Reorda, Luis Parra, and Ministerio de Ciencia e Innovación (España)
- Subjects
Nuclear and High Energy Physics ,fault injection ,Computer science ,Soft errors ,law.invention ,Control flow ,Software ,law ,Software fault tolerance ,Single-event effects (SEEs) ,error detection ,Electronic engineering ,Overhead (computing) ,Electrical and Electronic Engineering ,Microprocessors ,fault tolerance ,control flow error detection ,Hybrid fault tolerance techniques ,business.industry ,Fault tolerance ,Fault injection ,Microprocessor ,Nuclear Energy and Engineering ,Energía Nuclear ,Electrónica ,business ,Error detection and correction ,Computer hardware - Abstract
Hybrid error-detection techniques combine software techniques with an external hardware module that monitors the execution of a microprocessor. The external hardware module typically observes the control flow at the input or at the output of the microprocessor and compares it with the expected one. This paper proposes a new hybrid technique that monitors the control flow at both points and compares them to detect possible errors. The proposed approach does not require any software modification to detect control-flow errors. Fault-injection campaigns have been performed on an LEON3 microprocessor. The results show full control-flow error detection with no performance degradation and small area overhead. A complete solution can be obtained by complementing the proposed approach with software fault-tolerance techniques for data errors. This work was supported in part by the Spanish Government under Contract TEC2010-22095-C03-03.
- Published
- 2014
- Full Text
- View/download PDF
30. The effect of breakfast on childhood obesity: a systematic review and meta-analysis
- Author
-
Kun Wang, Yifan Niu, Zhenzhen Lu, Boyang Duo, Clement Yaw Effah, and Lina Guan
- Subjects
breakfast ,children ,adolescents ,obesity ,overweight ,Nutrition. Foods and food supply ,TX341-641 - Abstract
ObjectivePrevious cohort trials have shown that skipping breakfast increases the risk of obesity or overweight in children. However, this finding remains controversial. Through a meta-analysis, this study systematically evaluated the effect of skipping breakfast on the prevalence of obesity or overweight in children.MethodsWe performed a literature search for studies published until March 19, 2023. using the Cochrane, PubMed, and Embase databases. Based on the inclusion and exclusion criteria, observational studies on the relationship between skipping breakfast and overweight/obesity in children and adolescents were analyzed. Three investigators independently screened the relevant literature, extracted the data, and assessed the risk of bias. The quality of the included studies was assessed using the Newcastle-Ottawa Scale (NOS). A random-effects model was used. The odds ratio (OR) with its 95% confidence interval (CI) was used to indicate the effect size.ResultsA total of 40 retrospective studies with 323,244 children ranging in age from 2 to 20 years were included in this study. The results of this meta-analysis showed that children and adolescents who skipped breakfast had a significantly higher prevalence of obesity or overweight than those who ate breakfast (OR, 1.59; 95% CI, 1.33–1.90; P < 0.001). Skipping breakfast was positively associated with overweight in children and adolescents (OR, 1.37; 95% CI, 1.23–1.54; P < 0.001). Similarly, skipping breakfast was positively associated with obesity in children and adolescents (OR, 1.51; 95% CI, 1.30–1.76; P < 0.001). The effect was also different by sex, with girls being the most affected (OR, 1.47; 95% CI, 1.23–1.76; P < 0.001). There was also a correlation between skipping breakfast and abdominal obesity in children (OR, 0.65; 95% CI, 0.55–0.77; P < 0.001).ConclusionThis meta-analysis suggested that skipping breakfast is associated with an increased risk of overweight/obesity in children and adolescents. The findings provide support for a possible protective role of breakfast against excessive weight gain in children and adolescents. However, more rigorous study designs with validated and standardized measures of relevant variables are needed.
- Published
- 2023
- Full Text
- View/download PDF
31. Accurate analysis of SET effects on Flash-based FPGA System-on-a-Chip for satellite applications
- Author
-
Sarah Azimi, Boyang Du, and Luca Sterpone
- Subjects
010302 applied physics ,Radiation ,010308 nuclear & particles physics ,Computer science ,business.industry ,Circuit design ,Fault Tolerance ,Fault tolerance ,01 natural sciences ,SEE ,Set (abstract data type) ,Flash (photography) ,Logic gate ,Embedded system ,0103 physical sciences ,Hardware_INTEGRATEDCIRCUITS ,System on a chip ,FPGA, Radiation, SET, SEE, SEU, Fault Tolerance ,Routing (electronic design automation) ,Field-programmable gate array ,business ,SET ,FPGA ,SEU - Abstract
In this paper, we propose a methodology for executing simulation using analytical models for the execution of SET propagation on System-on-a-Chip implemented on Flash-based FPGAs. Analysis performed on EUCLID-based circuit design demonstrated its effectiveness.
- Published
- 2016
- Full Text
- View/download PDF
32. Scalable FPGA graph model to detect routing faults
- Author
-
Carmelo Loiacono, Francesco Savarese, Boyang Du, S.F. Finocchiaro, Luca Sterpone, and Gianpiero Cabodi
- Subjects
Integrated circuit interconnections ,Computer science ,Hardware_PERFORMANCEANDRELIABILITY ,02 engineering and technology ,Fault (power engineering) ,Computer Science::Hardware Architecture ,0202 electrical engineering, electronic engineering, information engineering ,Static random-access memory ,Field-programmable gate array ,Routing ,Measurement ,business.industry ,Circuit faults ,Field programmable gate arrays ,Computational modeling ,020202 computer hardware & architecture ,Soft error ,Computer engineering ,Integrated circuit modeling ,Embedded system ,Scalability ,Netlist ,Routing (electronic design automation) ,Fault model ,business ,Field programmable gate arrays, Circuit faults, Routing, Integrated circuit modeling, Computational modeling, Integrated circuit interconnections, Measurement - 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.
- Published
- 2016
- Full Text
- View/download PDF
33. FPGA-controlled PCBA power-on self-test using processor's debug features
- Author
-
Erwing R. Sanchez, M. Sonza Reorda, J. Perez Acle, Anton Tsertov, and Boyang Du
- Subjects
Risk ,Engineering ,media_common.quotation_subject ,Functional approach ,02 engineering and technology ,01 natural sciences ,Software ,0103 physical sciences ,0202 electrical engineering, electronic engineering, information engineering ,Observability ,Electrical and Electronic Engineering ,Field-programmable gate array ,media_common ,010302 applied physics ,Forcing (recursion theory) ,business.industry ,Hardware and Architecture ,Safety, Risk, Reliability and Quality ,020202 computer hardware & architecture ,Debugging ,Reliability and Quality ,Embedded system ,Fault coverage ,Safety ,business ,Power-on self-test - Abstract
When facing in-field board test, the functional approach plays an important role. Often, it corresponds to forcing the processor to execute a test program (which could be an application one), observing the produced results (e.g., by looking at the results written in the memory at the end of the test program execution). However, the fault coverage that can be achieved in this way is often difficult to compute, and limited by the reduced observability. In this paper we propose to use the debug features provided by many processors to enhance the observability, and hence the achieved fault coverage. In the proposed architecture we monitor on-the-fly during the test program execution the information accessible through the debug port using an ad hoc module mapped on an FPGA which is assumed to exist close to the processor. We provide experimental results showing the feasibility and cost of the approach, and demonstrate that it can provide a significant increase in the achieved fault coverage with respect to the popular solution of observing the final content of the memory.
- Published
- 2016
- Full Text
- View/download PDF
34. Hybrid soft error mitigation techniques for COTS processor-based systems
- Author
-
Matteo Sonza Reorda, Luca Sterpone, Boyang Du, Fernanda Lima Kastensmidt, Eduardo Chielle, and Sergio Cuenca-Asensi
- Subjects
Risk ,Engineering ,Hardware_PERFORMANCEANDRELIABILITY ,soft errors ,performance degradation ,memory overhead ,Software ,Software fault tolerance ,error detection ,Electrical and Electronic Engineering ,reliability ,aerospace applications ,business.industry ,COTS processors ,fault coverage ,fault tolerance ,software-based techniques ,Watchdog ,Hardware and Architecture ,Safety, Risk, Reliability and Quality ,Fault tolerance ,Fault injection ,Soft error ,General protection fault ,Reliability and Quality ,Embedded system ,Fault coverage ,Safety ,Error detection and correction ,business - Abstract
In this paper we combine a set of software-based fault tolerance techniques with a hardware module that monitors the trace port, and explore from an experimental point of view the fault coverage against soft errors in COTS processors that can be achieved. The costs in terms of performance and memory are also evaluated. Fault injection results show fault coverage is superior to the state-of-the-art techniques with lower performance and memory overheads.
- Published
- 2016
- Full Text
- View/download PDF
35. On the prediction of Radiation-induced SETs in Flash-based FPGAs
- Author
-
Sarah Azimi, Boyang Du, and Luca Sterpone
- Subjects
SETs ,Computer science ,FPGAs, SETs, SEUs, Radiation effects ,Linear energy transfer ,FPGAs ,Radiation effects ,Hardware_PERFORMANCEANDRELIABILITY ,02 engineering and technology ,01 natural sciences ,Set (abstract data type) ,Flash (photography) ,0103 physical sciences ,0202 electrical engineering, electronic engineering, information engineering ,Electronic engineering ,Sensitivity (control systems) ,Electrical and Electronic Engineering ,Safety, Risk, Reliability and Quality ,Field-programmable gate array ,Event (probability theory) ,SEUs ,010308 nuclear & particles physics ,Condensed Matter Physics ,Atomic and Molecular Physics, and Optics ,020202 computer hardware & architecture ,Surfaces, Coatings and Films ,Electronic, Optical and Magnetic Materials ,Amplitude ,Transient (oscillation) ,Algorithm - Abstract
The present work proposes a methodology to predict radiation-induced Single Event Transient (SET) phenomena within the silicon structure of Flash-based FPGA devices. The method is based on a MonteCarlo analysis, which allows to calculate the effective duration and amplitude of the SET once generated by the radiation strike. The method allows to effectively characterize the sensitivity of a circuit against the transient effect phenomenon. Experimental results provide a comparison between different radiation tests data, performed with different Linear Energy Transfer (LET) and the respective sensitiveness of SETs.
- Published
- 2016
36. Fault-Tolerance Techniques for Soft-Core Processors Using the Trace Interface
- Author
-
Luis Parra, Almudena Lindoso, Boyang Du, Matteo Sonza Reorda, Luis Entrena, Luca Sterpone, and Marta Portela-Garcia
- Subjects
External interface ,Engineering (all) ,Computer Science (all) ,business.industry ,Computer science ,Fault tolerance ,law.invention ,Microprocessor ,Soft core ,law ,Power consumption ,Embedded system ,Hardware redundancy ,Redundancy (engineering) ,Error detection and correction ,business - Abstract
As microprocessors are increasingly used in safety-critical applications, there is a growing demand for effective fault-tolerance techniques that can mitigate the effects of soft errors while reducing intrusiveness and minimizing the impact on performance and power consumption. To this purpose, approaches that are based on monitoring the microprocessor operation through an external interface in a non-intrusive manner have recently been proposed. In this paper we focus on the use of the trace interface for on-line monitoring. This interface provides detailed information about the instructions executed by the processor and can be reused to support error detection and correction in several ways, including multi-processors in hardware redundancy, time redundancy and control-flow checking.
- Published
- 2016
- Full Text
- View/download PDF
37. A Selective Mapper for the Mitigation of SETs on Rad-Hard RTG4 Flash-based FPGAs
- Author
-
Luca Sterpone, Sarah Azimi, and Boyang Du
- Subjects
RTG4 ,020301 aerospace & aeronautics ,Engineering ,Mitigation ,010308 nuclear & particles physics ,business.industry ,Event (computing) ,FPGA, Mitigation, RTG4 ,Hardware_PERFORMANCEANDRELIABILITY ,02 engineering and technology ,01 natural sciences ,Flash (photography) ,0203 mechanical engineering ,Embedded system ,Logic gate ,0103 physical sciences ,Benchmark (computing) ,Electronic engineering ,Transient (oscillation) ,Routing (electronic design automation) ,business ,Field-programmable gate array ,FPGA ,Electronic circuit - Abstract
This paper proposes a mapping tool for selectively mitigate radiation-induced Single Event Transient phenomena within the silicon structure of Microsemi RTG4 Radiation hardened Flash-based FPGAs. Experimental results on three benchmark circuits demonstrated effective SET mitigation.
- Published
- 2016
38. An FPGA-based testing platform for the validation of automotive powertrain ECU
- Author
-
Boyang Du and Luca Sterpone
- Subjects
0209 industrial biotechnology ,Engineering ,Powertrain ,Automotive industry ,Automotive ,02 engineering and technology ,Automotive engineering ,020901 industrial engineering & automation ,Software ,ECU validation ,0202 electrical engineering, electronic engineering, information engineering ,Electronics ,Electrical and Electronic Engineering ,Field-programmable gate array ,eTPU ,FPGA ,Modularity (networks) ,business.industry ,020208 electrical & electronic engineering ,Microcontroller ,GTM ,Hardware and Architecture ,Embedded system ,Timer ,business - Abstract
Over the past decade, the complexity of electronic devices in the automotive systems increased significantly. The modern high level vehicles include more than 70 Electronic Control Units (ECUs) aimed at managing the powertrain of the vehicle, and improving passengers' comfort and safety. ECU microcontrollers aimed at the control of the fuel injection system have a key role. In this paper we present a new FPGA-based platform able to supervise and validate Commercial-Off-The-Shelf timer modules used in today state-of-the-art software applications for automotive fuel injection system with an accuracy improvement of more than 20% with respect to traditional approach. The proposed approach allows an effective and accurate validation of timing signals and it has two main advantages: can be customized with the exact timing module configurations to meet the exigency of new tests and allows effective modularity design test. As case study two industrial Time Modules manufactured by Freescale and Bosch have been used. The experimental analysis demonstrates the capability of the proposed approach providing a timing and angular precision of 10 ns and 10−5 degrees respectively.
- Published
- 2016
39. A New Simulation-Based Fault Injection Approach for the Evaluation of Transient Errors in GPGPUs
- Author
-
Luca Sterpone, Sarah Azimi, and Boyang Du
- Subjects
010302 applied physics ,010308 nuclear & particles physics ,Computer science ,GPGPU ,Context (language use) ,Parallel computing ,Fault injection ,Reliability ,Supercomputer ,01 natural sciences ,Radiation Effects ,Computer graphics ,Soft error ,SEU ,SET ,0103 physical sciences ,Benchmark (computing) ,Transient (computer programming) ,General-purpose computing on graphics processing units - Abstract
General Purpose Graphics Processing Units GPGPUs are increasingly adopted thanks to their high computational capabilities. GPGPUs are preferable to CPUs for a large range of computationally intensive applications, not necessarily related to computer graphics. Within the high performance computing context, GPGPUs must require a large amount of resources and have plenty execution units. GPGPUs are becoming attractive for safety-critical applications where the phenomenon of transient errors is a major concern. In this paper we propose a novel transient error fault injection simulation methodology for the accurate simulation of GPGPUs applications during the occurrence of transient errors. The developed environment allows to inject transient errors within all the memory area of GPGPUs and into not user-accessible resources such as in streaming processors combinational logic and sequential elements. The capability of the fault injection simulation platform has been evaluated testing three benchmark applications including mitigation approaches. The amount of computational costs and time measured is minimal thus enabling the usage of the developed approach for effective transient errors evaluation.
- Published
- 2016
- Full Text
- View/download PDF
40. A new EDA flow for the Mitigation of SEUs in Dynamic Reconfigurable FPGAs
- Author
-
David Merodio Codinachs, Boyang Du, and Luca Sterpone
- Subjects
Engineering ,business.industry ,Reconfiguration, Design Flow, Placement, Routing, Reliability, Fault Tolerance, FPGA ,Design Flow ,Design flow ,Fault Tolerance ,Control reconfiguration ,Fault tolerance ,Hardware_PERFORMANCEANDRELIABILITY ,Fault injection ,Reliability ,Reconfigurable computing ,Robustness (computer science) ,Embedded system ,Reconfiguration ,Electronic engineering ,business ,Field-programmable gate array ,FPGA ,Placement ,Routing - Abstract
This work presents a new EDA flow that aims to increase the design robustness versus transient errors when the dynamic reconfigurable computing paradigm is adopted. In brief, we propose a modification of the existing commercial tool-chain flow to make transient error aware designs. Aiming at that scope, a new algorithm for the design mapping has been developed reducing Single Event Upsets on the routing interactions between reconfigurable placed modules. The performance evaluation of the EDA flow has been evaluated with neutron-based radiation test experiments and fault injection using a proper dynamic reconfiguration context. Results prove a reduction of the transient error sensitivity about 3 orders of magnitude without any area overhead and with a performance degradation of less than 10% on the average.
- Published
- 2016
41. Online Test of Control Flow Errors: A New Debug Interface-Based Approach
- Author
-
Matteo Sonza Reorda, Boyang Du, Luis Entrena, Luca Sterpone, Almudena Lindoso, Marta Portela-Garcia, and Luis Parra
- Subjects
Computer science ,media_common.quotation_subject ,02 engineering and technology ,Application software ,computer.software_genre ,01 natural sciences ,Theoretical Computer Science ,Online test, Control Flow checking ,Software ,Control flow ,0103 physical sciences ,0202 electrical engineering, electronic engineering, information engineering ,Online test ,Debug interface ,Microprocessors ,media_common ,Informática ,Telecomunicaciones ,010308 nuclear & particles physics ,business.industry ,020208 electrical & electronic engineering ,Fault injection ,Computational Theory and Mathematics ,Debugging ,Hardware and Architecture ,Control Flow checking ,Embedded system ,Control flow checking ,On-line test ,Fault coverage ,business ,computer - Abstract
Detecting the effects of transient faults is a key point in many processor-based safety-critical applications. This paper proposes to adopt the debug interface module existing today in several processors/controllers available on the market. In this way, we can achieve a good detection capability and small latency with respect to control flow errors, while the cost for adopting the proposed technique is rather limited and does not involve any change either in the processor hardware or in the application software. The method works even if the processor uses caches and we experimentally evaluated its characteristics demonstrating the advantages and showing the limitations on two pipelined processors. Experimental results performed by fault injection using different software applications demonstrate that the method is able to archieve high fault coverage (more than 95 percent in nearly all the considered cases) with a limited cost in terms of area and performance degradation.
- Published
- 2016
42. Analysis and mitigation of SEUs in ARM-based SoC on Xilinx Virtex-V SRAM-based FPGAs
- Author
-
Luca Sterpone, Boyang Du, and Marco Desogus
- Subjects
Flexibility (engineering) ,SoPC ,Engineering ,Virtex ,business.industry ,Event (computing) ,Reconfigurable computing ,Radiation Experiment ,Power (physics) ,FPGA ,Single Event Effects ,Electrical and Electronic Engineering ,Embedded system ,Systems design ,Static random-access memory ,Hardware_ARITHMETICANDLOGICSTRUCTURES ,business ,Field-programmable gate array - Abstract
Technology scaling enables the Field Programmable Gate Arrays (FPGAs) provide increasing computing power while remain low power consumption. Together with the high flexibility for application design and deployment, FPGAs have become popular even in safety- and mission-critical applications. Meanwhile, Commercial Off-The-Shelf (COTS) components are often used in system design to reduce time-to-market and development cost. In this paper, we are proposing a new method for the analysis and mitigation of Single Event Upsets (SEUs) on SRAM-based FPGAs. The method is based on an analytical analyzer algorithm able to accurately estimate the application error rate; furthermore, the same developed algorithm is able to implement mitigation rules. We present the radiation experiment results for analysis and mitigation of Single Event Upsets (SEUs) in an ARM-based SoC implemented on Xilinx Virtex-V FPGA demonstrating the feasibility of the analysis tool and the effectiveness of the mitigation method.
- Published
- 2015
- Full Text
- View/download PDF
43. On the design of highly reliable system-on-chip using dynamically reconfigurable FPGAs
- Author
-
Luca Sterpone, Boyang Du, David Merodio Codinachs, and Lorenzo Venditti
- Subjects
Dynamic random-access memory ,Computer science ,business.industry ,Design flow ,Ranging ,radiation hardening (electronics) ,law.invention ,Reduction (complexity) ,SRAM chips ,field programmable gate arrays ,logic design ,system-on-chip ,law ,Embedded system ,System on a chip ,Place and route ,Static random-access memory ,business ,Field-programmable gate array - Abstract
Radiation-induced Soft Errors are widely known since the advent of dynamic RAM chips. Reconfigurable FPGA devices based on SRAM configuration memories are extremely sensitive to these effects resulting in an unwelcome change of behavior in digital logic. Indeed, soft errors occur today as a result of radiation from space or even at sea level. Detection, protection and mitigation of soft errors beyond aerospace and defence applications have been widely debated over the last decades. In the present paper we provide a complete design flow illustrating the proper design rules ranging from the synthesis, mapping and physical place and route algorithm tailored to the implementation of high performance and reliable SoCs using dynamic-reconfiguration oriented SRAM-based FPGAs. Radiation experimental results obtained radiation test performed using proton particles demonstrated the goodness of our developed design flow resulting in an overall error cross-section reduction of more than 2 orders of magnitude.
- Published
- 2015
- Full Text
- View/download PDF
44. Radiation-induced single event transients modeling and testing on nanometric flash-based technologies
- Author
-
Sarah Azimi, Luca Sterpone, and Boyang Du
- Subjects
Very-large-scale integration ,Radiation ,Event (computing) ,Computer science ,Nanometric ,FPGAs ,Fault tolerance ,Condensed Matter Physics ,Reliability ,Atomic and Molecular Physics, and Optics ,Heavy ions ,Surfaces, Coatings and Films ,Electronic, Optical and Magnetic Materials ,Flash (photography) ,Electronic engineering ,Node (circuits) ,Sensitivity (control systems) ,Electrical and Electronic Engineering ,Safety, Risk, Reliability and Quality ,Field-programmable gate array - Abstract
The increasing technology node scaling makes VLSI devices extremely vulnerable to Single Event Effects (SEEs) induced by highly charged particles such as heavy ions, increasing the sensitivity to Single Event Transients (SETs). In this paper, we describe a new methodology combining an analytical and oriented model for analyzing the sensitivity of SET nanometric technologies. The paper includes radiation test experiments performed on Flash-based FPGAs using heavy ions radiation beam. Experimental results are detailed and commented demonstrating the effective mitigation capabilities thanks to the adoption of the developed model.
- Published
- 2015
45. SET-PAR: Place and Route Tools for the Mitigation of Single Event Transients on Flash-Based FPGAs
- Author
-
Luca Sterpone and Boyang Du
- Subjects
Reconfigurable ,Combinational logic ,Test ,business.industry ,Computer science ,Real-time computing ,Fault Tolerance ,Place and route ,FPGA ,Radiation effects ,law.invention ,Microprocessor ,Flash (photography) ,law ,Hardware_INTEGRATEDCIRCUITS ,Benchmark (computing) ,Routing (electronic design automation) ,Performance improvement ,business ,Field-programmable gate array ,Computer hardware ,Hardware_LOGICDESIGN - Abstract
Flash-based Field Programmable Gate Arrays (Flash-based FPGAs) are becoming more and more interesting for safety critical applications due to their re-programmability features while being non-volatile. However, Single Event Transients (SETs) in combinational logic represent their primary source of critical errors since they can propagate and change their shape traversing combinational paths and being broadened and amplified before sampled by sequential Flip-Flops. In this paper the SET sensitivity of circuits implemented in Flash-based FPGAs is mitigated with respect to the working frequency and different FPGA routing architecture. We outline a parametric routing scheme and placement and routing tools based on an iterative partitioning algorithm able to generate high performance circuits by reducing the wires delay and reducing the SET sensitivity. The efficiency of the proposed tools has been evaluated on a Microsemi Flash-based FPGA implementing different benchmark circuits including a RISC microprocessor. Experimental results demonstrated the reduction of SET sensitivity of more than 30% on the average versus state-of-the-art mitigation solutions and a performance improvement of about 10% of the nominal working frequency.
- Published
- 2015
- Full Text
- View/download PDF
46. Effect of metformin on sepsis-associated acute lung injury and gut microbiota in aged rats with sepsis
- Author
-
Youdong Wan, Shuya Wang, Yifan Niu, Boyang Duo, Yinshuang Liu, Zhenzhen Lu, and Ruixue Zhu
- Subjects
gut microbiota ,metformin ,sepsis ,sepsis-associated acute lung injury (SALI) ,aged rats ,Microbiology ,QR1-502 - Abstract
BackgroundRecent studies reported the association between the changes in gut microbiota and sepsis, but there is unclear for the gut microbes on aged sepsis is associated acute lung injury (SALI), and metformin treatment for the change in gut microbiota. This study aimed to investigate the effect of metformin on gut microbiota and SALI in aged rats with sepsis. It also explored the therapeutic mechanism and the effect of metformin on aged rats with SALI.MethodsAged 20-21 months SD rats were categorized into three groups: sham-operated rats (AgS group), rats with cecal ligation and puncture (CLP)-induced sepsis (AgCLP group), and rats treated with metformin (100 mg/kg) orally 1 h after CLP treatment (AgMET group). We collected feces from rats and analyzed them by 16S rRNA sequencing. Further, the lung samples were collected for histological analysis and quantitative real-time PCR (qPCR) assay and so on.ResultsThis study showed that some pathological changes occurring in the lungs of aged rats, such as hemorrhage, edema, and inflammation, improved after metformin treatment; the number of hepatocyte death increased in the AgCLP group, and decreased in the AgMET group. Moreover, metformin relieved SALI inflammation and damage. Importantly, the gut microbiota composition among the three groups in aged SALI rats was different. In particular, the proportion of E. coli and K. pneumoniae was higher in AgCLP group rats than AgS group rats and AgMET group rats; while metformin could increase the proportion of Firmicutes, Lactobacillus, Ruminococcus_1 and Lactobacillus_johnsonii in aged SALI rats. Moreover, Prevotella_9, Klebsiella and Escherichia_Shigella were correlated positively with the inflammatory factor IL-1 in the lung tissues; Firmicutes was correlated negatively with the inflammatory factor IL-1 and IL-6 in the lung tissues.ConclusionsOur findings suggested that metformin could improve SALI and gut microbiota in aged rats, which could provide a potential therapeutic treatment for SALI in aged sepsis.
- Published
- 2023
- Full Text
- View/download PDF
47. A New Solution to On-Line Detection of Control Flow Errors
- Author
-
Marta Portela-Garcia, Boyang Du, Almudena Lindoso, Matteo Sonza Reorda, Luis Parra, Luca Sterpone, and Luis Entrena
- Subjects
Computer science ,business.industry ,media_common.quotation_subject ,Interface (computing) ,on-line test ,debug interface ,control flow checking ,Application software ,computer.software_genre ,Control flow ,Flow (mathematics) ,Debugging ,Embedded system ,Line (geometry) ,Transient (computer programming) ,business ,Electronic systems ,computer ,media_common - Abstract
Transient faults can affect the behavior of electronic systems, and represent a major issue in many safety-critical applications. This paper focuses on Control Flow Errors (CFEs) and extends a previously proposed method, based on the usage of the debug interface existing in several processors/controllers. The new method achieves a good detection capability with very limited impact on the system development flow and reduced hardware cost: moreover, the proposed technique does not involve any change either in the processor hardware or in the application software, and works even if the processor uses caches. Experimental results are reported, showing both the advantages and the costs of the method.
- Published
- 2014
48. On the Functional Test of the Register Forwarding and Pipeline Interlocking Unit in Pipelined Processors
- Author
-
Paolo Bernardi, M. Sonza Reorda, Michelangelo Grosso, O. Ballan, L. Ciganda, Eladio F. Sanchez, Riccardo Cantoro, and Boyang Du
- Subjects
functional testing ,Computer science ,business.industry ,Pipeline (computing) ,law.invention ,Microprocessor ,Software ,law ,Embedded system ,microprocessor testing ,Data Corruption ,Control logic ,Interlock ,business ,Testability ,Operand forwarding - Abstract
When the result of a previous instruction is needed in the pipeline before it is available, a "data hazard" occurs. Register Forwarding and Pipeline Interlock (RFaPI) are mechanisms suitable to avoid data corruption and to limit the performance penalty caused by data hazards in pipelined microprocessors. Data hazards handling is part of the microprocessor control logic, its test can hardly be achieved with a functional approach, unless a specific test algorithm is adopted. In this paper we analyze the causes for the low functional testability of the RFaPI logic and propose some techniques able to effectively perform its test. In particular, we describe a strategy to perform Software-Based Self-Test (SBST) on the RFaPI unit. The general structure of the unit is analyzed, a suitable test algorithm is proposed and the strategy to observe the test responses is explained. The method can be exploited for test both at the end of manufacturing and in the operational phase. Feasibility and effectiveness of the proposed approach are demonstrated on both an academic MIPS-like processor and an industrial System-on-Chip based on the Power ArchitectureTM.
- Published
- 2014
49. Analysis and mitigation of single event effects on flash-based FPGAS
- Author
-
Boyang Du and Luca Sterpone
- Subjects
Guard (information security) ,Spectrum analyzer ,Computer science ,Design flow ,Static Analysis ,Flash-based FPGAs ,Place and route ,Single Event Effects ,Single Event Transients ,Single Event Upsets ,Hardware_PERFORMANCEANDRELIABILITY ,Static analysis ,Computer engineering ,Logic gate ,Electronic engineering ,Field-programmable gate array ,Hardware_LOGICDESIGN ,Electronic circuit - Abstract
In the present paper, we propose a new design flow for the analysis and the implementation of circuits on Flash-based FPGAs hardened against Single Event Effects (SEEs). The solution we developed is based on two phases: 1) an analyzer algorithm able to evaluate the propagations of SETs through logic gates; 2) a hardening algorithm able to place and route a circuit by means of optimal electrical filtering and selective guard gates insertions. The effectiveness of the proposed design flow has been evaluated by performing hardening on seven benchmark circuits and comparing the results using different implementation approaches on 130nm Flash-based technology. The obtained results have been validated against radiation-beam testing using heavy-ions and demonstrated that our solution is able to decrease the circuits sensitivity versus SEE by two orders of magnitude with a reduction of resource overhead of 83 % with respect to traditional mitigation approaches.
- Published
- 2014
50. EXPLOITING THE DEBUG INTERFACE TO SUPPORT ON LINE TEST OF CONTROL FLOW ERRORS
- Author
-
Almudena Lindoso, Luis Entrena, M. Sonza Reorda, Luis Parra, Luca Sterpone, Boyang Du, and Marta Portela-Garcia
- Subjects
Computer science ,Background debug mode interface ,business.industry ,media_common.quotation_subject ,x86 debug register ,Debug menu ,Application software ,computer.software_genre ,Debugging ,Software fault tolerance ,Embedded system ,Debug code ,business ,computer ,Data-flow analysis ,media_common - Abstract
Detecting the effects of transient faults is a key point in many safety-critical applications. This paper explores the possibility of using for this purpose the debug interface existing today in several processors/controllers on the market. In this way one can achieve a good detection capability with respect to control flow errors with very small latency, while the cost for adopting the proposed technique is rather limited and does not involve any change either in the processor hardware or in the application software. The method works even if the processor uses caches. Experimental results are reported, showing both the advantages and the costs of the method.
- Published
- 2013
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.