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
Joan Marce i Igual
Our most recent peer reviewed publications
Receiver Design with an Adjustable Energy-Signal-Quality Trade-off for IoT NetworksIEEE Internet of Things Journal (2022)
Response-Time Analysis for Non-Preemptive Periodic Moldable Gang Tasks34th Euromicro Conference on Real-Time Systems, ECRTS 2022 (2022)
Data-Age Analysis for Multi-Rate Task Chains under Timing Uncertainty30th International Conference on Real-Time Networks and Systems, RTNS 2022 (2022)
Delay-aware Multi-layer Multi-rate Model Predictive Control for Vehicle Platooning under Message-rate Congestion ControlIEEE Access (2022)
Dilate-Invariant Temporal Convolutional Network for Real-Time Edge ApplicationsIEEE Transactions on Circuits and Systems I: Regular Papers (2022)