Embedded Systems Design Automation

Prof. Dr.-Ing. Rolf Ernst


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. 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(Python implementation of Compositional Performance Analysis)
    Publically available, extensible version of CPA, used for research at IDA and elsewhere
    Project staffLeonie Köhler, Johannes Schlatow, Mischa Möstl, Dr. Sophie Quinton (now INRIA), and many more
  • Typical Worst Case Analysis
    Compositional Performance Analysis (CPA) of typical worst-case system performance
    Project staff:Leonie Köhler, Dr. Sophie Quinton (now INRIA), with contributions from Sebastian Tobuschat, Johannes Schlatow
    Funding: Deutsche Forschungsgemeinschaft (DFG), Industry
  • RT-proofs
    Formal proofs for real-time analysis algorithms
    Project staff (IDA): Leonie Köhler, Borislav Nikolic
    Research collaboration between TU Braunschweig, INRIA, MPI-SWS, Onera and Verimag
    Funding: Deutsche Forschungsgemeinschaft (DFG) and Agence Nationale de la Recherche (ANR)

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

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

  • UNICARagil (Disruptive modular architecture for agile, autonomous vehicle concepts)
    Modelling and analysis of a service oriented software architecture according to hard safety and real-time requirements. Concepts for the deterministic realization of end-to-end latencies focusing on network communication.
    Project research staff (IDA): Jonas Peeck,Kai Björn Gemlau, Mischa Möstl, Johannes Schlatow
    The Project UNICARagil is a collaboration of 7 Universities, 16 chairs and 6 industrial partners
    Funding: Bundesministerium für Bildung und Forschung (BmBF)
  • IPF (Information Processing Factory)
    Reaching the physical limits of semiconductor technology, future integrated circuits will be increasingly hard to operate. In a transatlantic cooperation, the IPF project opens a novel perspective by applying concepts of factory operation to future many-core architectures.
    Project research staff (IDA): Thawra Kadeed, Eberle Rambo 
    Funding: Deutsche Forschungsgemeinschaft (DFG) and National Science Foundation (NSF)
  • ARAMIS 2  (Automotive, Railway and Avionic Multicore Systems) 
    Multi- and Manycore Architectures for Safety Critical Embedded Systems in Transport Applications (Automotive, Avionics, Trains)
    Project Research Staff: Sebastian Tobuschat, Adam Kostrzewa
    Funding: Bundesministerium für Bildung und Forschung (BmBF)
  • IDAMC (Integrated Dependable Architecture for Many Cores)
    Configurable manycore platform infrastructure used by many projects, such as RECOMP, CERTAINTY, ASTEROID, ARAMIS, EMC2
  • ERIKA (Elektromobilität mit Redundanter Intelligenter Kommunikations-Architektur)
    OFDM based future in-vehicle network
    Project Research staff:Marie-Terese Harnau
    Funding: Bundesministerium für Wirtschaft und Energie (BMWi)

3) DFG Research Group "Controlling Concurrent Change (CCC)

       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

4) Embedded Systems for Smart Technologies

  • BASIS (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), Michael Meier, et al.
    Funding: Bundesministerium für Wirtschaft und Energie (BMWi)

Spin-off Symtavision (now part of Luxoft)

Hans-Sommer-Street 66
38106 Braunschweig
Fon: +49 (0)531 391-3734
Fax: +49 (0)531 391-4587

Office hours:
and 14:00-15:00
and 14:00-15:00
and 14:00-15:00
and 14:00-15:00

Address of Prof. Jukan's workgroup:

Hans-Sommer-Street 66
38106 Braunschweig

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