Efficient Design and Implementation of Embedded Real-Time Systems
Efficient Embedded Real-Time Systems (ERTS) are those systems that have strict timing requirements, but must be implemented on low-resource platforms (size, power etc). ERTS are increasing in complexity, moving towards being distributed systems rather than standalone. Such scaling is posing increasing challenges to the efficient realisation of the system design. To design and implement efficient ERTS requires contributions from a number of key areas, including:
Languages, compilers and methodologies
Real-time system software (OS and network)
Timing Analysis
Architectures
Verification and validation
Our research addresses the issue of efficient implementation by integrating traditionally separate domains of programming language, compilation, synthesis, run-time software and architecture.
Current projects include:
Direct compilation of programming language to hardware
Programming language specific architectures
Implementation of operating systems and file systems on hardware
Advanced computer architectures for predictability
Timing Analysis of complex multicore and NUMA architectures
Our research addresses the issue of efficient implementation by integrating traditionally separate domains of programming language, compilation, synthesis, run-time software and architecture.