Model-Based Engineering of Embedded Systems
Development of methods and tools for model-based engineering of embedded systems. Including: models for architectural and behavioral descriptions of system and requirements for systems, techniques for analyzing and transforming models, and runtime architectures for resource efficient, predictable embedded systems.
Here you find some of the achievements of MEES group.
- Hierarchical scheduling framework implementation in FreeRTOS operating system.
- Rafia is the author/developer of the Multi-Resource server that provides composable hierarchical scheduling on multi-core platforms. We extend traditional server-resources by associating a memory-bandwidth to each server; thus a multi-resource server has both CPU-bandwidth and memory bandwidth allocated to it. The multi-resource servers are useful to provide partitioning, composability and predictability in both hard and soft real-time systems.
Ongoing research projects