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?

For area details click the "Areas" "Button"

  • 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). Read more...

  • One emerging application domain for our theoretical/experimental research is the Critical Infrastructure Protection (CIP). The continuous informatization/computerization of critical infrastructures lead to higher interconnectivity and opened new doors for cyber attacks. We develop novel concepts/middleware's to protect legacy and future critical infrastructures. Read more...

Quick Links to some ongoing projects:

1.

DFG:

(a) GK Mixed Mode Environments: See DEEDS GK activity foils

LOEWE:  

(b) CASED: Center for Advanced Security (www.cased.de)

2.

EC FP7:

 ABC4TRUST (Attribute Based Credentials for Trust): Nov 2010 - Nov 2014

 BiC (Cloud/Internet: Trust; Security & Dependability): Jan 2011 - Jan 2014

INDEXSYS www.indexys.eu

COMIFIN: www.comifin.eu

INSPIRE: www.inspire-strep.eu

INCO-TRUST: www.inco-trust.eu

THINK-TRUST: www.think-trust.eu

GENESYS: www.genesys-platform.eu

3.

EC 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

 

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

Engergy 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]

More News...

Open Positions, Theses ...

click here

 

Contact

DEEDS Group
Dept. CS/FB 20
Hochschulstr. 10, Piloty Building
64289 Darmstadt

Phone: +49-6151-16-2060
Fax: +49-6151-16-4310

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact
zum Seitenanfangzum Seitenanfang