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:
Funded Projects
|
2010-2014 |
EC FP7 ABC4TRUST (under negotiation)
|
|
2010-2013 |
EC FP7 BiC (under negotiation)
|
|
2009-2011 |
EU FP7 INDEXSYS (Reference Architectures)
|
|
2009- |
CASED: Center for Advanced Security |
|
2008 - |
IBM Faculty Award |
|
2008 - 2011 |
EU FP7 COMIFIN (Communication Middleware for
Monitoring) |
|
2008 - 2011 |
EU FP7 INSPIRE (Increasing Security & Protection
Through
Infrastructure Resilience) |
|
2008 - 2011 |
EU FP7 INCO-TRUST (Trustworthy, Secure &
Dependable ICT
Infrastructures) |
|
2008 - 2011 |
EU FP7 THINK-TRUST (Composite Security & Trust
for ICT) |
|
2008 - 2009 |
EU FP7 Genesys (Generic Embedded Systems
Platform) |
|
2006 - 2015 |
DFG GKMM (Research Training Group - Cooperative,
Adaptive and
Responsive Monitoring in Mixed Mode Environments) |
|
2006 - 2009 |
Hitachi Research (Distributed X-by-Wire
Protocols) |
|
2005 - 2008 |
EU FP6 NoE ReSIST (Resilience & Survivability in
IST) |
|
2005 - 2008 |
Microsoft Research Award (Fast Distributed
Consensus) |
|
2004 - 2007 |
EU FP6 IP DECOS (Dependable Embedded Components
and Systems) |
|
2004 - 2007 |
EU FP6 NoE ARTIST2 (Advanced Real Time Embedded
Systems) |
|
2003 - current |
Microsoft Research (Robust
Software/Middleware/Wrappers) |
|
2003 - 2004 |
Microsoft Research Embedded Systems Program Gift |
|
2002 - 2005 |
German National Science Foundation (DFG GK -Ubiquitous
Computing) |
|
2002 - 2003 |
DaimlerChrysler (Dependable Autonomic Computing) |
|
2001 - 2003 |
EU FP5 NEXTTA (High Confidence Architectures for
Safety Critical Systems) |
|
2001 - 2003 |
TFR (Validation of FT RT Protocols Using Formal
Techniques) |
|
2000 - 2002 |
Vinnova (Cost-Effective Architectures for Embedded/Distributed
RT) |
|
2000 - 2003 |
Volvo Research (Self Stabilization in Embedded RT
Systems) |
|
2000 - 2002 |
EU FP5 DBENCH (Dependability Benchmarking) |
|
1999 - 2002 |
Saab Endowment (Dependable and Robust Real-Time
Systems) |
|
1998 - 2002 |
NSF CAREER Award (User/OS Transparent Fault
Recovery Using
Caches) |
|
1997 - 1998 |
State of NJ (Verification and Validation of
Embedded Protocols) |
|
1996 - 1999 |
DARPA (Fault-Tolerance Through Scheduling in Real
Time Systems) |
|
1992 - 1994 |
NAWC/ONR (Dependability Evaluation and
Application of NGCR
Standards) |
|
1991 - 1993 |
ONR (Reliability Modeling of Dependable
Distributed Systems) |
|
1991 - 1992 |
NASA (Engine Controller and Health Monitor
System) |
The following are some specific project posters.
Dependable Embedded Wireless Sensor Networks |
|
|
Energy Profiling & Proactive
Reconfiguration in 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
Methodology for Robustness Wrapping of OS’s |
|
On Improving Robustness Testing of COTS OS
Extensions |
|
On
Using Abstractions to Model Check an On-line
Diagnostic Protocol |
|
A
Multi Variable Optimization Approach for SW-HW
Integration |
|
| |
|
[This
circa 2001 poster overviews some earlier
projects]
|
