Introduction

The DEEDS group researches algorithmic, OS and system level issues in providing dependable & secure services for safety-critical, service critical and $-critical distributed systems and software.

This poster provides an overview of the current group activities.

What all do we do?

Our target area is distributed/networked (embedded) systems and software, i.e., the elements behind robust/dependable/secure/safe/trusted "ambient or ubiquitous computing".

We explore both theoretical and experimental issues in "Dependable Embedded Systems and Software" (thus our name DEEDS). As an example, on the conceptual front we develop theories for effective location and composition of dependability/security relevant detectors. On the real-world front, this translates to error and security vulnerability profiling of software/OS's leading to effective placement and composition of "wrappers" to mitigate the effect of errors/vulnerabilities. Similarly, we investigate failure tolerant distributed protocols and issues of composability of dependable services. A recent area investigates the application of formal abstractions to verify distributed protocols.

On the experimental side we explore "testing" of distributed SW and OS's. At the OS level we develop techniques to test OS drivers - both as state space models and as applied fault-injection techniques. One activity is the development of verification/validation approaches (including toolsets for code-level verification and also based on formal theorem proving approaches).

In other experimental work, we are developing a generalized WSN level mobile computing and distributed systems testbed - essentially a distributed HW/SW testbed to test out various distributed protocols, architectural/FT strategies (mobile architectures, transactions), communication issues (synchronization, analysis of communication protocols, use of COTS in dependable system design) and OS issues (distributed/networked/embedded OS design, power aware dependability etc).

Quick Links to some ongoing projects:

1.	DFG GK Mixed Mode Environments: See DEEDS GK activity foils.
2.	FP7: INCO-TRUST: http://www.inco-trust.eu/        THINK-TRUST: http://www.think-trust.eu/        GENESYS: http://www.genesys-platform.eu/        COMIFIN, INSPIRE
3.	FP6:
	(a) NoE ReSIST: See ReSIST foils from EUSEA 06 presentation.
	(b) IP DECOS: See DECOS foils from DECOS Summer School.
4.	Earlier EC Projects: NextTTA, DBench

The following are some specific project posters.

Dependable Embedded Wireless Sensor Networks
SW-HW Integration for Dependable Real-Time Embedded Systems: Design and Optimization
Behavior-Driven Testing of Windows Device Drivers
Fast Asynchronous Agreement Protocols
Exploiting Symmetries to Model Check Fault Tolerant Protocols

Some 2005 project posters are here

[This circa 2001 poster overviews some earlier projects]