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.
- pyCPA (Python implementation of Compositional Performance Analysis)
Publically available, extensible version of CPA, used for research at IDA and elsewhere
Project staff: Jonas Peeck, Dr. Sophie Quinton (now INRIA), and many more - Typical Worst Case Analysis
Compositional Performance Analysis (CPA) of typical worst-case system performance
Project staff: Dr.-Ing. Leonie Köhler (now CARIAD), Dr. Sophie Quinton (now INRIA)
Funding: Deutsche Forschungsgemeinschaft (DFG), Industry, ended 2021 - RT-proofs
Formal proofs for real-time analysis algorithms
Project staff (IDA): Dr.-Ing. Leonie Köhler, Dr. Borislav Nikolic (now Continental)
Research collaboration between TU Braunschweig, INRIA, MPI-SWS, Onera and Verimag
Funding: Deutsche Forschungsgemeinschaft (DFG) and Agence Nationale de la Recherche (ANR), France, ended 2022
Many related projects with industry are executed by the TTZ "Embedded Systems" of the TU Braunschweig innovation center iTUBS
3) DFG Research Group "Controlling Concurrent Change (CCC) - ended 2020
In collaboration of 8 TU Braunschweig professors plus Ph.D. students, the DFG funded Research Group CCC pursued 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