Academic Research Projects
Last updated: Tuesday, 09-May-2006 14:42:49 MDT  

Research Progress

Title

Topic

Advisor

Status

 
Aspect-TOS

APPLYING ASPECTS TO TINYOS

TinyOS is an emerging tool for embedded systems development. While tools help remove unnecessary code, some crosscutting concerns still remain. Identifying and modularizing these concerns may further reduce the overall program footprint.

Efforts:
     To learn more click here.		 Eric Eide Active
 
Program Furcation

AUTOMATIC PROGRAM SPLITTING AND RESOURCE DISTRIBUTION

Program design is further complicated in embedded systems by resource limitations and constraints. A sensory net mote application could be divided into separate executable parts with all communication needed to perform expected tasks and act as a single device. A compiler/linker has most of the needed information to make "smart" breaks (furcation) in the program.

Efforts:
     To learn more click here.		 (none) Frozen
 
Components & Aspects for Embedded Middleware

EMBEDDED, COMPONENTIZED & ASPECTIZED CORBA

The primary issue that firmware developers face today is repeatedly starting over from scratch their development. There are over one hundred different RTOSs to pick from, but that means different levels of support for hardware, communications, and abstract primitives. Our goal is to provide a CORBA implementation for these development efforts. We use aspect-oriented programming to create product lines which can adapt to space/time constraints.

Efforts:
     To learn more click here.		 Eric Eide Frozen
Feature Definition

EXPLORATION OF "FEATURE" CHARACTERISTICS

It appears that the use of the term "feature" encompasses two very different views. This research targets these views and identifies their characteristics.

Efforts:
     Feature Discussion -- discussion of the types of features.
     Feature Breakdown -- a 3D model of feature types and examples.		 (none) Frozen
EtherSpace

SENSORY NETS

ATEMU and similar simulators for mote-devices often use a simplified radio model in the simulation.  While providing a starting point for development on individual devices, testing networking issues requires a more realistic tool.  EtherSpace simulates radio propagation closer to the actual electromagnetic field, including reflection, interference, attenuation, and absorption.

Efforts:
     Here's some recent development on radio propagation.		 ???? Deep-freeze
PICL

LANGUAGE/COMPILER THEORY

A compiler translates one language ("source language") into another ("target language"). Most compilers convert from a human-readable form to a machine-specific or interpretted form to reduce execution time. PICL (Provable Interpretation Compiler Language) attempts to prove a compiler to be correct.

Efforts:
     To learn more click here.		 Konrad Slind Stopped
Copyright © 2001-2006 Intelligent Algorithmic Solutions and Sean Walton eMail