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

Diffusion – Local Communication Cells are aware of surroundings by sensing chemicals emitted by other cells WOSS 2002 Selvin George 4

Diffusion – Local Communication Cells are aware of surroundings by sensing chemicals emitted by other cells WOSS 2002 Selvin George 5

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 6

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 7

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 8

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 9

WOSS 2002 Selvin George 10

Distributed Wireless File Service File Distribution and Update Server inhibit replicate WOSS 2002 Selvin George 11

Distributed Wireless File Service File Distribution and Update WOSS 2002 Selvin George 12

DWFS Simulation Purple Nodes – store File 1 Concentric Circles – Inhibit/Replicate Green Circle – File Request White Circle – Server Response WOSS 2002 Selvin George 13

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 14

Related Work • Amorphous Computing – Engineering of emergent order: to identify the engineering principles and languages that can be used to observe, control, organize, and exploit the behavior of programmable multitudes (MIT) – Growing Point Language – Origami Shape Language • Chemical Abstract Machine • Santa Fe Swarm Simulator WOSS 2002 Selvin George 15

Origami Shape Language – (1) (Radhika Nagpal’s Ph. D Defense) WOSS 2002 Selvin George 16

Origami Shape Language – (2) WOSS 2002 Selvin George 17

Origami Shape Language – (3) WOSS 2002 Selvin George 18

Origami Shape Language – (4) WOSS 2002 Selvin George 19

Origami Shape Language – (5) WOSS 2002 Selvin George 20

Origami Shape Language – (6) WOSS 2002 Selvin George 21

Origami Shape Language – (7) WOSS 2002 Selvin George 22

Origami Shape Language – (8) WOSS 2002 Selvin George 23

Swarm. org (Santa Fe – Project Swarm) advance the state-of-the-art in multi agent based simulation through the continued advancement of the Swarm Simulation System and support of the Swarm user community Demos • Sorting Ant • Market Pricing WOSS 2002 Selvin George 24