WOSS 2002Selvin George1 A Biologically Inspired Programming Model for Self-Healing Systems Selvin George Computer Science David Evans Computer Science Lance Davidson Biology U N I V E R S I T Y O F V I R G I N I A

WOSS 2002Selvin George2 Self Healing in Nature

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

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

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

WOSS 2002Selvin George6 Nature’s Programs – Observations Aware Of self Of environment Redundant Decentralized Expressive Human program – 3 billion base pairs (~250MB) Two human programs differ by about 0.5MB (< 1% of Windows 2000)

WOSS 2002Selvin George7 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 2002Selvin George8 state s1 { emits (a, 0.1) transitions (0 (s2, s2) axis; -> (s1); } state s2 { emits (a, 0.1) transitions (0 (s3, s3) normal-X; -> (s2); } state s3 { emits (a, 0.1) transitions (0 (s1, s1) normal-Y; -> (s3); } Blastula Program s1 s2 s3 a a a

WOSS 2002Selvin George9 Self-Healing Blastula state s1 { emits (a, 0.1) transitions (0 <= a <= 0.375) -> (s2, s2) axis; -> (s1); } state s2 { emits (a, 0.1) transitions (0 <= a <= 0.375) -> (s3, s3) normal-X; -> (s2); } state s3 { emits (a, 0.1) transitions (0 <= a <= 0.375) -> (s1, s1) normal-Y; -> (s3); } Kill Cell

WOSS 2002Selvin George10

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

WOSS 2002Selvin George12 Distributed Wireless File Service File Distribution and Update

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

WOSS 2002Selvin George14 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:

WOSS 2002Selvin George15 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 2002Selvin George16 Origami Shape Language – (1) (Radhika Nagpal’s PhD Defense)

WOSS 2002Selvin George17 Origami Shape Language – (2)

WOSS 2002Selvin George18 Origami Shape Language – (3)

WOSS 2002Selvin George19 Origami Shape Language – (4)

WOSS 2002Selvin George20 Origami Shape Language – (5)

WOSS 2002Selvin George21 Origami Shape Language – (6)

WOSS 2002Selvin George22 Origami Shape Language – (7)

WOSS 2002Selvin George23 Origami Shape Language – (8)

WOSS 2002Selvin George24 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