SaCriMA | Safety Critical Functions on Many-Core Avionics Architectures | 01/04/2020 | 31/03/2023 |
Multi-Opt | Multi-Criterial Code Optimization for Embedded Hard Real-Time Systems | 01/10/2017 | 30/06/2022 |
haRTStone | Automated Generation of Benchmark Programs for the Evaluation of Analyses and Optimizations for Hard Real-Time Systems | 16/11/2017 | 31/12/2021 |
TeamPlay | Time, Energy and Security Analysis for Multi-/Many-Core heterogeneous Platforms | 01/01/2018 | 30/06/2021 |
E = Mp2 | Generation and Optimization of Real-Time Code for Embedded Multiprocess and Multiprocessor Systems | 01/02/2012 | 30/09/2017 |
TACLe | Timing Analysis on Code-Level | 07/11/2012 | 06/11/2016 |