CN104102562A - Cellular automata-based single particle soft error system level propagation analysis method - Google Patents
Cellular automata-based single particle soft error system level propagation analysis method Download PDFInfo
- Publication number
- CN104102562A CN104102562A CN201410282835.0A CN201410282835A CN104102562A CN 104102562 A CN104102562 A CN 104102562A CN 201410282835 A CN201410282835 A CN 201410282835A CN 104102562 A CN104102562 A CN 104102562A
- Authority
- CN
- China
- Prior art keywords
- cellular
- soft error
- functional module
- space
- particle soft
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
A cellular automata-based single particle soft error system level propagation analysis method comprises the steps of (1) dividing function modules: analyzing the hardware structure, interface characteristic and function implementation logic of a system to divide the function modules of the system, wherein each function module is a sub circuit system capable of completing tasks independently; (2) establishing a cellular space, and building a cellular automata: taking the whole system as one cellular space, and each function module as one of the cells, and selecting an appropriate neighbor relation based on the connection relation of the cells; determining the coupling degree and transmission rule among the cells; determining the state evolution process of the cells; (3) performing propagation analysis: assuming that a single particle soft error occurs on a certain function module, which means that the corresponding cells join the fault disturbance, on the basis of the propagation rule, analyzing the propagation process and influence of the single particle soft error in the system. The cellular automata-based single particle soft error system level propagation analysis method has the advantages of simple principle, easy operation, low complexity, capability of improving the analysis method precision and the like.
Description
Technical field
The present invention is mainly concerned with in electronic system fail-safe analysis field, refers in particular to the system-level propagation analytical approach of a kind of single-particle soft error based on cellular automaton.
Background technology
Operate in the impact that electronic system in space radiation environment or nuclear explosive environment is very easily subject to single particle effect, although single particle effect occurs in a certain position or the module of system, but after the generation of single-particle soft error, corresponding functional module there will be fault, and through faults coupling and the propagation of functional module and other modules, fault can be diffused into output terminal, there is certain probability to cause output error or the disabler of system, a final single-particle soft error but causes the disabler of whole system, so must analyze for the propagation diffusion process of single-particle soft error in system.
At present, research to analysis list particle soft error propagation aspect is relatively less, especially in system level, most analysis is all based on device level and circuit level, and the form of utilizing 2D, 3D device model or circuit meshwork list to inject single-particle fault is carried out the single-particle soft error of mimic channel and propagated.And at system level soft error, due to too abstract, concrete circuit modeling process is too complicated, and it is very big to analyze difficulty.
Summary of the invention
The technical problem to be solved in the present invention is just: the technical matters existing for prior art, the invention provides that a kind of principle is simple, easy and simple to handle, complexity is low, can improve the system-level propagation analytical approach of the single-particle soft error based on cellular automaton of analytical approach precision.
For solving the problems of the technologies described above, the present invention by the following technical solutions:
The system-level propagation analytical approach of single-particle soft error based on cellular automaton, the steps include:
(1) functional module is divided; Hardware configuration, interface features and the function of analytic system realize logic, and system is carried out to functional module division, and each functional module is all the electronic circuit systems that can complete independent task;
(2) set up cellular space, build cellular automaton; Regard whole system as a cellular space, each functional module is considered as one of them cellular, selects suitable neighborhood according to the annexation of cellular; Determine the degree of coupling and the propagation rule of first intercellular; In conjunction with cellular space, neighborhood, propagation rule, determine the state evolution process of cellular.
(3) propagate analysis; Suppose a certain functional module generation single-particle soft error, corresponding cellular adds fault disturbance, according to communication process and the impact of single-particle soft error in propagation rule analytic system.
As a further improvement on the present invention: in described step (2), utilize emulation tool to set up the cellular space that need to simulate with model, initialization cellular space, by the distribution of functional module, corresponding cellular is got to 1 or 0,0 represents that this cellular is empty, 1 represents that this cellular contains functional module, determines neighbours' type of cellular and the boundary condition in cellular space, determines the coupled matrix c of each cellular
ij.
As a further improvement on the present invention: in the cellular space that described step (2) is set up, comprise:
(a) due to signal stream between functional module, the coupling of the first intercellular in described cellular space is directive, and described direction is unidirectional or two-way;
(b) impact between described functional module is independently, and functional module is different from the degree of coupling of each functional module around.
As a further improvement on the present invention: described step (3) is propagated while analysis and specifically comprised the following steps:
(3.1) in the t=0 moment, supposing the system normally moves, and sets the now fault degree value of each cellular, i.e. S
ij(t) < δ;
(3.2) the t=1 moment, a certain cellular generation single-particle soft error in cellular space, produces fault disturbance R;
(3.3) in the t=2 moment, cellular automaton brings into operation, and judges successively the fault degree value of each cellular, if be greater than threshold value δ, thinks that this module breaks down, and adds up total fault cellular and counts M (t);
(3.5) from the t=3 moment, every execution one step of cellular automaton, the cellular number M (t) breaking down in statistical space, if M (t+1) >M (t), repeated execution of steps (3.4), if M (t+1)=M (t), single-particle fault is no longer propagated, and stops cellular automaton operation.
As a further improvement on the present invention: in described cellular automaton, the neighborhood of cellular is form one, form two or form three; Described form one is that each cellular is only subject to its impact of four neighbours' cellulars of four direction around, and described form two is subject to the impact of 8 neighbours' cellulars around for each cellular, and described form three is the impact that each cellular can be subject to 24 neighbours' cellulars around.
Compared with prior art, the invention has the advantages that: the present invention is directed to the electronic system of single particle effect sensitivity, it is carried out to functional module division, utilize cellular automaton to analyze the communication process of single-particle soft error in system.The present invention regards system as a cellular space, each functional module is regarded a cellular in cellular space as, the degree of coupling between cellular is the single-particle soft error spreading rate of intermodule, and flow to according to connection and the signal of module in system, determine the propagation rule of fault in cellular automaton, in analytic system after a certain module generation single-particle soft error, the state evolution of whole system, and modules is in the fault degree value in moment next, until the functional module breaking down no longer increases, system reaches steady state (SS).This analytical approach can reduce the complexity of system, the communication process of single-particle soft error in intuitive analysis system, and faults coupling degree between can reasonable assessment system module, fault disturbance etc. the impact of factor.
Brief description of the drawings
Fig. 1 is schematic flow sheet of the present invention.
Fig. 2 a is the schematic diagram of the neighborhood form one of cellular in the present invention.
Fig. 2 b is the schematic diagram of the neighborhood form two of cellular in the present invention.
Fig. 2 c is the schematic diagram of the neighborhood form three of cellular in the present invention.
Fig. 3 is the detailed process schematic diagram of the present invention in specific embodiment.
Embodiment
Below with reference to Figure of description and specific embodiment, the present invention is described in further details.
As shown in Figure 1, the system-level propagation analytical approach of a kind of single-particle soft error based on cellular automaton, the steps include:
(1) functional module is divided; Hardware configuration, interface features and the function of analytic system realize logic, and system is carried out to functional module division, and each functional module is the electronic circuit system that can complete independent task;
(2) set up cellular space, build cellular automaton; Regard whole system as a cellular space, each functional module is considered as one of them cellular, selects suitable neighborhood according to the annexation of cellular; Determine the degree of coupling and the propagation rule of first intercellular; In conjunction with cellular space, neighborhood, propagation rule etc., determine the state evolution process of cellular.
(3) propagate analysis; Suppose a certain functional module generation single-particle soft error, corresponding cellular adds fault disturbance, according to communication process and the impact of single-particle soft error in propagation rule analytic system.
In the present invention, be to use the method for cellular automaton to carry out abstract and quantitative analysis to the communication process of fault.Cellular automaton is all discrete kinetic models of time, space and state, and it produces complicated phenomenon by simple primitive and simple rule, has the complication system dynamic process of strong coupling effect between can analogue unit.The fault propagation of complication system can be considered the dynamic process by coupling causes between the each assembly of system.Cellular automaton comprises following components:
Cellular: be the most basic ingredient of cellular automaton, be evenly distributed in the cellular space of discrete one or more dimensions, each cellular comprises one or more discrete state values, the state value in each moment of cellular depend on and only depend on a moment self with and neighbours' state value.The output state space of getting cellular is: { 1,0,1}.Wherein { 1} represents that this cellular was in losing efficacy or malfunction, and { 1} represents that this cellular is in normal condition, and { 0} represents empty cellular.
Cellular space: refer to the set of the mesh space at cellular distribution place, mainly comprise space geometry structure and boundary condition.Wherein, geometry comprises the cellular automaton of a peacekeeping multidimensional.Be a kind of form of straight lines for one-dimensional element cellular automaton space geometry structure; For multidimensional metadata cellular automaton, in cellular space, grid arrangement is various informative.
Neighbours: all cellulars that also can exert an influence with it around a cellular in cellular space are all called the neighbours of this cellular.Cellular at the Determines in next moment in the state of the state of current time own and its neighbours' cellular.In two dimensional cellular automaton, have several typical neighbours' forms, in Von.Neumann type neighbours form as shown in Figure 2 a, each cellular is only subject to its impact of four neighbours' cellulars of four direction around; In Moore type neighbours form as shown in Figure 2 b, each cellular is subject to the impact of 8 neighbours' cellulars around; The Moore type neighbours of expansion are as shown in Figure 2 c the expansions to Moore type neighbours, and cellular can be subject to the impact of 24 neighbours' cellulars around.
Rule: determine the function of next moment cellular state according to cellular current state and neighbours' situation thereof, only for cellular individual operations, it can be designated as:
wherein S is the neighbor state combination in t moment, is called local function or the local rule of cellular automaton.
For example, under normal conditions, for Von.Neumann type neighbours form (two-dimentional neighbours occupy), the evolution rule of cellular automaton is expressed as following three formulas:
In formula:
(1) A represents the output state of t moment cellular r, its desirable-1 of value, 0 and 1.State is that 1 expression cellular normally moves, and state is that-1 expression cellular makes a mistake, and state is that 0 expression cellular is empty, there is no module;
(2) c representation element intercellular faults coupling degree, value in (0,1) scope;
(3) S
ijbe the fault degree value of cellular (i, j), its value is larger, and the probability that corresponding cellular breaks down is larger, supposes S
ijthere is a threshold value δ, work as S
ijwhen > δ, just think that this cellular is in malfunction;
(4) x
1, x
2, x
3, x
4whether the upper and lower neighbours in left and right for mark cellular r are sky cellular, if having certain neighbour for empty cellular, its respective value is 0, otherwise gets 1;
(5) R represents disturbed value, [0 ,+∞) value in scope, represent inside or the external cause of certain basic module functional fault.
In above-mentioned steps (2), the feature that the present invention propagates further combined with single-particle sensory system and single-particle soft error, the degree of coupling and the direction of propagation are further optimized:
(a) due to signal stream between functional module, the coupling of module (first intercellular) is directive, can be unidirectional, can be also two-way; As the signal of module (i, j) flows to module (i+1, j), and the signal of module (i+1, j) does not exert an influence to module (i, j), module (i, j) is c to the degree of coupling of module (i+1, j) so
ij, i+1j, and module (i+1, j) is 0 to the degree of coupling of module (i, j).
(b) impact between functional module is independently, and module is different from the degree of coupling of modules around.
For example, for Von.Neumann type neighbours form, after improving, the position cellular that is (i, j) is received around the impact of 4 cellulars and self suffered feedback and disturbance R, coupled matrix c
ijfor:
c
ij=(c
ij,ij?c
ij-1,ij?c
ij+1,ij?c
i-1j,ij?c
i+1j,ij)
Coupling (coupling) matrix c
ijin, each matrix element represents to be distributed in the coupling factor of module (i, j) module around to (i, j), wherein c
ij, ijself coupling factor of module represents to break down.
So according to upper moment state and a coupled matrix of cellular, if the disturbance of single-particle fault does not occur system, the state in next moment of cellular (i, j) is:
S
ij(t)=c
ijS
ij(t-1)=c
ij-1,ijx
1S
ij-1(t-1)+c
ij+1,ijx
2S
ij+1(t-1)+c
i-1j,ijx
3S
i-1j(t-1)+c
i+1j,ijx
4S
i+1j(t-1)+c
ij,ijS
ij(t-1)
In the time that cellular (i, j) breaks down disturbance R, the state evolution in the next moment of cellular (i, j) is:
S
ij(t)=c
ijS
ij(t-1)+R=c
ij-1,ijx
1S
ij-1(t-1)+c
ij+1,ijx
2S
ij+1(t-1)+c
i-1j,ijx
3S
i-1j(t-1)+c
i+1j,ijx
4S
i+1j(t-1)+c
ij,ijS
ij(t-1)+R
In concrete application example, as shown in Figure 3, the present invention is based on the system-level detailed implementation step of Cellular Automata Simulation analysis list particle soft error and be:
(1) utilize emulation tool (as MATLAB), set up the cellular space that need to simulate with model, initialization cellular space, by the distribution of functional module, corresponding cellular is got to 1 or 0,0 represents that this cellular is empty, 1 represents that this cellular contains functional module, determines neighbours' type of cellular and the boundary condition in cellular space, determines the coupled matrix c of each cellular
ij;
(2) in the t=0 moment, supposing the system normally moves, and sets the now fault degree value (S of each cellular
ij(t) < δ);
(3) the t=1 moment, a certain cellular generation single-particle soft error in cellular space, produces fault disturbance R;
(4) in the t=2 moment, cellular automaton brings into operation, and judges successively the fault degree value of each cellular, if be greater than threshold value δ, thinks that this module breaks down, and adds up total fault cellular and counts M (t);
(5) from the t=3 moment, every execution one step of cellular automaton, the cellular number M (t) breaking down in statistical space, if M (t+1) >M (t), repeated execution of steps 4, if M (t+1)=M (t), single-particle fault is no longer propagated, and stops cellular automaton operation.
Below be only the preferred embodiment of the present invention, protection scope of the present invention is also not only confined to above-described embodiment, and all technical schemes belonging under thinking of the present invention all belong to protection scope of the present invention.It should be pointed out that for those skilled in the art, some improvements and modifications without departing from the principles of the present invention, should be considered as protection scope of the present invention.
Claims (5)
1. the system-level propagation analytical approach of the single-particle soft error based on cellular automaton, is characterized in that, step is:
(1) functional module is divided; Hardware configuration, interface features and the function of analytic system realize logic, and system is carried out to functional module division, and each functional module is all the electronic circuit systems that can complete independent task;
(2) set up cellular space, build cellular automaton; Regard whole system as a cellular space, each functional module is considered as one of them cellular, selects suitable neighborhood according to the annexation of cellular; Determine the degree of coupling and the propagation rule of first intercellular; In conjunction with cellular space, neighborhood, propagation rule, determine the state evolution process of cellular;
(3) propagate analysis; Suppose a certain functional module generation single-particle soft error, corresponding cellular adds fault disturbance, according to communication process and the impact of single-particle soft error in propagation rule analytic system.
2. the system-level propagation analytical approach of the single-particle soft error based on cellular automaton according to claim 1, it is characterized in that, in described step (2), utilize emulation tool to set up the cellular space that need to simulate with model, initialization cellular space, gets 1 or 0 by the distribution of functional module to corresponding cellular, 0 represents that this cellular is empty, 1 represents that this cellular contains functional module, determines neighbours' type of cellular and the boundary condition in cellular space, determines the coupled matrix c of each cellular
ij.
3. the system-level propagation analytical approach of the single-particle soft error based on cellular automaton according to claim 2, is characterized in that, in the cellular space that described step (2) is set up, comprises:
(a) due to signal stream between functional module, the coupling of the first intercellular in described cellular space is directive, and described direction is unidirectional or two-way;
(b) impact between described functional module is independently, and functional module is different from the degree of coupling of each functional module around.
4. according to the system-level propagation analytical approach of the single-particle soft error based on cellular automaton described in claim 2 or 3, it is characterized in that, described step (3) is propagated while analysis and is specifically comprised the following steps:
(3.1) in the t=0 moment, supposing the system normally moves, and sets the now fault degree value of each cellular, i.e. S
ij(t) < δ;
(3.2) the t=1 moment, a certain cellular generation single-particle soft error in cellular space, produces fault disturbance R;
(3.3) in the t=2 moment, cellular automaton brings into operation, and judges successively the fault degree value of each cellular, if be greater than threshold value δ, thinks that this module breaks down, and adds up total fault cellular and counts M (t);
(3.5) from the t=3 moment, every execution one step of cellular automaton, the cellular number M (t) breaking down in statistical space, if M (t+1) >M (t), repeated execution of steps (3.4), if M (t+1)=M (t), single-particle fault is no longer propagated, and stops cellular automaton operation.
5. according to the system-level propagation analytical approach of the single-particle soft error based on cellular automaton described in claim 1 or 2 or 3, it is characterized in that, in described cellular automaton, the neighborhood of cellular is form one, form two or form three; Described form one is that each cellular is only subject to its impact of four neighbours' cellulars of four direction around, and described form two is subject to the impact of 8 neighbours' cellulars around for each cellular, and described form three is the impact that each cellular can be subject to 24 neighbours' cellulars around.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410282835.0A CN104102562A (en) | 2014-06-23 | 2014-06-23 | Cellular automata-based single particle soft error system level propagation analysis method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201410282835.0A CN104102562A (en) | 2014-06-23 | 2014-06-23 | Cellular automata-based single particle soft error system level propagation analysis method |
Publications (1)
Publication Number | Publication Date |
---|---|
CN104102562A true CN104102562A (en) | 2014-10-15 |
Family
ID=51670732
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201410282835.0A Pending CN104102562A (en) | 2014-06-23 | 2014-06-23 | Cellular automata-based single particle soft error system level propagation analysis method |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN104102562A (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105426279A (en) * | 2015-11-23 | 2016-03-23 | 北京航空航天大学 | Celluar automata based servo system fault propagation analysis method |
CN107832184A (en) * | 2017-11-02 | 2018-03-23 | 湖南斯北图科技有限公司 | A kind of method that the degree of coupling between simulated fault injection acquisition module is carried out for HDL systems |
CN107862111A (en) * | 2017-10-19 | 2018-03-30 | 湖南斯北图科技有限公司 | A kind of propagation analysis method of assessment system single-particle disabler rate |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20050166080A1 (en) * | 2004-01-08 | 2005-07-28 | Georgia Tech Corporation | Systems and methods for reliability and performability assessment |
CN101145118A (en) * | 2007-10-30 | 2008-03-19 | 北京时代民芯科技有限公司 | SPARC processor single particle effect detection device and method |
-
2014
- 2014-06-23 CN CN201410282835.0A patent/CN104102562A/en active Pending
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20050166080A1 (en) * | 2004-01-08 | 2005-07-28 | Georgia Tech Corporation | Systems and methods for reliability and performability assessment |
CN101145118A (en) * | 2007-10-30 | 2008-03-19 | 北京时代民芯科技有限公司 | SPARC processor single particle effect detection device and method |
Non-Patent Citations (1)
Title |
---|
何伟: "SRAM型FPGA单粒子故障传播特性与测试方法研究", 《中国优秀硕士学位论文全文数据库(电子期刊)》, no. 07, 31 December 2012 (2012-12-31), pages 26 - 35 * |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105426279A (en) * | 2015-11-23 | 2016-03-23 | 北京航空航天大学 | Celluar automata based servo system fault propagation analysis method |
CN105426279B (en) * | 2015-11-23 | 2019-03-22 | 北京航空航天大学 | Servo-system fault propagation analysis method based on cellular machine |
CN107862111A (en) * | 2017-10-19 | 2018-03-30 | 湖南斯北图科技有限公司 | A kind of propagation analysis method of assessment system single-particle disabler rate |
CN107832184A (en) * | 2017-11-02 | 2018-03-23 | 湖南斯北图科技有限公司 | A kind of method that the degree of coupling between simulated fault injection acquisition module is carried out for HDL systems |
CN107832184B (en) * | 2017-11-02 | 2020-08-21 | 湖南斯北图科技有限公司 | Method for acquiring coupling degree between modules by injecting simulation fault to HDL system |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN107167725B (en) | A kind of quick low overhead Full automatic digital integrated circuit single-particle fault injection system | |
Lu et al. | Reliability analysis of large phased-mission systems with repairable components based on success-state sampling | |
CN104239687B (en) | Reliability modeling and evaluation method based on aerospace product signal transmission path | |
CN105808795A (en) | FPGA chip global placement optimization method based on temporal constraint | |
CN109214140B (en) | AltaRica-based avionics system dynamic reconstruction modeling method | |
CN106327033A (en) | Power system cascading failure analysis method based on Markov process | |
CN104102562A (en) | Cellular automata-based single particle soft error system level propagation analysis method | |
CN109002601A (en) | A kind of verifying model modelling approach of the FPGA system based on Petri network | |
CN105243245A (en) | Reliability modeling method for failure mechanism correlational relationship of circuit module based on Petri grid | |
CN104598352B (en) | Rapid reliability evaluation method for SRAM (Static Random Access Memory) type FPGA (Field Programmable Gate Array) | |
Wang et al. | High order finite difference methods with subcell resolution for stiff multispecies discontinuity capturing | |
Hong et al. | Enumeration of reachable states for arbitrary marked graphs | |
CN101025625A (en) | DSP based embedded intelligent controller | |
CN104142628B (en) | The method for designing of space radiation environment reliability index | |
CN104268338A (en) | Complex product failure effect transfer relation model as well as analysis and evaluation method thereof | |
CN104267936A (en) | Semantic tree based asynchronous dynamic push-down network reachability analysis method | |
CN103970953A (en) | Spacecraft solar wing dynamics rapid modeling method and system | |
CN105426279A (en) | Celluar automata based servo system fault propagation analysis method | |
CN104879295A (en) | Large complex system fault diagnosis method based on multilevel flow model and minimal cutset of fault tree | |
CN108073989B (en) | Combinational logic circuit selective reinforcement method based on Bayesian probability model | |
CN107862111B (en) | Propagation analysis method for evaluating system single-particle functional failure rate | |
CN104123225B (en) | Method for analyzing system single-particle soft error propagation process through fault coupling matrix | |
CN109408975A (en) | Satellite soft error communication process modeling and simulation method based on Finite State Machine | |
Gray et al. | Tracking performance analysis of a distributed recoverable Boeing 747 flight control system subject to digital upsets | |
CN103793583A (en) | Equipment radiation resistance reinforcing redesign method |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20141015 |
|
RJ01 | Rejection of invention patent application after publication |