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 PDF

Info

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
Application number
CN201610341467.1A
Other languages
Chinese (zh)
Other versions
CN106055426B (en
Inventor
王洁
柳继委
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Dalian University of Technology
Original Assignee
Dalian University of Technology
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Dalian University of Technology filed Critical Dalian University of Technology
Priority to CN201610341467.1A priority Critical patent/CN106055426B/en
Publication of CN106055426A publication Critical patent/CN106055426A/en
Application granted granted Critical
Publication of CN106055426B publication Critical patent/CN106055426B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/07Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14Error detection or correction of the data by redundancy in operation
    • G06F11/1479Generic software techniques for error detection or fault masking
    • G06F11/1489Generic 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

Real-time fault tolerance design method based on Evolvable Hardware
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:
f d ( t ) = f ( t ) ‾ f m a x ( t ) - f min ( t ) - - - ( 1 )
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:
P s = P s 0 , t < t 0 P s 0 e - &part; ( t - t 0 ) t max / f d ( t ) , t &GreaterEqual; t 0 - - - ( 2 )
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.3tmaxIt 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);
G m a x = T m a x T g - - - ( 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
R = O r e a l &CirclePlus; O exp - - - ( 5 )
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:
f d ( t ) = f ( t ) &OverBar; f m a x ( t ) - f min ( t ) - - - ( 1 )
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:
P s = P s 0 , t < t 0 P s 0 e - &part; ( t - t 0 ) t max / f d ( t ) , t &GreaterEqual; t 0 - - - ( 2 )
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.3tmaxIt 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).
G m a x = T m a x T g - - - ( 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.
R = O r e a l &CirclePlus; O exp - - - ( 5 )
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:
f d ( t ) = f ( t ) &OverBar; f m a x ( t ) - f min ( t ) - - - ( 1 )
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:
P s = P s 0 , t < t 0 P s 0 e - &part; ( t - t 0 ) t max / f d ( t ) , t &GreaterEqual; t 0 - - - ( 2 )
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.3tmaxIt 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);
G m a x = T m a x T g - - - ( 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
R = O r e a l &CirclePlus; O exp - - - ( 5 )
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.
CN201610341467.1A 2016-05-21 2016-05-21 Real-time fault tolerance design method based on Evolvable Hardware Active CN106055426B (en)

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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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

Patent Citations (7)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
Title
朱继祥等: "《可重构系统的演化修复机制》", 《计算机学报》 *
王洁: "《The Dynamic Evaluation Strategy for Evolvable Hardware》", 《2015 NINTH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY》 *

Cited By (4)

* Cited by examiner, † Cited by third party
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