Current and recently closed projects


  • DM&DA - Design Methods & Design Automation

  • EA - Embedded Systems Architecture

1) Embedded System Performance Analysis

CPA (compositional performance analysis) is an approach to formal performance analysis of large embedded systems that has been developed at IDA in many projects over more than 10 years. CPA has been commercialized as SymTA/S by the IDA spin-off, Symtavision[EXTERNAL]. SymTA/S is a comprehensive Software-Toolbox for formal performance analysis and optimization of embedded systems. It is used in regular design processes throughout the international automotive industry and has been applied in other domains, such as avionics. Research at IDA continues with new models and analysis techniques using the research tool pyCPA.  

Current research

  • pyCPA[EXTERNAL] (Python implementation of Compositional Performance Analysis) (DM&DA)
    Publically available, extensible version of CPA, used for research at IDA and elsewhere
    Project staff:  Leonie Ahrendts, Zain Haj Hammadeh, Johannes Schlatow, Mischa Möstl, Dr. Sophie Quinton (now INRIA), and many more

  • Typical Worst Case Analysis (DM&DA)
    Compositional Performance Analysis (CPA) of typical worst-case system performance
    Project staff: Leonie Ahrendts, Zain Haj Hammadeh, Dr. Sophie Quinton (now INRIA), with contributions from Sebastian Tobuschat, Johannes Schlatow
    Funding: Deutsche Forschungsgemeinschaft (DFG), Industry

Many related projects with industry are executed by the TTZ "Embedded Systems" of the TU Braunschweig innovation center iTUBS[EXTERNAL]

2) Adaptive, Autonomous, Real-time, and Dependable Embedded Systems 

  • 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: Eberle Rambo, Thawra Kadeed, Philip Axer (now NXP)
    Collaboration with Prof. Herman Härtig, TU Dresden
    Funding: Deutsche Forschungsgemeinschaft (DFG), Research Priority Program "Dependable Systems"

  • ARAMIS 2[EXTERNAL] 2(Automotive, Railway and Awionic Multicore Systems)   (EA and DM&DA)
    Multi- and Manycore Architectures for Safety Critical Embedded Systems in Transport Applications (Automotive, Avionics, Trains)
    Project Research Staff: Sebastian Tobuschat, Leonardo Ecco
    Funding: BmBF

  • IDAMC (Integrated Dependable Architecture for Many Cores) (EA and DM&DA)
    Configurable manycore platform infrastructure used by many projects, such as RECOMP, CERTAINTY, ASTEROID, ARAMIS, EMC2

  • EMC2 (Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments) (EA and DM&DA)
    ARTEMIS Innovation Pipeline Project
    Project Research Staff: Adam Kostrzewa, Leonardo Ecco
    Funding: ARTEMIS (EU/BMBF)

  • SAFURE (Safety And Security By Design For Interconnected Mixed-Critical Cyber-Physical Systems) (EA & DM&DA)
    SAFURE targets the design of cyber-physical systems by implementing a methodology that ensures safety and security "by construction".
    Project research staff: Daniel Thiele, Leonie Ahrendts
    Funding: EU (H2020)

3) DFG Research Group "Controlling Concurrent Change (CCC)[EXTERNAL]

       In collaboration of 8 TU Braunschweig professors plus Ph.D. students, the DFG funded Research Group CCC pursues a novel approach to change in critical applications

  • Project A1:  Architecture and Mechanisms of the Multi-Change Control Layer (MCCL)
    Project lead: Rolf Ernst
    IDA Project research staff:
    Johannes Schlatow

  • Project B3: Safety and Availability
    Project lead:
    Rolf Ernst, Harald Michalik
    IDA Project research staff:
    Mischa Möstl, Björn Fiethe

4) Embedded Systems for Smart Technologies

  • BASIS [EXTERNAL](Building Automation durch ein Skalierbares & Intelligentes System) (EA and DM&DA)
    (engl. Building Automation with a scalable and smart system)
    Networked embedded platform approach integrating building automation, smart energy, and medical/AAL applications
    project description currently only in German
    Project research staff: Dr. Harald Schrom (coordinator), Yidi Zeng, Lars Jansen, Michael Meier, Tarek Mouhandes, et al.
    Funding: BMWi


Research Networks

Spin-off Symtavision[EXTERNAL]

Hans-Sommer-Street 66
38106 Braunschweig

Fon: +49 (0)531 391-3734
Fax: +49 (0)531 391-4587

Address of Prof. Jukan's workgroup:

Hans-Sommer-Street 66
38106 Braunschweig

Fon: +49 (0)531 391-5286
Fax: +49 (0)531 391-5296