CompSOC Lab- Predictable & Composable Embedded Systems
We research predictable embedded-systems architectures to accelerate verification of real-time performance and safety. To speed up system design we focus on conceptual simplicity and on independent design, verification, and upgrading of applications (composability). We prove our concepts with ASIC, FPGA, middleware, and full-system demonstrators.
Research Profile
System design is increasingly complex, as a growing number of applications are integrated in modern systems. Some of these applications have safety and real-time requirements, such as a minimum throughput or a maximum latency, but others do not, resulting in a mixed-criticality system. To reduce cost, system resources are shared between applications, making their timing behavior inter-dependent. Real-time requirements must hence be verified for all possible combinations of concurrently executing applications, which is not feasible with commonly used simulation-based techniques. CompSOC addresses this problem using two complexity-reducing concepts: composability and predictability.
Read moreMeet some of our Researchers
Recent Publications
Our most recent peer reviewed publications
-
Chaitanya Jugade,Sajid Mohamed,Mojtaba Haghi,Dip Goswami,Andrew Nelson,Gijs van der Veen,Kees Goossens
An Evaluation Framework for Vision-in-the-Loop Motion Control Systems
(2022) -
Marzieh Hashemipour Nazari,Kees Goossens,Alexios Balatsoukas-Stimming
Multi-Factor Pruning for Recursive Projection-Aggregation Decoding of RM Codes
(2022) -
Weijiang Kong,Majid Nabi,Kees Goossens
SynAVB
(2022) -
Weijiang Kong,Majid Nabi,Kees G.W. Goossens
Run-time Per-Class Routing of AVB Flows in In-Vehicle TSN via Composable Delay Analysis
(2022) -
Mojtaba Haghi,Dip Goswami,Kees Goossens,Martijn Koedam,Andrew Nelson
State-based switching multi-rate controller for improving resource utilization on predictable and composable platforms
Microprocessors and Microsystems (2022)
Contact
-
Teamlead