270 likes | 417 Views
EVOHAR. Robustness in Evolved Hardware. Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster. Acknowledgements. This work is funded in part through the Center for Secure and Dependable Software Microelectronics Research and Communications Institute. DOD/OST. BMDO.
E N D
EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster
Acknowledgements This work is funded in part through the Center for Secure and Dependable Software Microelectronics Research and Communications Institute DOD/OST BMDO We are grateful for the help and support of these organizations
Outline • Motivation • Sorting Networks • Tree Representation • Linear Representation • Intrinsic Representation • Error Introduction • Some BS • Data • Future Work
Motivation • Study an apparent intrinsic property of evolved systems - ability to degrade gracefully with the presence of local failures. (Robustness for free)
Sorting Network Inputs Output 0 0 0 0 1 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1
Sorting Network Inputs Output 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1
Compare Exchange Circuit 1 AND 0 OR 1 0 Input Output
Individuals CE (1,4) CE (0,3) CE (0,4) CE (1,3) CE (1,2) CE (1,4) CE (0,3) CE (1,3) CE (2,4) …. CE (0,4) CE (2,4) CE (0,2) ARRAY Structure CE (3,4) TREE Structure
Our Xilinx FPGA Inputs 0 0 1 0 1 1 0 1 Cells ….. 64 Cells ….. 64
Tree Crossover 1. Two nodes are randomly chosen on each tree. 2. Nodes and subtrees are swapped.
Tree Crossover 1. Two nodes are randomly chosen on each tree. 2. Nodes and subtrees are swapped.
Tree Crossover 1. Two nodes are randomly chosen on each tree. 2. Nodes and subtrees are swapped.
Tree Mutation 1. Two nodes are randomly chosen. 2. Nodes and subtrees are swapped.
Tree Mutation 1. Two nodes are randomly chosen. 2. Nodes and subtrees are swapped.
Tree Mutation 1. Two nodes are randomly chosen. 2. Nodes and subtrees are swapped.
Representation of Individuals CROSSOVER in Arrays CE (1,4) CE (0,3) CE (1,3) CE (2,4) CE (0,4) CE (2,3) CE (1,4) CE (1,2) CE (0,3) CE (3,4) CE (0,2) CE (1,3) CE (2,3) CE (1,2) CE (0,3) CE (0,1)
Representation of Individuals CROSSOVER in Arrays CE (1,4) CE (0,3) CE (1,3) CE (2,4) CE (0,4) CE (2,3) CE (1,4) CE (1,2) CE (0,3) CE (3,4) CE (0,2) CE (1,3) CE (2,3) CE (1,2) CE (0,3) CE (0,1) CE (1,4) CE (0,3) CE (0,2) CE (1,3) CE (2,3) CE (2,3) CE (1,4) CE (1,2) CE (0,3) CE (3,4) CE (1,3) CE (2,4) CE (0,4) CE (1,2) CE (0,3) CE (0,1)
Representation of Individuals MUTATION in Arrays CE (1,4) CE (0,3) CE (1,3) CE (2,4) CE (0,4) CE (2,3) CE (1,4) CE (1,2)
Representation of Individuals MUTATION in Arrays CE (1,4) CE (0,3) CE (1,3) CE (2,4) CE (0,4) CE (2,3) CE (1,4) CE (1,2) CE (1,4) CE (2,3) CE (1,3) CE (2,4) CE (0,4) CE (0,3) CE (1,4) CE (1,2)
Errors: Pass-Through 1 AND 0 1 OR 1 0 Input Output
Error: Stuck on One 1 AND 0 1 OR 1 0 Input Output
Error: Stuck on Zero 1 AND 0 OR 1 0 0 Input Output
Error Types and Bit Stability Rating Pass-Through Stuck on Zero Stuck on One All errors MSN Tree Linear * indicate tendency of a bit to survive uncorrupted through a given network with given set of faults.
EVOLUTION BUILDS BETTER CIRCUITS
Future Work • Testing on different networks • Apply the our BS to different data or problems • Hillclimber as a control factor • Implement in hardware
Error Types and Bit Stability Value Pass-Through Stuck on Zero Stuck on One All errors MSN Tree Linear Numbers indicate tendency of a bit to survive uncorrupted through a given network with given set of faults.
Evolutionary Advantages • Fast Design Time • Less Costly to Develop • Generalize Well • Evolutionary Circuits are more Robust