Award Abstract #0205327
ITR: A Framework for Environment-Aware Massively Distributed Computing

NSF Org:	CNS Division of Computer and Network Systems
Initial Amendment Date:	August 15, 2002
Latest Amendment Date:	March 29, 2004
Award Number:	0205327
Award Instrument:	Standard Grant
Program Manager:	Frederica Darema CNS Division of Computer and Network Systems CSE Directorate for Computer & Information Science & Engineering
Start Date:	September 15, 2002
Expires:	August 31, 2006 (Estimated)
Awarded Amount to Date:	$419996
Investigator(s):	David Evans evans@cs.virginia.edu (Principal Investigator) Tarek Abdelzaher (Co-Principal Investigator) David Brogan (Co-Principal Investigator)
Sponsor:	University of Virginia Main Campus P.O. BOX 400195 CHARLOTTESVILLE, VA 22904 434/924-4270
NSF Program(s):	ITR MEDIUM (GROUP) GRANTS
Field Application(s):	0000099 Other Applications NEC
Program Reference Code(s):	HPCC, 9251, 9218, 9215, 2884, 1687, 1667
Program Element Code(s):	1687

ABSTRACT

EIA-0205327 David E. Evans University of Virginia ITR: A Framework for Environment-Aware, Massively Distributed Computing

We propose to develop a programming language for swarms of devices that allows a programmer to express an application in terms of desired aggregate behavior rather than explicitly programming individual devices. We will produce a program synthesizer that automatically generates the appropriate device programs that will implement the aggregate behavior for a particular deployment. The program synthesizer draws from a library of primitives that can be combined to produce complex applications with known scaling and non-functional properties. In addition to analytical results, we will test our approach using simulations and using a physical swarm composed of wireless devices with sensors and actuators.

Please report errors in award information by writing to: awardsearch@nsf.gov.