evohar robustness in evolved hardware jason masner, john cavalieri dr. james frenzel and dr. james...
Post on 19-Dec-2015
214 views
TRANSCRIPT
![Page 1: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/1.jpg)
EVOHAR
Robustness in Evolved Hardware
Jason Masner, John Cavalieri
Dr. James Frenzel and Dr. James A. Foster
![Page 2: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/2.jpg)
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
![Page 3: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/3.jpg)
Outline
• Motivation• Sorting Networks• Tree Representation• Linear Representation• Intrinsic Representation• Error Introduction• Some BS• Data• Future Work
![Page 4: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/4.jpg)
Motivation
• Study an apparent intrinsic property of evolved systems - ability to degrade gracefully with the presence of local failures. (Robustness for free)
![Page 5: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/5.jpg)
InputsSorting Network
Output
0
1
1
0
0
1
1
0
0
1
0
1
0
1
1
1 1
1
0
0
![Page 6: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/6.jpg)
InputsSorting Network
Output
1
0
1
1
1
0
1
1
1
0
1
1
1 1
1
1
0
1
![Page 7: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/7.jpg)
Compare Exchange Circuit
AND
OR
1
0
Input
0
1
Output
![Page 8: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/8.jpg)
CE (1,4)
CE (0,4)CE (0,3)
CE (1,3) CE (1,2)
CE (2,4) CE (0,2)
CE (3,4)
TREE Structure
CE (1,4) CE (0,3) CE (1,3) CE (2,4) CE (0,4)….
ARRAY Structure
Individuals
![Page 9: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/9.jpg)
Our Xilinx FPGA
Cells ….. 64
Cel
ls …
.. 64
Inputs
0
1
1
0
0
0
1
1
![Page 10: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/10.jpg)
Tree Crossover1. Two nodes are randomly chosen on each tree.2. Nodes and subtrees are swapped.
![Page 11: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/11.jpg)
Tree Crossover1. Two nodes are randomly chosen on each tree.2. Nodes and subtrees are swapped.
![Page 12: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/12.jpg)
Tree Crossover1. Two nodes are randomly chosen on each tree.2. Nodes and subtrees are swapped.
![Page 13: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/13.jpg)
Tree Mutation1. Two nodes are randomly chosen.2. Nodes and subtrees are swapped.
![Page 14: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/14.jpg)
Tree Mutation1. Two nodes are randomly chosen.2. Nodes and subtrees are swapped.
![Page 15: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/15.jpg)
Tree Mutation1. Two nodes are randomly chosen.2. Nodes and subtrees are swapped.
![Page 16: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/16.jpg)
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)
![Page 17: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/17.jpg)
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 (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,3)CE (2,4)CE (0,4)
![Page 18: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/18.jpg)
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)
![Page 19: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/19.jpg)
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 (0,3)CE (1,3) CE (2,4) CE (0,4)CE (2,3) CE (1,4) CE (1,2)
![Page 20: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/20.jpg)
Errors: Pass-Through
AND
OR
1
0
Input
0
1
Output
1
![Page 21: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/21.jpg)
Error: Stuck on One
AND
OR
1
0
Input
0
1
Output
1
![Page 22: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/22.jpg)
Error: Stuck on Zero
AND
OR
1
0
Input
0
1
Output
0
![Page 23: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/23.jpg)
Error Types and Bit Stability Rating
Pass-Through Stuck on Zero Stuck on One
MSN
Tree
Linear
* indicate tendency of a bit to survive uncorruptedthrough a given network with given set of faults.
* * * **** *** ** ***** ** *** **
All errors
![Page 24: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/24.jpg)
EVOLUTION
BUILDS
BETTER
CIRCUITS
![Page 25: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/25.jpg)
Future Work
• Testing on different networks
• Apply the our BS to different data or problems
• Hillclimber as a control factor
• Implement in hardware
![Page 26: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/26.jpg)
Error Types and Bit Stability Value
Pass-Through Stuck on Zero Stuck on One
MSN
Tree
Linear
Numbers indicate tendency of a bit to survive uncorruptedthrough a given network with given set of faults.
0.968 0.958 0.958 0.9610.971 0.962 0.961 0.9680.969 0.961 0.964 0.966
All errors
![Page 27: EVOHAR Robustness in Evolved Hardware Jason Masner, John Cavalieri Dr. James Frenzel and Dr. James A. Foster](https://reader030.vdocuments.us/reader030/viewer/2022032800/56649d405503460f94a1a5b9/html5/thumbnails/27.jpg)
Evolutionary Advantages
• Fast Design Time
• Less Costly to Develop
• Generalize Well
• Evolutionary Circuits are more Robust