CN106055426A - Real-time fault tolerant system design method based on evolvable hardware - Google Patents
Real-time fault tolerant system design method based on evolvable hardware Download PDFInfo
- Publication number
- CN106055426A CN106055426A CN201610341467.1A CN201610341467A CN106055426A CN 106055426 A CN106055426 A CN 106055426A CN 201610341467 A CN201610341467 A CN 201610341467A CN 106055426 A CN106055426 A CN 106055426A
- Authority
- CN
- China
- Prior art keywords
- time
- fault
- real
- evolution
- population
- 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.)
- Granted
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/14—Error detection or correction of the data by redundancy in operation
- G06F11/1479—Generic software techniques for error detection or fault masking
- G06F11/1489—Generic software techniques for error detection or fault masking through recovery blocks
Abstract
The present invention discloses a real-time fault tolerant system design method based on evolvable hardware, and belongs to the evolvable hardware field. According to the method, circuit encoding and system fault tolerant mechanism are analyzed, and a real-time fault tolerant system is implemented on an FPGA platform. A dynamic self-adaptive CGP encoding method is adopted, potential of an encoding matrix is mined, evolution consumed time is reduced, and evolution success rate is increased; and real-time performance and fault tolerance of the fault tolerant system are ensured by a plurality of mechanisms. The real-time performance of the system is ensured by using the system fault tolerant time as a constraint condition; a fault repair process is accelerated by using a static fault configuration database; when the static configuration database is overflowed, the system is reconstructed by using a compensation repair mode, and the long-term operation capability of the system is improved; and a real-time fault tolerant system prototype is constructed on the FPGA platform by using a virtual reconfigurable technology, and feasibility and validity of the design method are verified. Fault tolerance and real-time performance of the system are both considered by the method, and the advantages of the evolvable hardware in the fault tolerant design field are fully taken.
Description
Technical field
The invention belongs to Evolvable Hardware field, relate to a kind of real-time fault tolerance design method based on Evolvable Hardware.
Background technology
Along with the arriving of information age, each electronic product emerges in an endless stream, and the Working and life styles of people occurs
Huge change.The electronic product become increasingly abundant is bringing easily simultaneously to people's life, the also design level to electronic system
Have higher requirement.The function of electronic system constantly strengthens, and scale constantly expands, and the complexity of electronic system design is finger
Number increases, and the experience of relying solely on will be unable to design the electronic system meeting demand.For a few thing in special environment
Electronic equipment, such as space ship, bathyscaphe etc., extremely strict to the reliability requirement of system, once system malfunctions,
These equipment will be caused fatal infringement, bring huge economic loss.Owing to traditional method for designing is static, it is
System structure is once designed to be difficult to be modified again, relies solely on the experience of designer, it is impossible to what prognoses system can meet with
Planting fault, also cannot be carried out preventing in advance, this just brings great hidden danger to the safety and reliability of system.In order to
Break through the limitation of engineer's circuit, strengthen the adaptation ability of system counter external environment condition change, improve system reliability, compel
It is essential and wants a kind of method for designing that can improve Fault Tolerance.
Summary of the invention
The technical problem to be solved in the present invention is to provide a kind of real-time fault tolerance design method based on Evolvable Hardware, knot
Close the self-organizing of Evolvable Hardware, self adaptation and the characteristic of selfreparing, it is proposed that a kind of dynamic self-adapting Descartes's genetic coding
(Cartesian Genetic Programming, CGP) method and real-time fault tolerance mechanism, and in FPGA platform, achieve one
Set real-time fault tolerance system prototype, its general frame is as shown in Figure 1.Wherein, evolution algorithmic uses C code to write, and operates in FPGA
In the Microblaze processor soft core of platform built-in;Other modules then use Verilog code to write, and operate in FPGA platform
On.
A kind of real-time fault tolerance design method based on Evolvable Hardware, step is as follows:
(1) dynamic self-adapting CGP coded method
Traditional CGP coding randomly chooses a stationary nodes as final output node, dynamic self-adapting CGP coding staff
Method output node is not fixed, and uses a kind of dynamic random sampling model to select different node as output from CGP encoder matrix
Node, calculates the fitness value of CGP encoder matrix respectively, and selects the matrix of fitness value maximum as optimal solution;Node
Sampled probability dynamically adjusts along with population entirety fitness situation of change, and the fitness distribution situation of current population uses following public
Formula calculates:
Wherein, fdT () represents the distribution of ideal adaptation degree or multiformity in population;Represent individual averagely fitting in population
Answer angle value;fmaxT () represents maximum adaptation angle value individual in population;fminT () represents minimum fitness value individual in population;
Along with the increase of iterations, the fitness difference between individuality is more and more less, and average fitness value increases, fdT the value of () is also
Become larger;
Sampled probability is divided into two parts, and at the initial stage of evolution, Population adaptation angle value is relatively low, uses fixing higher sampled probability
Add block convergence rate;When population average fitness value or iterations reach predetermined threshold value, according to population average fitness
Value dynamically adjusts sampled probability;In evolutionary process, the computing formula of sampled probability is:
Wherein, Ps0Being the initial samples probability set, the set comprehensive of initial samples probability considers population scale and dyeing
Body length;If initial samples probability is set to 1, the most now travels through all of node, and calculate fitness value;If initial samples
Probability arranges too small, then randomly choose, and initial samples probability is not less than 0.5;t0It is the critical iterations of sampled probability adjustment,
t0Value be 0.3tmax;It is self-defining parameter regulatory factor, is set as 2, tmaxIt it is the maximum iteration time of evolution algorithmic;
(2) real-time fault tolerance based on Evolvable Hardware mechanism
Tolerant system is substantially a kind of real-time system, and real-time is an important restrictions condition of tolerant system;Based on
The real-time fault tolerance mechanism of Evolvable Hardware, with the System Fault Tolerance time as constraints, utilizes static configuration storehouse to accelerate repair process, holds concurrently
Turn round and look at real-time and the fault-tolerance of tolerant system;Whole real-time fault tolerance mechanism mainly includes the following aspects:
1. evolution algorithmic maximum iteration time is calculated
It is defined as tolerable for system fault time repairing time limit Tmax;TmaxObtained by fault analysis tree technology;For
Guarantee system is repair system fault in repairing the time limit, will repair the time limit constraint bar as evolution algorithmic in evolutionary process
Part;The first-selected formula (3) that passes through calculates the time T that evolution algorithmic iteration once needsg;
Tg=λ (Tcfg+Tfit)+Tea (3)
Wherein, TcfgIt is the setup time of evolution platform, TfitIt is the Fitness analysis time, TeaWhen being the execution of evolution algorithmic
Between, λ is the quantity of the offspring individual produced in each iterative process;The iterations of maximum is then obtained according to formula (4);
2. run time fault detection
In the system operation phase, when system malfunctions, need mistake to be detected within the shortest time;Fault is final
Cause system output error, the actual output of comparison system and desired output, it is judged that the most faulty generation of system;Fault detect
Result with formula (5) represent
Wherein R represents the XOR of actual output and desired output, if it is desired to export consistent with actual output, then R is 0,
Otherwise R is not zero, and by detecting the value of R, obtains whether detecting system makes mistakes;
3. static configuration storehouse is utilized to repair fault
Static configuration storehouse is mainly used to the repair time of acceleration disturbance;At system design stage, by FTA technology mining system
Unite potential fault, and the compensation circuit of these faults is stored in static configuration storehouse;When system is run, if it occur that therefore
Barrier, then with vector (In,Oreal) for indexing the compensation circuit searching correspondence in static configuration storehouse;
If searching corresponding compensation circuit, then explanation there occurs known fault, directly searches correspondence from repository
Compensate circuit, complete the reparation to the system failure;
Without finding the reparation circuit of correspondence, then explanation there occurs unknown failure, starts evolution algorithmic and develops benefit
Repay circuit;
When the compensation circuit of evolution unknown failure, a kind of evolution algorithmic based on similarity is used to accelerate to develop
Journey;First, Hamming distances is used to calculate the similarity compensating output of existing circuit, table in expected compensation output and repository
Being shown as Dis (R, R '), wherein R is the output of expected compensation circuit, and R ' is the compensation output of existing circuit in repository;IfThen produce the initial population of evolution algorithmic with the circuit that compensates that R ' is corresponding, and develop and R;
Otherwise, then develop according to the compensation circuit that R ' is correspondingThen compensating in output plus phase inverter;
The size in static configuration storehouse depends on system scale and hardware resource, and what the space in static configuration storehouse took the most greatly deposits
Storage resource is the most, and the time of checking storehouse is incremented by;Repository repairs the relation that circuit and malfunction index are one-to-manies, repaiies for i.e. one
The corresponding multiple malfunction indexs of compound circuit;
4. the mode reconfiguration system developing with compensating is utilized
Often repair a fault, corresponding compensation circuit is stored in repository, but the memory space of repository has
Limit, it is impossible to store all of compensation circuit;When repository internal memory overflows, repository will be unable to store new compensation circuit, and
And along with system is run for a long time, more unknown failure occurring, the effect of repository is gradually lowered, and finally affects system
Fault-tolerant ability;In order to improve the reliability of system longtime running, when repository internal memory overflows, will use and repair skill based on compensating
Art reconfiguration system;
When reconstructing goal systems, use based on the evolution mode compensating recovery technique;In evolutionary process if be detected that
Retention effects then stops developing, it is assumed that current iteration number of times is GsIf, Gs,≥Gmax, then showing can not be in the iteration of regulation time
Develop in number and goal systems;If Gs<Gmax, then the correct system of part that startup reparation process having developed is repaiied
Just, repairing process must be at Gmax-GsComplete in secondary iterations.
Beneficial effects of the present invention: (1) is time-consuming by using dynamic self-adapting CGP coded system can reduce evolution, carries
Height is evolved into power;(2) with the System Fault Tolerance time as constraints, in conjunction with repository and compensation fault-tolerant mode, it is possible to increase be
The fault-tolerance of system and real-time;(3) in FPGA platform, build virtual restructural framework, and realize on the frame a set of in real time
Tolerant system, the design for tolerant system provides a kind of feasible reference model.
Accompanying drawing explanation
Fig. 1 is the overall structure block diagram of system.
Fig. 2 is CGP encoder matrix exemplary plot.
Fig. 3 is static configuration storehouse fundamental diagram.
Detailed description of the invention
Below in conjunction with accompanying drawing and technical scheme, further illustrate the detailed description of the invention of the present invention.
A kind of real-time fault tolerance design method based on Evolvable Hardware, step is as follows:
The cardinal principle of dynamic self-adapting CGP coded method and real-time fault tolerance mechanism is as follows:
(1) dynamic self-adapting CGP coded method
CGP be Evolvable Hardware field be the most commonly used coded system, its principle is as shown in Figure 2.Traditional CGP coding with
Machine selects a stationary nodes not fix as final output node, dynamic self-adapting CGP coded method output node, uses one
Planting dynamic random sampling model selects different node as output node from CGP encoder matrix, calculates CGP encoder matrix respectively
Fitness value, and select the maximum matrix of fitness value as optimal solution.The sampled probability of node adapts to along with population entirety
Degree situation of change dynamically adjusts, and the fitness distribution situation of current population can use below equation to calculate:
Wherein, fdT () represents the distribution of ideal adaptation degree or multiformity in population;Represent individual averagely fitting in population
Answer angle value;fmaxT () represents maximum adaptation angle value individual in population;fminT () is minimum fitness value.Along with iterations
Increasing, the fitness difference between individuality is more and more less, and average fitness increases, fdT the value of () also becomes larger.Sampled probability
Being broadly divided into two parts, at the initial stage of evolution, population's fitness is relatively low, uses fixing higher sampled probability to add block convergence rate;
When population average fitness or iterations reach predetermined threshold value, dynamically adjust sampling according to population average fitness value general
Rate.In evolutionary process, the computing formula of sampled probability is:
Wherein, Ps0Being the initial samples probability set, the setting of initial samples probit needs to consider population scale
And chromosome length.If initial samples probability is set to 1, the most now needs to travel through all of node and calculate fitness value;If
Initial samples probability arranges too small, then become and randomly choose, and may affect iterations.Therefore, initial samples probability one
As be not less than 0.5.t0It is the critical iterations of sampled probability adjustment, t0Value can not be too big, value crosses conference affects algorithm
Acceleration effect, typically take 0.3tmax。It is self-defining parameter regulatory factor, is usually set to 2, tmaxBe evolution algorithmic
Big iterations.In evolution early stage, population entirety fitness is relatively low, and sampled probability is relatively big, is conducive to accelerating evolution algorithmic convergence
Speed;In the later stage of developing, population entirety is more excellent, and sampled probability diminishes, and reduces the adjustment to circuit structure and is conducive to excellent genes
Accumulation, improve evolution algorithmic success rate.
(2) real-time fault tolerance based on Evolvable Hardware mechanism
Traditional fault tolerant system design method mainly considers system survivability, have ignored the real-time of tolerant system,
And tolerant system is substantially a kind of real-time system, real-time is an important restrictions condition of tolerant system.Hard based on developing
The real-time fault tolerance mechanism of part, with the System Fault Tolerance time as constraints, utilizes static configuration storehouse to accelerate repair process, it is possible to take into account
The real-time of tolerant system and fault-tolerance.Whole real-time fault tolerance mechanism mainly includes the following aspects:
1. evolution algorithmic maximum iteration time is calculated
It is defined as tolerable for system fault time repairing the time limit, is defined as Tmax。TmaxFault analysis tree can be passed through
(Fault Tree Analysis, FTA) technical Analysis obtains.In order to ensure that system can repair system event in repairing the time limit
Barrier, will repair the time limit constraints as evolution algorithmic in evolutionary process.The first-selected formula (3) that passes through can calculate evolution
The time T that algorithm iteration once needsg。
Tg=λ (Tcfg+Tfit)+Tea (3)
Wherein, TcfgIt is the setup time of evolution platform, TfitIt is the Fitness analysis time, TeaWhen being the execution of evolution algorithmic
Between, λ is the quantity of the offspring individual produced in each iterative process.The iterations of maximum then can be obtained according to formula (4).
2. run time fault detection
In the system operation phase, when system malfunctions, it is desirable to be able to mistake detected within the shortest time.Fault
Eventually result in system output error, it is only necessary to the actual output of comparison system and desired output just can detect whether faulty
Occur.The result of fault detect can use formula (5) to represent.
Wherein R represents the XOR of actual output and desired output, if it is desired to export consistent with actual output, then R is 0,
Whether otherwise R is not zero, just can be made mistakes with detecting system by the value of detection R.
3. static configuration storehouse is utilized to repair fault
Static configuration storehouse is mainly used to the repair time of acceleration disturbance.At system design stage, can be dug by FTA technology
The fault that pick system is potential, and the compensation circuit of these faults is stored in static configuration storehouse.When system is run, if sent out
Raw fault, then with vector (In,Oreal) for indexing the compensation circuit searching correspondence in static configuration storehouse.
If searching corresponding compensation circuit, then explanation there occurs known fault, directly searches correspondence from repository
Compensate circuit, complete the reparation to the system failure.
Without finding corresponding reparation circuit, then explanation there occurs unknown failure, needs to start evolution algorithmic and drills
Change and compensate circuit.When the compensation circuit of evolution unknown failure, a kind of evolution algorithmic based on similarity is used to accelerate to develop
Process.First, use Hamming distances to calculate the similarity compensating output of existing circuit in expected compensation output and repository,
Being expressed as Dis (R, R '), wherein R is the output of expected compensation circuit, and R ' is the compensation output of existing circuit in repository.IfThen produce the initial population of evolution algorithmic with the circuit that compensates that R ' is corresponding, and develop and R;
Otherwise, then develop according to the compensation circuit that R ' is correspondingThen compensating in output plus phase inverter.Based on similarity
Evolution repair mechanism can make full use of the construction features having compensated circuit, accelerates the convergence rate of evolution algorithmic, and minimizing is drilled
Change time-consuming, it is adaptable to real-time tolerant system.
The size in static configuration storehouse depends on system scale and hardware resource, and what the space in static configuration storehouse took the most greatly deposits
Storage resource is the most, and the time of checking storehouse also can be incremented by simultaneously.Fig. 3 gives and repairs three bit parity check device electricity with static configuration storehouse
The example of fault in road.Computing unit matrix (Function Element Array, FEA) in figure comprises four and calculates single
Unit, each computing unit is made up of two MUX and a function module, and each power function module comprises eight letters
Number function.The input data of computing unit are by cfg1 and cfg2 signal deciding, and the function of computing unit is by cfg3 signal deciding.False
It is located at circuit f0The fault of short circuit occurs, as input InDuring=(010), the actual output of system is Oreal=0, it is desirable to output Oexp
=1, R=1 can be obtained according to formula (5), then may determine that system malfunctions.At this moment vector (I is selectedn,Oreal)=
(010,0), as the index of checking storehouse, if can find the reparation circuit of coupling in storehouse, then illustrates that this fault is known event
Barrier, directly with the configuration information reconstruct VRC in storehouse.In this example, VRC is re-equipped and is set to an XOR circuit, faulty circuit
Just studied for a second time courses one has flunked, finally given correct output.Repository repairs the relation that circuit and malfunction index are one-to-manies, repaiies for i.e. one
Compound circuit may corresponding multiple malfunction indexs.Such as fault vectors (011,1), (100,0) and (101,1) all correspond to same
Repair circuit.
4. the mode reconfiguration system developing with compensating is utilized
Often repair a fault, all corresponding compensation circuit can be stored in repository, but the storage of repository is empty
Between limited, it is impossible to store all of compensation circuit.When repository internal memory overflows, repository will be unable to store new compensation electricity
Road, and along with system is run for a long time, it is possible that more unknown failure, the effect of repository is gradually lowered,
System survivability can be affected eventually.In order to improve the reliability of system longtime running, when repository internal memory overflows, will use
Based on compensating recovery technique reconfiguration system.
When reconfiguration system, it is considered to the retention effects impact on evolution algorithmic.Retention effects refers to that the fitness of population exists
The evolution initial stage increases quickly, but when the fitness of population is close to desired value, fitness value is stagnated, and substantial amounts of iterations is all
Spent in the lag phase, but the fitness value of population do not increased, it is clear that the correct system of the part of developing than
The complete goal systems that develops is the most.When reconstructing goal systems, use based on the evolution mode compensating recovery technique.
If be detected that retention effects then stops developing in evolutionary process, it is assumed that current iteration number of times is GsIf, Gs,≥Gmax, then table
Bright can not evolution in the iterations of regulation goal systems, owing to retention effects is generally present in the evolution initial stage, this
Situation typically will not occur.If Gs<Gmax, then the correct system of part that startup reparation process having developed is modified,
Reparation process must be at Gmax-GsComplete in secondary iterations.Smaller owing to repairing the scale of circuit, it is easier
Arrive.
Claims (1)
1. a real-time fault tolerance design method based on Evolvable Hardware, it is characterised in that step is as follows:
(1) dynamic self-adapting CGP coded method
Traditional CGP coding randomly chooses a stationary nodes as final output node, and dynamic self-adapting CGP coded method is defeated
Egress is not fixed, use a kind of dynamic random sampling model selects from CGP encoder matrix difference node as output node,
Calculate the fitness value of CGP encoder matrix respectively, and select the matrix of fitness value maximum as optimal solution;The sampling of node is general
Rate dynamically adjusts along with population entirety fitness situation of change, and the fitness distribution situation of current population uses below equation meter
Calculate:
Wherein, fdT () represents the distribution of ideal adaptation degree or multiformity in population;Represent average fitness individual in population
Value;fmaxT () represents maximum adaptation angle value individual in population;fminT () represents minimum fitness value individual in population;Along with
The increase of iterations, the fitness difference between individuality is more and more less, and average fitness value increases, fdT the value of () is the most gradually
Become big;
Sampled probability is divided into two parts, and at the initial stage of evolution, Population adaptation angle value is relatively low, uses fixing higher sampled probability to add block
Convergence rate;When population average fitness value or iterations reach predetermined threshold value, move according to population average fitness value
State adjusts sampled probability;In evolutionary process, the computing formula of sampled probability is:
Wherein, Ps0Being the initial samples probability set, the set comprehensive of initial samples probability considers that population scale and chromosome are long
Degree;If initial samples probability is set to 1, the most now travels through all of node, and calculate fitness value;If initial samples probability
Arranging too small, then randomly choose, initial samples probability is not less than 0.5;t0It is the critical iterations of sampled probability adjustment, t0's
Value is 0.3tmax;It is self-defining parameter regulatory factor, is set as 2, tmaxIt it is the maximum iteration time of evolution algorithmic;
(2) real-time fault tolerance based on Evolvable Hardware mechanism
Tolerant system is substantially a kind of real-time system, and real-time is an important restrictions condition of tolerant system;Based on evolution
The real-time fault tolerance mechanism of hardware, with the System Fault Tolerance time as constraints, utilizes static configuration storehouse to accelerate repair process, takes into account appearance
The real-time of wrong system and fault-tolerance;Whole real-time fault tolerance mechanism mainly includes the following aspects:
1. evolution algorithmic maximum iteration time is calculated
It is defined as tolerable for system fault time repairing time limit Tmax;TmaxObtained by fault analysis tree technology;In order to protect
Card system is repair system fault in repairing the time limit, will repair the time limit constraints as evolution algorithmic in evolutionary process;
The first-selected formula (3) that passes through calculates the time T that evolution algorithmic iteration once needsg;
Tg=λ (Tcfg+Tfit)+Tea (3)
Wherein, TcfgIt is the setup time of evolution platform, TfitIt is the Fitness analysis time, TeaIt is the execution time of evolution algorithmic, λ
It is the quantity of the offspring individual produced in each iterative process;The iterations of maximum is then obtained according to formula (4);
2. run time fault detection
In the system operation phase, when system malfunctions, need mistake to be detected within the shortest time;Fault ultimately results in
System output error, the actual output of comparison system and desired output, it is judged that the most faulty generation of system;The knot of fault detect
Fruit formula (5) represents
Wherein R represents the XOR of actual output and desired output, if it is desired to export consistent with actual output, then R is 0, otherwise R
It is not zero, by detecting the value of R, obtains whether detecting system makes mistakes;
3. static configuration storehouse is utilized to repair fault
Static configuration storehouse is mainly used to the repair time of acceleration disturbance;At system design stage, dived by FTA technology mining system
Fault, and the compensation circuit of these faults is stored in static configuration storehouse;When system is run, if it occur that fault,
Then with vector (In,Oreal) for indexing the compensation circuit searching correspondence in static configuration storehouse;
If searching corresponding compensation circuit, then explanation there occurs known fault, directly searches the compensation of correspondence from repository
Circuit, completes the reparation to the system failure;
Without finding corresponding reparation circuit, then explanation there occurs that unknown failure, startup evolution algorithmic develop and compensate electricity
Road;
When the compensation circuit of evolution unknown failure, a kind of evolution algorithmic based on similarity is used to accelerate evolutionary process;First
First, use Hamming distances to calculate the similarity compensating output of existing circuit in expected compensation output and repository, be expressed as
Dis (R, R '), wherein R is the output of expected compensation circuit, and R ' is the compensation output of existing circuit in repository;IfThen produce the initial population of evolution algorithmic with the circuit that compensates that R ' is corresponding, and develop and R;
Otherwise, then develop according to the compensation circuit that R ' is corresponding and R, then compensating in output plus phase inverter;
The size in static configuration storehouse depends on system scale and hardware resource, the storage money that the space in static configuration storehouse takies the most greatly
Source is the most, and the time of checking storehouse is incremented by;Repository repairs the relation that circuit and malfunction index are one-to-manies, repairs electricity for i.e. one
The corresponding multiple malfunction indexs in road;
4. the mode reconfiguration system developing with compensating is utilized
Often repair a fault, corresponding compensation circuit is stored in repository, but the limited storage space of repository, no
All of compensation circuit can be stored;When repository internal memory overflows, repository will be unable to store new compensation circuit, and along with
System is run for a long time, more unknown failure occurs, and the effect of repository is gradually lowered, and finally affects the fault-tolerant energy of system
Power;In order to improve the reliability of system longtime running, when repository internal memory overflows, will use based on compensating recovery technique reconstruct
System;
When reconstructing goal systems, use based on the evolution mode compensating recovery technique;If be detected that stagnate in evolutionary process
Effect then stops developing, it is assumed that current iteration number of times is GsIf, Gs,≥Gmax, then showing can not be in the iterations of regulation
Develop and goal systems;If Gs<Gmax, then the correct system of part that startup reparation process having developed is modified, and repaiies
Multiple process must be at Gmax-GsComplete in secondary iterations.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610341467.1A CN106055426B (en) | 2016-05-21 | 2016-05-21 | Real-time fault tolerance design method based on Evolvable Hardware |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610341467.1A CN106055426B (en) | 2016-05-21 | 2016-05-21 | Real-time fault tolerance design method based on Evolvable Hardware |
Publications (2)
Publication Number | Publication Date |
---|---|
CN106055426A true CN106055426A (en) | 2016-10-26 |
CN106055426B CN106055426B (en) | 2019-02-01 |
Family
ID=57177374
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610341467.1A Active CN106055426B (en) | 2016-05-21 | 2016-05-21 | Real-time fault tolerance design method based on Evolvable Hardware |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106055426B (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110969206A (en) * | 2019-11-29 | 2020-04-07 | 大连理工大学 | Circuit fault real-time diagnosis and self-repair method based on hierarchical division |
CN114647541A (en) * | 2022-03-18 | 2022-06-21 | 西安微电子技术研究所 | Circuit self-repairing method based on improved evolution hardware |
CN114647541B (en) * | 2022-03-18 | 2024-04-26 | 西安微电子技术研究所 | Circuit self-repairing method based on improved evolution hardware |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1975684A (en) * | 2006-12-13 | 2007-06-06 | 天津理工大学 | Distributing real-time data bank fault recovering method capable of supporting serving and recovering simultaneously |
EP2068246A1 (en) * | 2007-11-30 | 2009-06-10 | Giga-Byte Technology Co., Ltd. | Auto repair method of system configurations using single key control |
CN101937435A (en) * | 2009-07-01 | 2011-01-05 | 北京科东电力控制系统有限责任公司 | Online synchronized method of distributed real-time database confronting power system |
CN102495823A (en) * | 2011-12-07 | 2012-06-13 | 重庆邮电大学 | System for classifying deoxyribonucleic acid (DNA) micro-array data based on evolvable hardware and method for constructing system |
CN102521082A (en) * | 2011-12-08 | 2012-06-27 | 上海交通大学 | Recovery and fault tolerance method and recovery and fault tolerance system for check points in satellite-borne real-time operating system |
CN102855314A (en) * | 2012-08-27 | 2013-01-02 | 济南大学 | Real-time database backup system and method based on FPGA (field programmable gate array) |
CN103455393A (en) * | 2013-09-25 | 2013-12-18 | 浪潮电子信息产业股份有限公司 | Fault tolerant system design method based on process redundancy |
-
2016
- 2016-05-21 CN CN201610341467.1A patent/CN106055426B/en active Active
Patent Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1975684A (en) * | 2006-12-13 | 2007-06-06 | 天津理工大学 | Distributing real-time data bank fault recovering method capable of supporting serving and recovering simultaneously |
EP2068246A1 (en) * | 2007-11-30 | 2009-06-10 | Giga-Byte Technology Co., Ltd. | Auto repair method of system configurations using single key control |
CN101937435A (en) * | 2009-07-01 | 2011-01-05 | 北京科东电力控制系统有限责任公司 | Online synchronized method of distributed real-time database confronting power system |
CN102495823A (en) * | 2011-12-07 | 2012-06-13 | 重庆邮电大学 | System for classifying deoxyribonucleic acid (DNA) micro-array data based on evolvable hardware and method for constructing system |
CN102521082A (en) * | 2011-12-08 | 2012-06-27 | 上海交通大学 | Recovery and fault tolerance method and recovery and fault tolerance system for check points in satellite-borne real-time operating system |
CN102855314A (en) * | 2012-08-27 | 2013-01-02 | 济南大学 | Real-time database backup system and method based on FPGA (field programmable gate array) |
CN103455393A (en) * | 2013-09-25 | 2013-12-18 | 浪潮电子信息产业股份有限公司 | Fault tolerant system design method based on process redundancy |
Non-Patent Citations (2)
Title |
---|
朱继祥等: "《可重构系统的演化修复机制》", 《计算机学报》 * |
王洁: "《The Dynamic Evaluation Strategy for Evolvable Hardware》", 《2015 NINTH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY》 * |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110969206A (en) * | 2019-11-29 | 2020-04-07 | 大连理工大学 | Circuit fault real-time diagnosis and self-repair method based on hierarchical division |
CN110969206B (en) * | 2019-11-29 | 2023-06-06 | 大连理工大学 | Circuit fault real-time diagnosis and self-repairing method based on hierarchical division |
CN114647541A (en) * | 2022-03-18 | 2022-06-21 | 西安微电子技术研究所 | Circuit self-repairing method based on improved evolution hardware |
CN114647541B (en) * | 2022-03-18 | 2024-04-26 | 西安微电子技术研究所 | Circuit self-repairing method based on improved evolution hardware |
Also Published As
Publication number | Publication date |
---|---|
CN106055426B (en) | 2019-02-01 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Zeng et al. | Finite state machine synthesis with concurrent error detection | |
Pecheur et al. | Formal verification of diagnosability via symbolic model checking | |
Yoo et al. | Polynomial-time verification of diagnosability of partially observed discrete-event systems | |
CN102135928B (en) | Isomerous triple modular redundancy fault-tolerant method based on LUT (Look-up Table) evolvable hardware | |
CN110571787B (en) | False data injection attack design and defense method for direct-current micro-grid | |
CN103488568B (en) | A kind of embedded software credible attribute modeling and verification method | |
CN102622294A (en) | Method and method for generating test cases for different test types | |
CN105653411B (en) | The multi-core processor chip reconfigurable system for supporting local permanent fault to restore | |
CN104503920A (en) | Software system fault detection method based on dynamic description logic and case-based reasoning | |
CN105005697B (en) | It is a kind of to have the system Dynamic fault tree analysis method of time-constrain to reparation | |
Wan et al. | Analyzing and improving fault tolerance of learning-based navigation systems | |
Morozov et al. | Openerrorpro: A new tool for stochastic model-based reliability and resilience analysis | |
Wang et al. | Real-time fault repair scheme based on improved genetic algorithm | |
CN106055426A (en) | Real-time fault tolerant system design method based on evolvable hardware | |
CN106648813A (en) | Formalized compiling method for synchrony data flow program | |
CN103970537A (en) | Software trustworthiness measuring method oriented to spaceflight software | |
Baklouti et al. | Dynamic fault tree generation for safety-critical systems within a systems engineering approach | |
Staroswiecki | On fault handling in control systems | |
Kovalev et al. | Comparative tests of decision making algorithms for a multiversion execution environment of the fault tolerance software | |
CN117078123A (en) | Method and system for calculating available transmission capacity of electric-gas comprehensive energy system | |
Argyrides et al. | Single element correction in sorting algorithms with minimum delay overhead | |
Asghari et al. | An effective soft error detection mechanism using redundant instructions. | |
Lina et al. | Diagnosability of patterns in distributed discrete event systems | |
Cabral et al. | SAT-based leximax optimisation algorithms | |
Popov et al. | Reliability investigation of TMR and DMR systems with global and partial reservation |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |