A Biologically Inspired Programming Model for SelfHealing Systems
A Biologically Inspired Programming Model for Self-Healing Systems Selvin George David Evans Computer Science Lance Davidson Biology UNIVERSITY OF VIRGINIA WOSS 2002 Selvin George 1
Self Healing in Nature WOSS 2002 Selvin George 2
Diffusion – Local Communication Cells are aware of surroundings by sensing chemicals emitted by other cells WOSS 2002 Selvin George 3
Nature’s Programs – Observations • Aware • Of self • Of environment • Redundant • Decentralized • Expressive • Human program – 3 billion base pairs (~250 MB) • Two human programs differ by about 0. 5 MB (< 1% of Windows 2000) WOSS 2002 Selvin George 4
Our Programming Model • Similar to cellular automata • Simple chemical diffusion model • Correspondence to biological cells – Genes turn on and off state changes • Emit different chemicals depending on state • Change state based on sensed chemicals – Cells can divide asymmetrically WOSS 2002 Selvin George 5
Blastula Program s 1 a s 2 a a s 3 WOSS 2002 state s 1 { emits (a, 0. 1) transitions (0 <= a <= 0. 375) -> (s 2, s 2) axis; -> (s 1); } state s 2 { emits (a, 0. 1) transitions (0 <= a <= 0. 375) -> (s 3, s 3) normal-X; -> (s 2); } state s 3 { emits (a, 0. 1) transitions (0 <= a <= 0. 375) -> (s 1, s 1) normal-Y; -> (s 3); } Selvin George 6
Self-Healing Blastula state s 1 { emits (a, 0. 1) transitions (0 <= a <= 0. 375) -> (s 2, s 2) axis; -> (s 1); } state s 2 { emits (a, 0. 1) transitions (0 <= a <= 0. 375) -> (s 3, s 3) normal-X; -> (s 2); } state s 3 { emits (a, 0. 1) transitions (0 <= a <= 0. 375) -> (s 1, s 1) normal-Y; -> (s 3); } WOSS 2002 Selvin George Kill Cell 7
WOSS 2002 Selvin George 8
Distributed Wireless File Service File Distribution and Update Server inhibit replicate WOSS 2002 Selvin George 9
Distributed Wireless File Service File Distribution and Update WOSS 2002 Selvin George 10
DWFS Simulation Purple Nodes – store File 1 Concentric Circles – Inhibit/Replicate Green Circle – File Request White Circle – Server Response WOSS 2002 Selvin George 11
Mantra • Biology has killed trillions of organisms over millions of years to solve complex engineering problems • Engineers should be able to learn from these solutions • Simulator available: http: //swarm. cs. virginia. edu/cellsim WOSS 2002 Selvin George 12
- Slides: 12