This is an overview of the research projects in SET:
Current projects:
- ArrowHead Tools, Horizon 2020 ECSEL JU, 2019-2022
- Integration of Data-drIven and model-based enGIneering in fuTure industriAL Technology With value chaIn optimizatioN (DIGITAL TWIN), NWO TTW Perspective programme, 2019–2023
- GPU Enabled Accelerated Reasoning about System designs (GEARS), NWO TOP c2, 2017-2021
- verified Construction of corrEct and Optimised Parallel Software (ChEOPS), NWO TTW Open Technology programme, 2019-2024
Past projects:
- Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments (EMC2), Artemis, 2015-2017
- i-CAVE, NWO TTW Perspective programme, 2015-2021