Model-Based Design methods are a key enabler for advances in design-automation for embedded and cyber-physical systems
This improves time-to-market and time-to-quality. Embedded and cyber-physical systems have the challenge that they innately combine aspects from different domains, are subject to a wide variety of requirements and objectives, functional and non-functional. They do not yield to traditional, existing models and methods.
Through the development of a broad toolbox of mathematical models, the study of their relationships, improved algorithmic analysis and optimization techniques, and scheduling and synthesis methods, the benefits of design automation can be significantly enlarged for embedded and cyber-physical systems.
The Model-Based Design Lab addresses these challenges through
1) development and integration of mathematical models and semantics;
2) algorithmic fundamentals for analysis, optimization and synthesis;
3) methodology integration and use cases.
Meet some of our Researchers
Recent Publications
Our most recent peer reviewed publications
-
Response-time Analysis of Fault-Tolerant Hard Real-Time Systems Under Global Scheduling
(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) -
Qualitative Assessment Guidelines for MSc Graduation Projects in Electrical Engineering
(2023) -
PetaOps/W edge-AI µProcessors: Myth or reality?
(2023)
Contact
-
Visiting address
drs Luuk Elsjan of Wipper ADFlux 3.130Groene Loper 195612 AP EindhovenNetherlandscollin50@ kok.com -
Visiting address
mr. Philip JansenTijn Dennenberg BAKramerlaan5651LX 2e ValthermondNetherlandshvandevelden@ yahoo.nl -
TeamleadTijmen de KorteDouglas tot Springwoodparksteeg6651KG Mechelenm.c.w.geilen@ tue.nl