Current Research Projects in Embedded Systems

Classification

• DM&DA - Design Methods & Design Automation
• EA - Embedded Systems Architecture

1) SymTA/S

SymTA/S is a comprehensive Software-Toolbox for formal analysis and optimization of embedded systems. It is based on the concept of compositional analysis and incorporates many recent techniques e.g. for dependent processes, sensitivity analysis, or evolutionary system optimization. There is a commercial version developed and sold by the spin-off, Symtavision, while the IDA group continues research in new techniques and areas. 

Current research extends to a number of coherent projects                         

• Modewaves (DM&DA) (Ends September 2012 !)
  Theory and practical effects of load waves in distributed embedded systems 
  Project research staff: Mircea Negrean
  Funding: Deutsche Forschungsgemeinschaft (DFG)

2) Design Processes     

• No current projects

3) Adaptive, Autonomous and Dependable Embedded Systems

• RECOMP (Reduced Certification Costs for Trusted Multi-core Platforms) (EA and DM&DA)
  Methods, tools, and platforms for cost-efficient certification of multi-core platforms
  Project research staff: Maurice Sebastian, Jonas Diemer, Boris Motruk (group Advanced VLSI Design)
  Funding: ARTEMIS (EU/BmBF)
  
  
• ASTEROID (An Analyzable, Resilient, Embedded Real-time Operating System Design) (EA and DM&DA)
  Design of a many-core operating system with reliable real-time behavior even under hardware faults
  Project research staff: Philip Axer
  Collaboration with Prof. Herman Härtig, TU Dresden
  Funding: Deutsche Forschungsgemeinschaft (DFG), Research Priority Program "Dependable Systems"

• CERTAINTY (CErtification of Real Time Applications desIgNed for mixed criticality) (DM&DA) 
  CERTAINTY will introduce a methodology for the design of complex systems with application of different criticality, allowing safety and time criticality aspects composition, taking into account disturbances due to physical fault, identifying analysis methods and techniques supporting this new approach and demonstrate the applicability of these techniques through meaningful examples of complex control functions.
  Project research staff: Maurice Sebastian
  Funding: European Commission (call FP7-ICT-2011, Seventh Framework Programme (FP7))

4) Reconfigurable Architectures 

• Flexelerator (Flexible Accelerators) (EA and DM&DA) 
  Architecture, Development and Progamming of compact, cost-efficient systems with high computation performance based on the FlexFilm architecture. Application: Vision in automotive applications
  Project research staff: Henning Sahlbach, Sean Whitty
  Funding: Industry
  
  
• Virtual Mirror (Digital Chameleon) (EA and DM&DA)
  Graphics for real-time retouche of clothing (Augmented Reality)
  Project research staff:  Daniel Thiele 
  Joint project with Institute of Computer Graphics
  Funding: Deutsche Forschungsgemeinschaft (DFG)

5) Real-time Many-core Systems

• No current projects