: HOME : ABOUT US : CURRENT RESEARCH :
: MATURE RESEARCHINDUSTRY AFFILIATES :

RoSES : Robust Self-customizing Embedded Systems
The RoSES project seeks a general approach to building flexible, dependable, maintainable and logistically supportable systems. Particular attention is focused on product family architecture strategies, automatic incorporation of newer-generation technologies, and the incorporation of commercial off-the-shelf (COTS) building-block components.

FlakyIO
The FlakyIO project uses fault injection to test the portability of an I/O intensive application (desktop, embedded, mobile) to a potentially failure-prone network. It attempts to characterize the assumptions made about the reliability of the I/O subsystem that the application uses.

MEAD : Middleware for Embedded Adaptive Dependability
MEAD enhances distributed real-time embedded middleware applications with new capabilities including (i) transparent, yet tunable, fault tolerance in realt time, (ii) proactive dependability, (iii) resource-aware system adaptation to crash, communication and timing faults with (iv) scalable and fast fault-detection and fault-recovery.

Sensor Nets
SensorNets creates a framework for applications of networks of sensors in long-lived infrastructure systems such as buildings, bridges, and highways -- a heterogeneous collection of sensors that must continue to operate even as parts of the infrastructure is changed, upgraded, or remodeled.

PARIS : Programming Reliable Software
The PARIS project seeks a general approach to the identification and characterization of robustness faults within applications by the analysis of the source program. The identification of general robustness problems can be used to provide feedback to the programmer to direct the manual insertion of error checks into the application code at the most appropriate location.

Starfish : Secure Scalable Middleware
Provides intrusion detection and intrusion tolerance for middleware applications operating in a distributed asynchronous system. The Starfish system contains a central, highly secure and tightly coupled core. This core is augmented by "arms" that are less tightly coupled and that have less stringent security guarantees, each of which can be removed from the core if a significant security breach occurs. New arms can be "grown" as needed.

Engineering Knowledge Management
The Knowledge Management Group is addressing knowledge management issues that arise from a variety of social, organizational and technological interactions. We believe that most organizations have only scratched the surface of their knowledge management challenges by implementing enterprise resource and customer relationship management tools.

Wireless Dependability
A key problem in current wireless systems is their lack of dependability for such critical applications as compared to their wired counterparts. The research includes the exploitation of strategies for enhancing the dependability and the security of wireless systems so that wireless applications can tolerate infrastructural failures.

Sensor Network Datamining
Trends in integrated circuit technology are clearly making it appropriate to add computing power to embedded sensors. The additional processing power can be used for a variety of purposes. For example, sensor data can be filtered, compressed or more generally preprocessed in mission-specific ways at the source, reducing the network bandwidth required to deliver key observations.