Slides for PCXSES and SPCL

1 -cover slide
PCXSES & SPCL
Michael E. Locasto
<locasto@cs>

2 -overview

today i'll be talking about...
process migration as a mechanism for survivable embedded systems & networks
architecture & protocol for implementing process migration with a common JVM
policy language for this architecture

3 -The Problem: Survivability & Fault Tolerance

High assurance embedded systems & survivable networks of them

4 -Related Works

This project is at the intersection of 3 distinct areas of CS:
	-generic process migration: zap
	-policy: keynote
	-embedded systems: kvm

5 -Network Survivability

 Fault tolerance through:
	- replication
	- redundancy
	- heterogenaity (embedded systems have plenty of this)
	- remote execution (no go {RMI,CORBA})

6 -Deploy a common VM
	- java (kvm) vs linux

7 -The Protocol
	- straightforward checkpoint & restart
	- moving state
	- registration/federation
	- protocol phases
	- messages

8 -Moving State
	- target may not understand state
	- essential state may be hidden by the OS (socket)
	- SUI agent: state update interface agent
	- STUDML: state transfer and update meta-language

9 -Results

	- PACMAN

10 -Future & Current Work

	- The policy engine specification
	- Utilize ZAP?

11 -Discussion & Questions