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
-
Decentralized Configuration of TSCH-Based IoT Networks for Distinctive QoS
IEEE Internet of Things Journal (2023) -
Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023) -
Modeling and analysis of switching max-plus linear systems with discrete-event feedback
Discrete Event Dynamic Systems (2023) -
NPTSN
(2023) -
Improved Positioning Precision using a Multi-rate Multi-sensor in Industrial Motion Control Systems
(2023)
Contact
-
TeamleadJade dos Santosvan de Veenbaan3021WL Beverwijkk.g.w.goossens@ tue.nl